C++ Reference
C++ Reference: CP-SAT
boolean_problem.pb.h
Go to the documentation of this file.
38 PROTOBUF_NAMESPACE_OPEN
56 extern const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto;
74 template<> ::operations_research::sat::BooleanAssignment* Arena::CreateMaybeMessage<::operations_research::sat::BooleanAssignment>(Arena*);
75 template<> ::operations_research::sat::LinearBooleanConstraint* Arena::CreateMaybeMessage<::operations_research::sat::LinearBooleanConstraint>(Arena*);
76 template<> ::operations_research::sat::LinearBooleanProblem* Arena::CreateMaybeMessage<::operations_research::sat::LinearBooleanProblem>(Arena*);
77 template<> ::operations_research::sat::LinearObjective* Arena::CreateMaybeMessage<::operations_research::sat::LinearObjective>(Arena*);
85 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.LinearBooleanConstraint) */ {
110 return _internal_metadata_.unknown_fields<::PROTOBUF_NAMESPACE_ID::UnknownFieldSet>(::PROTOBUF_NAMESPACE_ID::UnknownFieldSet::default_instance);
169 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
170 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
171 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
193 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto);
194 return ::descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto.file_level_metadata[kIndexInFileMessages];
204 kLiteralsFieldNumber = 1,
205 kCoefficientsFieldNumber = 2,
206 kNameFieldNumber = 5,
207 kLowerBoundFieldNumber = 3,
208 kUpperBoundFieldNumber = 4,
289 ::PROTOBUF_NAMESPACE_ID::int64 lower_bound() const;
302 ::PROTOBUF_NAMESPACE_ID::int64 upper_bound() const;
313 template <typename T> friend class ::PROTOBUF_NAMESPACE_ID::Arena::InternalHelper;
328 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.LinearObjective) */ {
353 return _internal_metadata_.unknown_fields<::PROTOBUF_NAMESPACE_ID::UnknownFieldSet>(::PROTOBUF_NAMESPACE_ID::UnknownFieldSet::default_instance);
412 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
413 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
414 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
436 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto);
437 return ::descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto.file_level_metadata[kIndexInFileMessages];
449 kOffsetFieldNumber = 3,
450 kScalingFactorFieldNumber = 4,
540 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.BooleanAssignment) */ {
565 return _internal_metadata_.unknown_fields<::PROTOBUF_NAMESPACE_ID::UnknownFieldSet>(::PROTOBUF_NAMESPACE_ID::UnknownFieldSet::default_instance);
624 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
625 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
626 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
648 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto);
649 return ::descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto.file_level_metadata[kIndexInFileMessages];
697 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.LinearBooleanProblem) */ {
722 return _internal_metadata_.unknown_fields<::PROTOBUF_NAMESPACE_ID::UnknownFieldSet>(::PROTOBUF_NAMESPACE_ID::UnknownFieldSet::default_instance);
781 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
782 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
783 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
805 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto);
806 return ::descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto.file_level_metadata[kIndexInFileMessages];
816 kConstraintsFieldNumber = 4,
817 kVarNamesFieldNumber = 6,
819 kObjectiveFieldNumber = 5,
820 kAssignmentFieldNumber = 7,
821 kNumVariablesFieldNumber = 3,
822 kOriginalNumVariablesFieldNumber = 8,
831 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearBooleanConstraint >*
834 const ::operations_research::sat::LinearBooleanConstraint& _internal_constraints(int index) const;
839 const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearBooleanConstraint >&
937 ::PROTOBUF_NAMESPACE_ID::int32 num_variables() const;
950 ::PROTOBUF_NAMESPACE_ID::int32 original_num_variables() const;
966 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearBooleanConstraint > constraints_;
996 inline ::PROTOBUF_NAMESPACE_ID::int32 LinearBooleanConstraint::_internal_literals(int index) const {
1000 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanConstraint.literals)
1003 inline void LinearBooleanConstraint::set_literals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
1005 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanConstraint.literals)
1007 inline void LinearBooleanConstraint::_internal_add_literals(::PROTOBUF_NAMESPACE_ID::int32 value) {
1012 // @@protoc_insertion_point(field_add:operations_research.sat.LinearBooleanConstraint.literals)
1020 // @@protoc_insertion_point(field_list:operations_research.sat.LinearBooleanConstraint.literals)
1029 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearBooleanConstraint.literals)
1043 inline ::PROTOBUF_NAMESPACE_ID::int64 LinearBooleanConstraint::_internal_coefficients(int index) const {
1047 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanConstraint.coefficients)
1050 inline void LinearBooleanConstraint::set_coefficients(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
1052 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanConstraint.coefficients)
1054 inline void LinearBooleanConstraint::_internal_add_coefficients(::PROTOBUF_NAMESPACE_ID::int64 value) {
1059 // @@protoc_insertion_point(field_add:operations_research.sat.LinearBooleanConstraint.coefficients)
1067 // @@protoc_insertion_point(field_list:operations_research.sat.LinearBooleanConstraint.coefficients)
1076 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearBooleanConstraint.coefficients)
1096 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanConstraint.lower_bound)
1099 inline void LinearBooleanConstraint::_internal_set_lower_bound(::PROTOBUF_NAMESPACE_ID::int64 value) {
1105 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanConstraint.lower_bound)
1124 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanConstraint.upper_bound)
1127 inline void LinearBooleanConstraint::_internal_set_upper_bound(::PROTOBUF_NAMESPACE_ID::int64 value) {
1133 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanConstraint.upper_bound)
1145 name_.ClearToEmpty(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
1157 // @@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanConstraint.name)
1165 name_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), value, GetArena());
1170 &::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::move(value), GetArena());
1171 // @@protoc_insertion_point(field_set_rvalue:operations_research.sat.LinearBooleanConstraint.name)
1176 name_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::string(value),
1178 // @@protoc_insertion_point(field_set_char:operations_research.sat.LinearBooleanConstraint.name)
1185 // @@protoc_insertion_point(field_set_pointer:operations_research.sat.LinearBooleanConstraint.name)
1189 return name_.Mutable(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
1192 // @@protoc_insertion_point(field_release:operations_research.sat.LinearBooleanConstraint.name)
1197 return name_.ReleaseNonDefault(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
1207 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.LinearBooleanConstraint.name)
1210 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.LinearBooleanConstraint.name)
1213 return name_.UnsafeArenaRelease(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
1224 name_.UnsafeArenaSetAllocated(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
1226 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.LinearBooleanConstraint.name)
1276 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearObjective.literals)
1290 inline ::PROTOBUF_NAMESPACE_ID::int64 LinearObjective::_internal_coefficients(int index) const {
1297 inline void LinearObjective::set_coefficients(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
1301 inline void LinearObjective::_internal_add_coefficients(::PROTOBUF_NAMESPACE_ID::int64 value) {
1323 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearObjective.coefficients)
1430 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.BooleanAssignment.literals)
1447 name_.ClearToEmpty(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
1467 name_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), value, GetArena());
1472 &::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::move(value), GetArena());
1473 // @@protoc_insertion_point(field_set_rvalue:operations_research.sat.LinearBooleanProblem.name)
1478 name_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::string(value),
1487 // @@protoc_insertion_point(field_set_pointer:operations_research.sat.LinearBooleanProblem.name)
1491 return name_.Mutable(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
1499 return name_.ReleaseNonDefault(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
1509 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.LinearBooleanProblem.name)
1512 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.LinearBooleanProblem.name)
1515 return name_.UnsafeArenaRelease(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
1526 name_.UnsafeArenaSetAllocated(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
1528 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.LinearBooleanProblem.name)
1547 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.num_variables)
1550 inline void LinearBooleanProblem::_internal_set_num_variables(::PROTOBUF_NAMESPACE_ID::int32 value) {
1556 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanProblem.num_variables)
1569 inline ::operations_research::sat::LinearBooleanConstraint* LinearBooleanProblem::mutable_constraints(int index) {
1570 // @@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanProblem.constraints)
1573 inline ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearBooleanConstraint >*
1575 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearBooleanProblem.constraints)
1578 inline const ::operations_research::sat::LinearBooleanConstraint& LinearBooleanProblem::_internal_constraints(int index) const {
1581 inline const ::operations_research::sat::LinearBooleanConstraint& LinearBooleanProblem::constraints(int index) const {
1582 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.constraints)
1585 inline ::operations_research::sat::LinearBooleanConstraint* LinearBooleanProblem::_internal_add_constraints() {
1588 inline ::operations_research::sat::LinearBooleanConstraint* LinearBooleanProblem::add_constraints() {
1589 // @@protoc_insertion_point(field_add:operations_research.sat.LinearBooleanProblem.constraints)
1592 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearBooleanConstraint >&
1594 // @@protoc_insertion_point(field_list:operations_research.sat.LinearBooleanProblem.constraints)
1611 inline const ::operations_research::sat::LinearObjective& LinearBooleanProblem::_internal_objective() const {
1613 return p != nullptr ? *p : *reinterpret_cast<const ::operations_research::sat::LinearObjective*>(
1616 inline const ::operations_research::sat::LinearObjective& LinearBooleanProblem::objective() const {
1631 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.LinearBooleanProblem.objective)
1633 inline ::operations_research::sat::LinearObjective* LinearBooleanProblem::release_objective() {
1640 inline ::operations_research::sat::LinearObjective* LinearBooleanProblem::unsafe_arena_release_objective() {
1641 // @@protoc_insertion_point(field_release:operations_research.sat.LinearBooleanProblem.objective)
1647 inline ::operations_research::sat::LinearObjective* LinearBooleanProblem::_internal_mutable_objective() {
1655 inline ::operations_research::sat::LinearObjective* LinearBooleanProblem::mutable_objective() {
1656 // @@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanProblem.objective)
1659 inline void LinearBooleanProblem::set_allocated_objective(::operations_research::sat::LinearObjective* objective) {
1676 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.LinearBooleanProblem.objective)
1690 // @@protoc_insertion_point(field_add_mutable:operations_research.sat.LinearBooleanProblem.var_names)
1701 // @@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanProblem.var_names)
1715 // @@protoc_insertion_point(field_set_char:operations_research.sat.LinearBooleanProblem.var_names)
1720 // @@protoc_insertion_point(field_set_pointer:operations_research.sat.LinearBooleanProblem.var_names)
1736 // @@protoc_insertion_point(field_add_char:operations_research.sat.LinearBooleanProblem.var_names)
1740 // @@protoc_insertion_point(field_add_pointer:operations_research.sat.LinearBooleanProblem.var_names)
1749 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearBooleanProblem.var_names)
1766 inline const ::operations_research::sat::BooleanAssignment& LinearBooleanProblem::_internal_assignment() const {
1768 return p != nullptr ? *p : *reinterpret_cast<const ::operations_research::sat::BooleanAssignment*>(
1771 inline const ::operations_research::sat::BooleanAssignment& LinearBooleanProblem::assignment() const {
1786 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.LinearBooleanProblem.assignment)
1788 inline ::operations_research::sat::BooleanAssignment* LinearBooleanProblem::release_assignment() {
1795 inline ::operations_research::sat::BooleanAssignment* LinearBooleanProblem::unsafe_arena_release_assignment() {
1796 // @@protoc_insertion_point(field_release:operations_research.sat.LinearBooleanProblem.assignment)
1802 inline ::operations_research::sat::BooleanAssignment* LinearBooleanProblem::_internal_mutable_assignment() {
1810 inline ::operations_research::sat::BooleanAssignment* LinearBooleanProblem::mutable_assignment() {
1811 // @@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanProblem.assignment)
1814 inline void LinearBooleanProblem::set_allocated_assignment(::operations_research::sat::BooleanAssignment* assignment) {
1831 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.LinearBooleanProblem.assignment)
1846 inline ::PROTOBUF_NAMESPACE_ID::int32 LinearBooleanProblem::_internal_original_num_variables() const {
1850 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.original_num_variables)
1853 inline void LinearBooleanProblem::_internal_set_original_num_variables(::PROTOBUF_NAMESPACE_ID::int32 value) {
1857 inline void LinearBooleanProblem::set_original_num_variables(::PROTOBUF_NAMESPACE_ID::int32 value) {
LinearBooleanProblemDefaultTypeInternal _LinearBooleanProblem_default_instance_
void Swap(BooleanAssignment *other)
Definition: boolean_problem.pb.h:593
static const ::PROTOBUF_NAMESPACE_ID::internal::SerializationTable serialization_table[]
Definition: boolean_problem.pb.h:53
void set_allocated_name(std::string *name)
const std::string & name() const
LinearObjective(const LinearObjective &from)
LinearBooleanConstraint & operator=(LinearBooleanConstraint &&from) noexcept
Definition: boolean_problem.pb.h:100
void add_var_names(const char *value)
void set_var_names(int index, const std::string &value)
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
void CopyFrom(const LinearBooleanProblem &from)
const std::string & var_names(int index) const
static const LinearBooleanConstraint * internal_default_instance()
Definition: boolean_problem.pb.h:128
const ::PROTOBUF_NAMESPACE_ID::UnknownFieldSet & unknown_fields() const
Definition: boolean_problem.pb.h:109
static const ::PROTOBUF_NAMESPACE_ID::internal::ParseTable schema[4] PROTOBUF_SECTION_VARIABLE(protodesc_cold)
BooleanAssignment & operator=(const BooleanAssignment &from)
Definition: boolean_problem.pb.h:551
void set_offset(double value)
void clear_offset()
void Swap(LinearBooleanConstraint *other)
Definition: boolean_problem.pb.h:138
static const BooleanAssignment * internal_default_instance()
Definition: boolean_problem.pb.h:583
int literals_size() const
friend void swap(LinearObjective &a, LinearObjective &b)
Definition: boolean_problem.pb.h:378
virtual ~LinearObjective()
::PROTOBUF_NAMESPACE_ID::int32 literals(int index) const
virtual ~BooleanAssignment()
void CopyFrom(const LinearBooleanConstraint &from)
LinearBooleanConstraintDefaultTypeInternal _LinearBooleanConstraint_default_instance_
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: boolean_problem.pb.h:119
friend void swap(LinearBooleanProblem &a, LinearBooleanProblem &b)
Definition: boolean_problem.pb.h:747
void MergeFrom(const LinearObjective &from)
LinearBooleanProblem(const LinearBooleanProblem &from)
const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearBooleanConstraint > & constraints() const
void CopyFrom(const BooleanAssignment &from)
void add_var_names(const std::string &value)
static const ::PROTOBUF_NAMESPACE_ID::uint32 offsets[]
Definition: boolean_problem.pb.h:54
std::string * release_name()
BooleanAssignment()
Definition: boolean_problem.pb.h:542
void add_var_names(const char *value, size_t size)
void add_coefficients(::PROTOBUF_NAMESPACE_ID::int64 value)
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
BooleanAssignment(::PROTOBUF_NAMESPACE_ID::Arena *arena)
Definition: cp_model.h:52
LinearBooleanProblem()
Definition: boolean_problem.pb.h:699
bool has_offset() const
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
LinearBooleanConstraint * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: boolean_problem.pb.h:158
void set_var_names(int index, const char *value, size_t size)
void MergeFrom(const LinearBooleanProblem &from)
BooleanAssignmentDefaultTypeInternal _BooleanAssignment_default_instance_
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
LinearObjective(LinearObjective &&from) noexcept
Definition: boolean_problem.pb.h:334
LinearBooleanConstraint()
Definition: boolean_problem.pb.h:87
BooleanAssignment & operator=(BooleanAssignment &&from) noexcept
Definition: boolean_problem.pb.h:555
void CopyFrom(const LinearObjective &from)
void clear_literals()
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & literals() const
void clear_var_names()
void set_name(const char *value, size_t size)
void UnsafeArenaSwap(BooleanAssignment *other)
Definition: boolean_problem.pb.h:601
BooleanAssignment * New() const final
Definition: boolean_problem.pb.h:609
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: boolean_problem.pb.h:116
::operations_research::sat::LinearBooleanConstraint * mutable_constraints(int index)
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & coefficients() const
LinearBooleanConstraint & operator=(const LinearBooleanConstraint &from)
Definition: boolean_problem.pb.h:96
static const LinearObjective & default_instance()
std::string * add_var_names()
int coefficients_size() const
void add_literals(::PROTOBUF_NAMESPACE_ID::int32 value)
friend void swap(LinearBooleanConstraint &a, LinearBooleanConstraint &b)
Definition: boolean_problem.pb.h:135
void UnsafeArenaSwap(LinearObjective *other)
Definition: boolean_problem.pb.h:389
double scaling_factor() const
LinearBooleanProblem(::PROTOBUF_NAMESPACE_ID::Arena *arena)
double offset() const
LinearObjective()
Definition: boolean_problem.pb.h:330
LinearBooleanConstraint(LinearBooleanConstraint &&from) noexcept
Definition: boolean_problem.pb.h:91
inline ::PROTOBUF_NAMESPACE_ID::UnknownFieldSet * mutable_unknown_fields()
Definition: boolean_problem.pb.h:112
BooleanAssignment * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: boolean_problem.pb.h:613
const ::operations_research::sat::LinearBooleanConstraint & constraints(int index) const
void MergeFrom(const LinearBooleanConstraint &from)
void clear_name()
static void InitAsDefaultInstance()
void set_var_names(int index, std::string &&value)
void set_name(const char *value)
LinearBooleanProblem * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: boolean_problem.pb.h:770
LinearBooleanConstraint(const LinearBooleanConstraint &from)
const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto
void set_scaling_factor(double value)
virtual ~LinearBooleanProblem()
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< std::string > * mutable_var_names()
LinearObjectiveDefaultTypeInternal _LinearObjective_default_instance_
static const ::PROTOBUF_NAMESPACE_ID::internal::ParseTableField entries[] PROTOBUF_SECTION_VARIABLE(protodesc_cold)
LinearBooleanProblem(LinearBooleanProblem &&from) noexcept
Definition: boolean_problem.pb.h:703
void clear_constraints()
void clear_coefficients()
void set_name(std::string &&value)
static const BooleanAssignment & default_instance()
void set_coefficients(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
LinearBooleanProblem & operator=(const LinearBooleanProblem &from)
Definition: boolean_problem.pb.h:708
const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< std::string > & var_names() const
void add_var_names(std::string &&value)
void Swap(LinearBooleanProblem *other)
Definition: boolean_problem.pb.h:750
BooleanAssignment(BooleanAssignment &&from) noexcept
Definition: boolean_problem.pb.h:546
static const LinearBooleanProblem * internal_default_instance()
Definition: boolean_problem.pb.h:740
void Swap(LinearObjective *other)
Definition: boolean_problem.pb.h:381
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_literals()
BooleanAssignment(const BooleanAssignment &from)
void UnsafeArenaSwap(LinearBooleanProblem *other)
Definition: boolean_problem.pb.h:758
bool has_name() const
void set_literals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
int var_names_size() const
LinearObjective * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: boolean_problem.pb.h:401
static const ::PROTOBUF_NAMESPACE_ID::internal::AuxillaryParseTableField aux[] PROTOBUF_SECTION_VARIABLE(protodesc_cold)
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_coefficients()
::operations_research::sat::LinearBooleanConstraint * add_constraints()
void MergeFrom(const BooleanAssignment &from)
LinearObjective(::PROTOBUF_NAMESPACE_ID::Arena *arena)
void set_name(const std::string &value)
LinearBooleanConstraint(::PROTOBUF_NAMESPACE_ID::Arena *arena)
bool has_scaling_factor() const
LinearObjective & operator=(const LinearObjective &from)
Definition: boolean_problem.pb.h:339
int constraints_size() const
static const LinearBooleanConstraint & default_instance()
std::string * mutable_name()
Definition: boolean_problem.pb.h:39
static const LinearObjective * internal_default_instance()
Definition: boolean_problem.pb.h:371
static const LinearBooleanProblem & default_instance()
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearBooleanConstraint > * mutable_constraints()
void UnsafeArenaSwap(LinearBooleanConstraint *other)
Definition: boolean_problem.pb.h:146
static const ::PROTOBUF_NAMESPACE_ID::internal::FieldMetadata field_metadata[]
Definition: boolean_problem.pb.h:52
void clear_scaling_factor()
LinearBooleanConstraint * New() const final
Definition: boolean_problem.pb.h:154
friend void swap(BooleanAssignment &a, BooleanAssignment &b)
Definition: boolean_problem.pb.h:590
LinearBooleanProblem & operator=(LinearBooleanProblem &&from) noexcept
Definition: boolean_problem.pb.h:712
::PROTOBUF_NAMESPACE_ID::int64 coefficients(int index) const
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: boolean_problem.pb.h:122
virtual ~LinearBooleanConstraint()
LinearObjective & operator=(LinearObjective &&from) noexcept
Definition: boolean_problem.pb.h:343
std::string * mutable_var_names(int index)
LinearObjective * New() const final
Definition: boolean_problem.pb.h:397
LinearBooleanProblem * New() const final
Definition: boolean_problem.pb.h:766
void set_var_names(int index, const char *value)