#include <boolean_problem.pb.h>

Public Member Functions
	LinearBooleanProblem ()
template<typename = void>
PROTOBUF_CONSTEXPR	LinearBooleanProblem (::google::protobuf::internal::ConstantInitialized)
	LinearBooleanProblem (const LinearBooleanProblem &from)
	LinearBooleanProblem (LinearBooleanProblem &&from) noexcept
template<typename>
PROTOBUF_CONSTEXPR	LinearBooleanProblem (::_pbi::ConstantInitialized)
	~LinearBooleanProblem () PROTOBUF_FINAL
LinearBooleanProblem &	operator= (const LinearBooleanProblem &from)
LinearBooleanProblem &	operator= (LinearBooleanProblem &&from) noexcept
const ::google::protobuf::UnknownFieldSet &	unknown_fields () const ABSL_ATTRIBUTE_LIFETIME_BOUND
inline ::google::protobuf::UnknownFieldSet *PROTOBUF_NONNULL	mutable_unknown_fields () ABSL_ATTRIBUTE_LIFETIME_BOUND
void	Swap (LinearBooleanProblem *PROTOBUF_NONNULL other)
void	UnsafeArenaSwap (LinearBooleanProblem *PROTOBUF_NONNULL other)
LinearBooleanProblem *PROTOBUF_NONNULL	New (::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
void	CopyFrom (const LinearBooleanProblem &from)
void	MergeFrom (const LinearBooleanProblem &from)
bool	IsInitialized () const
ABSL_ATTRIBUTE_REINITIALIZES void	Clear () PROTOBUF_FINAL
::size_t	ByteSizeLong () const final
::uint8_t *PROTOBUF_NONNULL	_InternalSerialize (::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
int	GetCachedSize () const
::google::protobuf::Metadata	GetMetadata () const
int	constraints_size () const
void	clear_constraints ()
::operations_research::sat::LinearBooleanConstraint *PROTOBUF_NONNULL	mutable_constraints (int index)
::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint > *PROTOBUF_NONNULL	mutable_constraints ()
const ::operations_research::sat::LinearBooleanConstraint &	constraints (int index) const
const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint > &	constraints () const
::operations_research::sat::LinearBooleanConstraint *PROTOBUF_NONNULL	add_constraints ()
int	var_names_size () const
void	clear_var_names ()
const ::std::string &	var_names (int index) const
const ::google::protobuf::RepeatedPtrField<::std::string > &	var_names () const
::std::string *PROTOBUF_NONNULL	mutable_var_names (int index)
::google::protobuf::RepeatedPtrField<::std::string > *PROTOBUF_NONNULL	mutable_var_names ()
template<typename Arg_ = const ::std::string&, typename... Args_>
void	set_var_names (int index, Arg_ &&value, Args_... args)
::std::string *PROTOBUF_NONNULL	add_var_names ()
template<typename Arg_ = const ::std::string&, typename... Args_>
void	add_var_names (Arg_ &&value, Args_... args)
bool	has_name () const
void	clear_name ()
const ::std::string &	name () const
template<typename Arg_ = const ::std::string&, typename... Args_>
void	set_name (Arg_ &&arg, Args_... args)
template<typename Arg_, typename... Args_>
PROTOBUF_ALWAYS_INLINE void	set_name (Arg_ &&arg, Args_... args)
::std::string *PROTOBUF_NONNULL	mutable_name ()
::std::string *PROTOBUF_NULLABLE	release_name ()
void	set_allocated_name (::std::string *PROTOBUF_NULLABLE value)
bool	has_objective () const
void	clear_objective ()
const ::operations_research::sat::LinearObjective &	objective () const
::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE	release_objective ()
::operations_research::sat::LinearObjective *PROTOBUF_NONNULL	mutable_objective ()
void	set_allocated_objective (::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_objective (::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE value)
::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE	unsafe_arena_release_objective ()
bool	has_assignment () const
void	clear_assignment ()
const ::operations_research::sat::BooleanAssignment &	assignment () const
::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE	release_assignment ()
::operations_research::sat::BooleanAssignment *PROTOBUF_NONNULL	mutable_assignment ()
void	set_allocated_assignment (::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE value)
void	unsafe_arena_set_allocated_assignment (::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE value)
::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE	unsafe_arena_release_assignment ()
bool	has_num_variables () const
void	clear_num_variables ()
::int32_t	num_variables () const
void	set_num_variables (::int32_t value)
bool	has_original_num_variables () const
void	clear_original_num_variables ()
::int32_t	original_num_variables () const
void	set_original_num_variables (::int32_t value)

Static Public Member Functions
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL	descriptor ()
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL	GetDescriptor ()
static const ::google::protobuf::Reflection *PROTOBUF_NONNULL	GetReflection ()
static const LinearBooleanProblem &	default_instance ()
static constexpr auto	InternalGenerateClassData_ ()

Static Public Attributes
static constexpr int	kIndexInFileMessages = 3

Friends
class	::google::protobuf::internal::TcParser
class	::google::protobuf::MessageLite
class	::google::protobuf::Arena
template<typename T>
class	::google::protobuf::Arena::InternalHelper
struct	::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto
void	swap (LinearBooleanProblem &a, LinearBooleanProblem &b)

◆ anonymous enum

◆ LinearBooleanProblem() [2/5]

◆ LinearBooleanProblem() [3/5]

◆ LinearBooleanProblem() [4/5]

◆ LinearBooleanProblem() [5/5]

◆ ~LinearBooleanProblem()

◆ _InternalSerialize()

◆ add_constraints()

◆ add_var_names() [1/2]

◆ add_var_names() [2/2]

◆ assignment()

◆ ByteSizeLong()

◆ Clear()

◆ clear_assignment()

◆ clear_constraints()

◆ clear_name()

◆ clear_num_variables()

◆ clear_objective()

◆ clear_original_num_variables()

◆ clear_var_names()

◆ constraints() [1/2]

◆ constraints() [2/2]

◆ constraints_size()

◆ CopyFrom()

◆ default_instance()

◆ descriptor()

◆ GetCachedSize()

◆ GetDescriptor()

◆ GetMetadata()

◆ GetReflection()

◆ has_assignment()

◆ has_name()

◆ has_num_variables()

◆ has_objective()

◆ has_original_num_variables()

◆ InternalGenerateClassData_()

◆ IsInitialized()

◆ MergeFrom()

◆ mutable_assignment()

◆ mutable_constraints() [1/2]

◆ mutable_constraints() [2/2]

◆ mutable_name()

◆ mutable_objective()

◆ mutable_unknown_fields()

◆ mutable_var_names() [1/2]

◆ mutable_var_names() [2/2]

◆ name()

◆ New()

◆ num_variables()

◆ objective()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ original_num_variables()

◆ release_assignment()

◆ release_name()

◆ release_objective()

◆ set_allocated_assignment()

◆ set_allocated_name()

◆ set_allocated_objective()

◆ set_name() [1/2]

◆ set_name() [2/2]

◆ set_num_variables()

◆ set_original_num_variables()

◆ set_var_names()

◆ Swap()

◆ unknown_fields()

◆ unsafe_arena_release_assignment()

◆ unsafe_arena_release_objective()

◆ unsafe_arena_set_allocated_assignment()

◆ unsafe_arena_set_allocated_objective()

◆ UnsafeArenaSwap()

◆ var_names() [1/2]

◆ var_names() [2/2]

◆ var_names_size()

◆ ::google::protobuf::Arena

◆ ::google::protobuf::Arena::InternalHelper

◆ ::google::protobuf::internal::TcParser

◆ ::google::protobuf::MessageLite

◆ ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto

◆ swap

◆ _impl_

◆ kIndexInFileMessages

---

The documentation for this class was generated from the following files:

• build/ortools/sat/boolean_problem.pb.h
• build/ortools/sat/boolean_problem.pb.cc