C++ Reference
C++ Reference: CP-SAT
cp_model.pb.h
Go to the documentation of this file.
57 extern const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto;
62 extern AllDifferentConstraintProtoDefaultTypeInternal _AllDifferentConstraintProto_default_instance_;
74 extern CircuitCoveringConstraintProtoDefaultTypeInternal _CircuitCoveringConstraintProto_default_instance_;
89 extern CumulativeConstraintProtoDefaultTypeInternal _CumulativeConstraintProto_default_instance_;
95 extern DecisionStrategyProto_AffineTransformationDefaultTypeInternal _DecisionStrategyProto_AffineTransformation_default_instance_;
116 extern NoOverlap2DConstraintProtoDefaultTypeInternal _NoOverlap2DConstraintProto_default_instance_;
122 extern PartialVariableAssignmentDefaultTypeInternal _PartialVariableAssignment_default_instance_;
135 template<> ::operations_research::sat::AllDifferentConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::AllDifferentConstraintProto>(Arena*);
136 template<> ::operations_research::sat::AutomatonConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::AutomatonConstraintProto>(Arena*);
137 template<> ::operations_research::sat::BoolArgumentProto* Arena::CreateMaybeMessage<::operations_research::sat::BoolArgumentProto>(Arena*);
138 template<> ::operations_research::sat::CircuitConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::CircuitConstraintProto>(Arena*);
139 template<> ::operations_research::sat::CircuitCoveringConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::CircuitCoveringConstraintProto>(Arena*);
140 template<> ::operations_research::sat::ConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::ConstraintProto>(Arena*);
141 template<> ::operations_research::sat::CpModelProto* Arena::CreateMaybeMessage<::operations_research::sat::CpModelProto>(Arena*);
142 template<> ::operations_research::sat::CpObjectiveProto* Arena::CreateMaybeMessage<::operations_research::sat::CpObjectiveProto>(Arena*);
143 template<> ::operations_research::sat::CpSolverResponse* Arena::CreateMaybeMessage<::operations_research::sat::CpSolverResponse>(Arena*);
144 template<> ::operations_research::sat::CumulativeConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::CumulativeConstraintProto>(Arena*);
145 template<> ::operations_research::sat::DecisionStrategyProto* Arena::CreateMaybeMessage<::operations_research::sat::DecisionStrategyProto>(Arena*);
146 template<> ::operations_research::sat::DecisionStrategyProto_AffineTransformation* Arena::CreateMaybeMessage<::operations_research::sat::DecisionStrategyProto_AffineTransformation>(Arena*);
147 template<> ::operations_research::sat::ElementConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::ElementConstraintProto>(Arena*);
148 template<> ::operations_research::sat::IntegerArgumentProto* Arena::CreateMaybeMessage<::operations_research::sat::IntegerArgumentProto>(Arena*);
149 template<> ::operations_research::sat::IntegerVariableProto* Arena::CreateMaybeMessage<::operations_research::sat::IntegerVariableProto>(Arena*);
150 template<> ::operations_research::sat::IntervalConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::IntervalConstraintProto>(Arena*);
151 template<> ::operations_research::sat::InverseConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::InverseConstraintProto>(Arena*);
152 template<> ::operations_research::sat::LinearConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::LinearConstraintProto>(Arena*);
153 template<> ::operations_research::sat::NoOverlap2DConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::NoOverlap2DConstraintProto>(Arena*);
154 template<> ::operations_research::sat::NoOverlapConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::NoOverlapConstraintProto>(Arena*);
155 template<> ::operations_research::sat::PartialVariableAssignment* Arena::CreateMaybeMessage<::operations_research::sat::PartialVariableAssignment>(Arena*);
156 template<> ::operations_research::sat::ReservoirConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::ReservoirConstraintProto>(Arena*);
157 template<> ::operations_research::sat::RoutesConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::RoutesConstraintProto>(Arena*);
158 template<> ::operations_research::sat::TableConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::TableConstraintProto>(Arena*);
169 DecisionStrategyProto_VariableSelectionStrategy_DecisionStrategyProto_VariableSelectionStrategy_INT_MIN_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::min(),
170 DecisionStrategyProto_VariableSelectionStrategy_DecisionStrategyProto_VariableSelectionStrategy_INT_MAX_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::max()
173 constexpr DecisionStrategyProto_VariableSelectionStrategy DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MIN = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_FIRST;
174 constexpr DecisionStrategyProto_VariableSelectionStrategy DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MAX = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_MAX_DOMAIN_SIZE;
175 constexpr int DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_ARRAYSIZE = DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MAX + 1;
177 const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* DecisionStrategyProto_VariableSelectionStrategy_descriptor();
179 inline const std::string& DecisionStrategyProto_VariableSelectionStrategy_Name(T enum_t_value) {
188 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<DecisionStrategyProto_VariableSelectionStrategy>(
196 DecisionStrategyProto_DomainReductionStrategy_DecisionStrategyProto_DomainReductionStrategy_INT_MIN_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::min(),
197 DecisionStrategyProto_DomainReductionStrategy_DecisionStrategyProto_DomainReductionStrategy_INT_MAX_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::max()
200 constexpr DecisionStrategyProto_DomainReductionStrategy DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MIN = DecisionStrategyProto_DomainReductionStrategy_SELECT_MIN_VALUE;
201 constexpr DecisionStrategyProto_DomainReductionStrategy DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MAX = DecisionStrategyProto_DomainReductionStrategy_SELECT_UPPER_HALF;
202 constexpr int DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_ARRAYSIZE = DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MAX + 1;
204 const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* DecisionStrategyProto_DomainReductionStrategy_descriptor();
215 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<DecisionStrategyProto_DomainReductionStrategy>(
224 CpSolverStatus_INT_MIN_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::min(),
225 CpSolverStatus_INT_MAX_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::max()
249 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.IntegerVariableProto) */ {
318 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
350 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
351 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
400 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.BoolArgumentProto) */ {
469 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
501 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
502 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
538 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.IntegerArgumentProto) */ {
607 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
639 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
640 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
683 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.AllDifferentConstraintProto) */ {
752 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
784 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
785 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
821 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.LinearConstraintProto) */ {
890 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
922 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
923 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
987 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.ElementConstraintProto) */ {
1056 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
1088 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
1089 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
1139 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.IntervalConstraintProto) */ {
1208 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
1240 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
1241 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
1284 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.NoOverlapConstraintProto) */ {
1353 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
1385 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
1386 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
1422 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.NoOverlap2DConstraintProto) */ {
1491 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
1523 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
1524 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
1574 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.CumulativeConstraintProto) */ {
1643 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
1675 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
1676 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
1733 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.ReservoirConstraintProto) */ {
1802 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
1834 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
1835 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
1913 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.CircuitConstraintProto) */ {
1982 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
2014 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
2015 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
2079 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.RoutesConstraintProto) */ {
2148 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
2180 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
2181 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
2266 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.CircuitCoveringConstraintProto) */ {
2281 inline CircuitCoveringConstraintProto& operator=(CircuitCoveringConstraintProto&& from) noexcept {
2335 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
2367 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
2368 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
2403 // @@protoc_insertion_point(class_scope:operations_research.sat.CircuitCoveringConstraintProto)
2418 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.TableConstraintProto) */ {
2487 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
2519 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
2520 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
2577 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.InverseConstraintProto) */ {
2646 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
2678 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
2679 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
2729 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.AutomatonConstraintProto) */ {
2798 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
2830 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
2831 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
2930 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.ConstraintProto) */ {
3026 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
3058 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
3059 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
3203 void set_allocated_all_diff(::operations_research::sat::AllDifferentConstraintProto* all_diff);
3235 void set_allocated_circuit_covering(::operations_research::sat::CircuitCoveringConstraintProto* circuit_covering);
3283 void set_allocated_no_overlap(::operations_research::sat::NoOverlapConstraintProto* no_overlap);
3291 void set_allocated_no_overlap_2d(::operations_research::sat::NoOverlap2DConstraintProto* no_overlap_2d);
3299 void set_allocated_cumulative(::operations_research::sat::CumulativeConstraintProto* cumulative);
3371 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.CpObjectiveProto) */ {
3440 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
3472 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
3473 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
3551 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.DecisionStrategyProto.AffineTransformation) */ {
3556 DecisionStrategyProto_AffineTransformation(const DecisionStrategyProto_AffineTransformation& from);
3557 DecisionStrategyProto_AffineTransformation(DecisionStrategyProto_AffineTransformation&& from) noexcept
3562 inline DecisionStrategyProto_AffineTransformation& operator=(const DecisionStrategyProto_AffineTransformation& from) {
3566 inline DecisionStrategyProto_AffineTransformation& operator=(DecisionStrategyProto_AffineTransformation&& from) noexcept {
3594 friend void swap(DecisionStrategyProto_AffineTransformation& a, DecisionStrategyProto_AffineTransformation& b) {
3608 DecisionStrategyProto_AffineTransformation* New(::PROTOBUF_NAMESPACE_ID::Arena* arena) const final {
3620 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
3652 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
3653 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
3682 // @@protoc_insertion_point(class_scope:operations_research.sat.DecisionStrategyProto.AffineTransformation)
3696 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.DecisionStrategyProto) */ {
3765 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
3797 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
3798 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
3896 // repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4;
3899 ::operations_research::sat::DecisionStrategyProto_AffineTransformation* mutable_transformations(int index);
3900 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation >*
3902 const ::operations_research::sat::DecisionStrategyProto_AffineTransformation& transformations(int index) const;
3904 const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation >&
3907 // .operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
3909 ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy variable_selection_strategy() const;
3910 void set_variable_selection_strategy(::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy value);
3912 // .operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
3914 ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy domain_reduction_strategy() const;
3915 void set_domain_reduction_strategy(::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy value);
3924 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation > transformations_;
3933 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.PartialVariableAssignment) */ {
4002 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
4034 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
4035 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
4085 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.CpModelProto) */ {
4154 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
4186 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
4187 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
4212 const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto >&
4223 const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::ConstraintProto >&
4230 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto >*
4234 const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto >&
4262 void set_allocated_solution_hint(::operations_research::sat::PartialVariableAssignment* solution_hint);
4269 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > variables_;
4270 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::ConstraintProto > constraints_;
4271 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto > search_strategy_;
4281 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.CpSolverResponse) */ {
4350 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
4382 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
4383 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
4453 const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto >&
4539 ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > solution_lower_bounds_;
4541 ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > solution_upper_bounds_;
4543 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > tightened_variables_;
4589 // @@protoc_insertion_point(field_set_rvalue:operations_research.sat.IntegerVariableProto.name)
4594 name_.SetNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::string(value));
4601 // @@protoc_insertion_point(field_set_pointer:operations_research.sat.IntegerVariableProto.name)
4606 return name_.MutableNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited());
4611 return name_.ReleaseNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited());
4619 name_.SetAllocatedNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), name);
4620 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.IntegerVariableProto.name)
4634 inline void IntegerVariableProto::set_domain(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
4649 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.IntegerVariableProto.domain)
4683 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.BoolArgumentProto.literals)
4731 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.IntegerArgumentProto.vars)
4747 // @@protoc_insertion_point(field_get:operations_research.sat.AllDifferentConstraintProto.vars)
4750 inline void AllDifferentConstraintProto::set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
4752 // @@protoc_insertion_point(field_set:operations_research.sat.AllDifferentConstraintProto.vars)
4756 // @@protoc_insertion_point(field_add:operations_research.sat.AllDifferentConstraintProto.vars)
4760 // @@protoc_insertion_point(field_list:operations_research.sat.AllDifferentConstraintProto.vars)
4765 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.AllDifferentConstraintProto.vars)
4799 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearConstraintProto.vars)
4814 inline void LinearConstraintProto::set_coeffs(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
4829 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearConstraintProto.coeffs)
4844 inline void LinearConstraintProto::set_domain(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
4859 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearConstraintProto.domain)
4906 inline void ElementConstraintProto::set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
4921 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.ElementConstraintProto.vars)
4983 // @@protoc_insertion_point(field_get:operations_research.sat.NoOverlapConstraintProto.intervals)
4986 inline void NoOverlapConstraintProto::set_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
4988 // @@protoc_insertion_point(field_set:operations_research.sat.NoOverlapConstraintProto.intervals)
4992 // @@protoc_insertion_point(field_add:operations_research.sat.NoOverlapConstraintProto.intervals)
4996 // @@protoc_insertion_point(field_list:operations_research.sat.NoOverlapConstraintProto.intervals)
5001 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.NoOverlapConstraintProto.intervals)
5016 inline ::PROTOBUF_NAMESPACE_ID::int32 NoOverlap2DConstraintProto::x_intervals(int index) const {
5017 // @@protoc_insertion_point(field_get:operations_research.sat.NoOverlap2DConstraintProto.x_intervals)
5020 inline void NoOverlap2DConstraintProto::set_x_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5022 // @@protoc_insertion_point(field_set:operations_research.sat.NoOverlap2DConstraintProto.x_intervals)
5024 inline void NoOverlap2DConstraintProto::add_x_intervals(::PROTOBUF_NAMESPACE_ID::int32 value) {
5026 // @@protoc_insertion_point(field_add:operations_research.sat.NoOverlap2DConstraintProto.x_intervals)
5030 // @@protoc_insertion_point(field_list:operations_research.sat.NoOverlap2DConstraintProto.x_intervals)
5035 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.NoOverlap2DConstraintProto.x_intervals)
5046 inline ::PROTOBUF_NAMESPACE_ID::int32 NoOverlap2DConstraintProto::y_intervals(int index) const {
5047 // @@protoc_insertion_point(field_get:operations_research.sat.NoOverlap2DConstraintProto.y_intervals)
5050 inline void NoOverlap2DConstraintProto::set_y_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5052 // @@protoc_insertion_point(field_set:operations_research.sat.NoOverlap2DConstraintProto.y_intervals)
5054 inline void NoOverlap2DConstraintProto::add_y_intervals(::PROTOBUF_NAMESPACE_ID::int32 value) {
5056 // @@protoc_insertion_point(field_add:operations_research.sat.NoOverlap2DConstraintProto.y_intervals)
5060 // @@protoc_insertion_point(field_list:operations_research.sat.NoOverlap2DConstraintProto.y_intervals)
5065 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.NoOverlap2DConstraintProto.y_intervals)
5078 // @@protoc_insertion_point(field_get:operations_research.sat.CumulativeConstraintProto.capacity)
5084 // @@protoc_insertion_point(field_set:operations_research.sat.CumulativeConstraintProto.capacity)
5095 // @@protoc_insertion_point(field_get:operations_research.sat.CumulativeConstraintProto.intervals)
5098 inline void CumulativeConstraintProto::set_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5100 // @@protoc_insertion_point(field_set:operations_research.sat.CumulativeConstraintProto.intervals)
5104 // @@protoc_insertion_point(field_add:operations_research.sat.CumulativeConstraintProto.intervals)
5108 // @@protoc_insertion_point(field_list:operations_research.sat.CumulativeConstraintProto.intervals)
5113 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CumulativeConstraintProto.intervals)
5125 // @@protoc_insertion_point(field_get:operations_research.sat.CumulativeConstraintProto.demands)
5128 inline void CumulativeConstraintProto::set_demands(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5130 // @@protoc_insertion_point(field_set:operations_research.sat.CumulativeConstraintProto.demands)
5134 // @@protoc_insertion_point(field_add:operations_research.sat.CumulativeConstraintProto.demands)
5138 // @@protoc_insertion_point(field_list:operations_research.sat.CumulativeConstraintProto.demands)
5143 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CumulativeConstraintProto.demands)
5156 // @@protoc_insertion_point(field_get:operations_research.sat.ReservoirConstraintProto.min_level)
5162 // @@protoc_insertion_point(field_set:operations_research.sat.ReservoirConstraintProto.min_level)
5170 // @@protoc_insertion_point(field_get:operations_research.sat.ReservoirConstraintProto.max_level)
5176 // @@protoc_insertion_point(field_set:operations_research.sat.ReservoirConstraintProto.max_level)
5190 inline void ReservoirConstraintProto::set_times(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5205 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.ReservoirConstraintProto.times)
5217 // @@protoc_insertion_point(field_get:operations_research.sat.ReservoirConstraintProto.demands)
5220 inline void ReservoirConstraintProto::set_demands(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
5222 // @@protoc_insertion_point(field_set:operations_research.sat.ReservoirConstraintProto.demands)
5226 // @@protoc_insertion_point(field_add:operations_research.sat.ReservoirConstraintProto.demands)
5230 // @@protoc_insertion_point(field_list:operations_research.sat.ReservoirConstraintProto.demands)
5235 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.ReservoirConstraintProto.demands)
5247 // @@protoc_insertion_point(field_get:operations_research.sat.ReservoirConstraintProto.actives)
5250 inline void ReservoirConstraintProto::set_actives(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5252 // @@protoc_insertion_point(field_set:operations_research.sat.ReservoirConstraintProto.actives)
5256 // @@protoc_insertion_point(field_add:operations_research.sat.ReservoirConstraintProto.actives)
5260 // @@protoc_insertion_point(field_list:operations_research.sat.ReservoirConstraintProto.actives)
5265 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.ReservoirConstraintProto.actives)
5284 inline void CircuitConstraintProto::set_tails(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5299 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CircuitConstraintProto.tails)
5314 inline void CircuitConstraintProto::set_heads(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5329 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CircuitConstraintProto.heads)
5344 inline void CircuitConstraintProto::set_literals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5354 // @@protoc_insertion_point(field_list:operations_research.sat.CircuitConstraintProto.literals)
5359 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CircuitConstraintProto.literals)
5378 inline void RoutesConstraintProto::set_tails(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5393 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.RoutesConstraintProto.tails)
5408 inline void RoutesConstraintProto::set_heads(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5423 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.RoutesConstraintProto.heads)
5438 inline void RoutesConstraintProto::set_literals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5453 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.RoutesConstraintProto.literals)
5468 inline void RoutesConstraintProto::set_demands(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5483 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.RoutesConstraintProto.demands)
5513 // @@protoc_insertion_point(field_get:operations_research.sat.CircuitCoveringConstraintProto.nexts)
5516 inline void CircuitCoveringConstraintProto::set_nexts(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5518 // @@protoc_insertion_point(field_set:operations_research.sat.CircuitCoveringConstraintProto.nexts)
5522 // @@protoc_insertion_point(field_add:operations_research.sat.CircuitCoveringConstraintProto.nexts)
5526 // @@protoc_insertion_point(field_list:operations_research.sat.CircuitCoveringConstraintProto.nexts)
5531 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CircuitCoveringConstraintProto.nexts)
5542 inline ::PROTOBUF_NAMESPACE_ID::int64 CircuitCoveringConstraintProto::distinguished_nodes(int index) const {
5543 // @@protoc_insertion_point(field_get:operations_research.sat.CircuitCoveringConstraintProto.distinguished_nodes)
5546 inline void CircuitCoveringConstraintProto::set_distinguished_nodes(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
5548 // @@protoc_insertion_point(field_set:operations_research.sat.CircuitCoveringConstraintProto.distinguished_nodes)
5550 inline void CircuitCoveringConstraintProto::add_distinguished_nodes(::PROTOBUF_NAMESPACE_ID::int64 value) {
5552 // @@protoc_insertion_point(field_add:operations_research.sat.CircuitCoveringConstraintProto.distinguished_nodes)
5556 // @@protoc_insertion_point(field_list:operations_research.sat.CircuitCoveringConstraintProto.distinguished_nodes)
5561 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CircuitCoveringConstraintProto.distinguished_nodes)
5595 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.TableConstraintProto.vars)
5610 inline void TableConstraintProto::set_values(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
5625 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.TableConstraintProto.values)
5658 inline void InverseConstraintProto::set_f_direct(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5668 // @@protoc_insertion_point(field_list:operations_research.sat.InverseConstraintProto.f_direct)
5673 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.InverseConstraintProto.f_direct)
5685 // @@protoc_insertion_point(field_get:operations_research.sat.InverseConstraintProto.f_inverse)
5688 inline void InverseConstraintProto::set_f_inverse(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5690 // @@protoc_insertion_point(field_set:operations_research.sat.InverseConstraintProto.f_inverse)
5694 // @@protoc_insertion_point(field_add:operations_research.sat.InverseConstraintProto.f_inverse)
5698 // @@protoc_insertion_point(field_list:operations_research.sat.InverseConstraintProto.f_inverse)
5703 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.InverseConstraintProto.f_inverse)
5716 // @@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.starting_state)
5719 inline void AutomatonConstraintProto::set_starting_state(::PROTOBUF_NAMESPACE_ID::int64 value) {
5722 // @@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.starting_state)
5732 inline ::PROTOBUF_NAMESPACE_ID::int64 AutomatonConstraintProto::final_states(int index) const {
5733 // @@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.final_states)
5736 inline void AutomatonConstraintProto::set_final_states(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
5738 // @@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.final_states)
5742 // @@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.final_states)
5746 // @@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.final_states)
5751 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.final_states)
5762 inline ::PROTOBUF_NAMESPACE_ID::int64 AutomatonConstraintProto::transition_tail(int index) const {
5763 // @@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.transition_tail)
5766 inline void AutomatonConstraintProto::set_transition_tail(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
5768 // @@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.transition_tail)
5770 inline void AutomatonConstraintProto::add_transition_tail(::PROTOBUF_NAMESPACE_ID::int64 value) {
5772 // @@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.transition_tail)
5776 // @@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.transition_tail)
5781 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.transition_tail)
5792 inline ::PROTOBUF_NAMESPACE_ID::int64 AutomatonConstraintProto::transition_head(int index) const {
5793 // @@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.transition_head)
5796 inline void AutomatonConstraintProto::set_transition_head(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
5798 // @@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.transition_head)
5800 inline void AutomatonConstraintProto::add_transition_head(::PROTOBUF_NAMESPACE_ID::int64 value) {
5802 // @@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.transition_head)
5806 // @@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.transition_head)
5811 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.transition_head)
5822 inline ::PROTOBUF_NAMESPACE_ID::int64 AutomatonConstraintProto::transition_label(int index) const {
5823 // @@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.transition_label)
5826 inline void AutomatonConstraintProto::set_transition_label(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
5828 // @@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.transition_label)
5830 inline void AutomatonConstraintProto::add_transition_label(::PROTOBUF_NAMESPACE_ID::int64 value) {
5832 // @@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.transition_label)
5836 // @@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.transition_label)
5841 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.transition_label)
5856 inline void AutomatonConstraintProto::set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5871 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.vars)
5901 name_.SetNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::string(value));
5913 return name_.MutableNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited());
5918 return name_.ReleaseNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited());
5926 name_.SetAllocatedNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), name);
5938 // @@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.enforcement_literal)
5941 inline void ConstraintProto::set_enforcement_literal(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
5943 // @@protoc_insertion_point(field_set:operations_research.sat.ConstraintProto.enforcement_literal)
5947 // @@protoc_insertion_point(field_add:operations_research.sat.ConstraintProto.enforcement_literal)
5951 // @@protoc_insertion_point(field_list:operations_research.sat.ConstraintProto.enforcement_literal)
5956 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.ConstraintProto.enforcement_literal)
5988 : *reinterpret_cast< ::operations_research::sat::BoolArgumentProto*>(&::operations_research::sat::_BoolArgumentProto_default_instance_);
6025 inline const ::operations_research::sat::BoolArgumentProto& ConstraintProto::bool_and() const {
6029 : *reinterpret_cast< ::operations_research::sat::BoolArgumentProto*>(&::operations_research::sat::_BoolArgumentProto_default_instance_);
6066 inline const ::operations_research::sat::BoolArgumentProto& ConstraintProto::at_most_one() const {
6070 : *reinterpret_cast< ::operations_research::sat::BoolArgumentProto*>(&::operations_research::sat::_BoolArgumentProto_default_instance_);
6076 constraint_.at_most_one_ = CreateMaybeMessage< ::operations_research::sat::BoolArgumentProto >(
6107 inline const ::operations_research::sat::BoolArgumentProto& ConstraintProto::bool_xor() const {
6111 : *reinterpret_cast< ::operations_research::sat::BoolArgumentProto*>(&::operations_research::sat::_BoolArgumentProto_default_instance_);
6148 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::int_div() const {
6152 : *reinterpret_cast< ::operations_research::sat::IntegerArgumentProto*>(&::operations_research::sat::_IntegerArgumentProto_default_instance_);
6189 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::int_mod() const {
6193 : *reinterpret_cast< ::operations_research::sat::IntegerArgumentProto*>(&::operations_research::sat::_IntegerArgumentProto_default_instance_);
6230 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::int_max() const {
6234 : *reinterpret_cast< ::operations_research::sat::IntegerArgumentProto*>(&::operations_research::sat::_IntegerArgumentProto_default_instance_);
6271 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::int_min() const {
6275 : *reinterpret_cast< ::operations_research::sat::IntegerArgumentProto*>(&::operations_research::sat::_IntegerArgumentProto_default_instance_);
6312 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::int_prod() const {
6316 : *reinterpret_cast< ::operations_research::sat::IntegerArgumentProto*>(&::operations_research::sat::_IntegerArgumentProto_default_instance_);
6322 constraint_.int_prod_ = CreateMaybeMessage< ::operations_research::sat::IntegerArgumentProto >(
6353 inline const ::operations_research::sat::LinearConstraintProto& ConstraintProto::linear() const {
6357 : *reinterpret_cast< ::operations_research::sat::LinearConstraintProto*>(&::operations_research::sat::_LinearConstraintProto_default_instance_);
6383 inline ::operations_research::sat::AllDifferentConstraintProto* ConstraintProto::release_all_diff() {
6394 inline const ::operations_research::sat::AllDifferentConstraintProto& ConstraintProto::all_diff() const {
6398 : *reinterpret_cast< ::operations_research::sat::AllDifferentConstraintProto*>(&::operations_research::sat::_AllDifferentConstraintProto_default_instance_);
6400 inline ::operations_research::sat::AllDifferentConstraintProto* ConstraintProto::mutable_all_diff() {
6404 constraint_.all_diff_ = CreateMaybeMessage< ::operations_research::sat::AllDifferentConstraintProto >(
6424 inline ::operations_research::sat::ElementConstraintProto* ConstraintProto::release_element() {
6435 inline const ::operations_research::sat::ElementConstraintProto& ConstraintProto::element() const {
6439 : *reinterpret_cast< ::operations_research::sat::ElementConstraintProto*>(&::operations_research::sat::_ElementConstraintProto_default_instance_);
6441 inline ::operations_research::sat::ElementConstraintProto* ConstraintProto::mutable_element() {
6445 constraint_.element_ = CreateMaybeMessage< ::operations_research::sat::ElementConstraintProto >(
6465 inline ::operations_research::sat::CircuitConstraintProto* ConstraintProto::release_circuit() {
6476 inline const ::operations_research::sat::CircuitConstraintProto& ConstraintProto::circuit() const {
6480 : *reinterpret_cast< ::operations_research::sat::CircuitConstraintProto*>(&::operations_research::sat::_CircuitConstraintProto_default_instance_);
6482 inline ::operations_research::sat::CircuitConstraintProto* ConstraintProto::mutable_circuit() {
6486 constraint_.circuit_ = CreateMaybeMessage< ::operations_research::sat::CircuitConstraintProto >(
6517 inline const ::operations_research::sat::RoutesConstraintProto& ConstraintProto::routes() const {
6521 : *reinterpret_cast< ::operations_research::sat::RoutesConstraintProto*>(&::operations_research::sat::_RoutesConstraintProto_default_instance_);
6547 inline ::operations_research::sat::CircuitCoveringConstraintProto* ConstraintProto::release_circuit_covering() {
6548 // @@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.circuit_covering)
6551 ::operations_research::sat::CircuitCoveringConstraintProto* temp = constraint_.circuit_covering_;
6558 inline const ::operations_research::sat::CircuitCoveringConstraintProto& ConstraintProto::circuit_covering() const {
6559 // @@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.circuit_covering)
6562 : *reinterpret_cast< ::operations_research::sat::CircuitCoveringConstraintProto*>(&::operations_research::sat::_CircuitCoveringConstraintProto_default_instance_);
6564 inline ::operations_research::sat::CircuitCoveringConstraintProto* ConstraintProto::mutable_circuit_covering() {
6568 constraint_.circuit_covering_ = CreateMaybeMessage< ::operations_research::sat::CircuitCoveringConstraintProto >(
6571 // @@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.circuit_covering)
6599 inline const ::operations_research::sat::TableConstraintProto& ConstraintProto::table() const {
6603 : *reinterpret_cast< ::operations_research::sat::TableConstraintProto*>(&::operations_research::sat::_TableConstraintProto_default_instance_);
6629 inline ::operations_research::sat::AutomatonConstraintProto* ConstraintProto::release_automaton() {
6640 inline const ::operations_research::sat::AutomatonConstraintProto& ConstraintProto::automaton() const {
6644 : *reinterpret_cast< ::operations_research::sat::AutomatonConstraintProto*>(&::operations_research::sat::_AutomatonConstraintProto_default_instance_);
6646 inline ::operations_research::sat::AutomatonConstraintProto* ConstraintProto::mutable_automaton() {
6650 constraint_.automaton_ = CreateMaybeMessage< ::operations_research::sat::AutomatonConstraintProto >(
6670 inline ::operations_research::sat::InverseConstraintProto* ConstraintProto::release_inverse() {
6681 inline const ::operations_research::sat::InverseConstraintProto& ConstraintProto::inverse() const {
6685 : *reinterpret_cast< ::operations_research::sat::InverseConstraintProto*>(&::operations_research::sat::_InverseConstraintProto_default_instance_);
6687 inline ::operations_research::sat::InverseConstraintProto* ConstraintProto::mutable_inverse() {
6691 constraint_.inverse_ = CreateMaybeMessage< ::operations_research::sat::InverseConstraintProto >(
6711 inline ::operations_research::sat::ReservoirConstraintProto* ConstraintProto::release_reservoir() {
6722 inline const ::operations_research::sat::ReservoirConstraintProto& ConstraintProto::reservoir() const {
6726 : *reinterpret_cast< ::operations_research::sat::ReservoirConstraintProto*>(&::operations_research::sat::_ReservoirConstraintProto_default_instance_);
6728 inline ::operations_research::sat::ReservoirConstraintProto* ConstraintProto::mutable_reservoir() {
6732 constraint_.reservoir_ = CreateMaybeMessage< ::operations_research::sat::ReservoirConstraintProto >(
6752 inline ::operations_research::sat::IntervalConstraintProto* ConstraintProto::release_interval() {
6763 inline const ::operations_research::sat::IntervalConstraintProto& ConstraintProto::interval() const {
6767 : *reinterpret_cast< ::operations_research::sat::IntervalConstraintProto*>(&::operations_research::sat::_IntervalConstraintProto_default_instance_);
6769 inline ::operations_research::sat::IntervalConstraintProto* ConstraintProto::mutable_interval() {
6773 constraint_.interval_ = CreateMaybeMessage< ::operations_research::sat::IntervalConstraintProto >(
6793 inline ::operations_research::sat::NoOverlapConstraintProto* ConstraintProto::release_no_overlap() {
6804 inline const ::operations_research::sat::NoOverlapConstraintProto& ConstraintProto::no_overlap() const {
6808 : *reinterpret_cast< ::operations_research::sat::NoOverlapConstraintProto*>(&::operations_research::sat::_NoOverlapConstraintProto_default_instance_);
6810 inline ::operations_research::sat::NoOverlapConstraintProto* ConstraintProto::mutable_no_overlap() {
6814 constraint_.no_overlap_ = CreateMaybeMessage< ::operations_research::sat::NoOverlapConstraintProto >(
6834 inline ::operations_research::sat::NoOverlap2DConstraintProto* ConstraintProto::release_no_overlap_2d() {
6835 // @@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.no_overlap_2d)
6845 inline const ::operations_research::sat::NoOverlap2DConstraintProto& ConstraintProto::no_overlap_2d() const {
6849 : *reinterpret_cast< ::operations_research::sat::NoOverlap2DConstraintProto*>(&::operations_research::sat::_NoOverlap2DConstraintProto_default_instance_);
6851 inline ::operations_research::sat::NoOverlap2DConstraintProto* ConstraintProto::mutable_no_overlap_2d() {
6855 constraint_.no_overlap_2d_ = CreateMaybeMessage< ::operations_research::sat::NoOverlap2DConstraintProto >(
6858 // @@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.no_overlap_2d)
6875 inline ::operations_research::sat::CumulativeConstraintProto* ConstraintProto::release_cumulative() {
6886 inline const ::operations_research::sat::CumulativeConstraintProto& ConstraintProto::cumulative() const {
6890 : *reinterpret_cast< ::operations_research::sat::CumulativeConstraintProto*>(&::operations_research::sat::_CumulativeConstraintProto_default_instance_);
6892 inline ::operations_research::sat::CumulativeConstraintProto* ConstraintProto::mutable_cumulative() {
6896 constraint_.cumulative_ = CreateMaybeMessage< ::operations_research::sat::CumulativeConstraintProto >(
6972 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpObjectiveProto.coeffs)
7030 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpObjectiveProto.domain)
7042 inline ::PROTOBUF_NAMESPACE_ID::int32 DecisionStrategyProto_AffineTransformation::var() const {
7043 // @@protoc_insertion_point(field_get:operations_research.sat.DecisionStrategyProto.AffineTransformation.var)
7046 inline void DecisionStrategyProto_AffineTransformation::set_var(::PROTOBUF_NAMESPACE_ID::int32 value) {
7049 // @@protoc_insertion_point(field_set:operations_research.sat.DecisionStrategyProto.AffineTransformation.var)
7056 inline ::PROTOBUF_NAMESPACE_ID::int64 DecisionStrategyProto_AffineTransformation::offset() const {
7057 // @@protoc_insertion_point(field_get:operations_research.sat.DecisionStrategyProto.AffineTransformation.offset)
7060 inline void DecisionStrategyProto_AffineTransformation::set_offset(::PROTOBUF_NAMESPACE_ID::int64 value) {
7063 // @@protoc_insertion_point(field_set:operations_research.sat.DecisionStrategyProto.AffineTransformation.offset)
7070 inline ::PROTOBUF_NAMESPACE_ID::int64 DecisionStrategyProto_AffineTransformation::positive_coeff() const {
7071 // @@protoc_insertion_point(field_get:operations_research.sat.DecisionStrategyProto.AffineTransformation.positive_coeff)
7074 inline void DecisionStrategyProto_AffineTransformation::set_positive_coeff(::PROTOBUF_NAMESPACE_ID::int64 value) {
7077 // @@protoc_insertion_point(field_set:operations_research.sat.DecisionStrategyProto.AffineTransformation.positive_coeff)
7095 inline void DecisionStrategyProto::set_variables(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7105 // @@protoc_insertion_point(field_list:operations_research.sat.DecisionStrategyProto.variables)
7110 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.DecisionStrategyProto.variables)
7114 // .operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
7118 inline ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy DecisionStrategyProto::variable_selection_strategy() const {
7119 // @@protoc_insertion_point(field_get:operations_research.sat.DecisionStrategyProto.variable_selection_strategy)
7120 return static_cast< ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy >(variable_selection_strategy_);
7122 inline void DecisionStrategyProto::set_variable_selection_strategy(::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy value) {
7125 // @@protoc_insertion_point(field_set:operations_research.sat.DecisionStrategyProto.variable_selection_strategy)
7128 // .operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
7132 inline ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy DecisionStrategyProto::domain_reduction_strategy() const {
7133 // @@protoc_insertion_point(field_get:operations_research.sat.DecisionStrategyProto.domain_reduction_strategy)
7134 return static_cast< ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy >(domain_reduction_strategy_);
7136 inline void DecisionStrategyProto::set_domain_reduction_strategy(::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy value) {
7139 // @@protoc_insertion_point(field_set:operations_research.sat.DecisionStrategyProto.domain_reduction_strategy)
7142 // repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4;
7149 inline ::operations_research::sat::DecisionStrategyProto_AffineTransformation* DecisionStrategyProto::mutable_transformations(int index) {
7150 // @@protoc_insertion_point(field_mutable:operations_research.sat.DecisionStrategyProto.transformations)
7153 inline ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation >*
7155 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.DecisionStrategyProto.transformations)
7158 inline const ::operations_research::sat::DecisionStrategyProto_AffineTransformation& DecisionStrategyProto::transformations(int index) const {
7159 // @@protoc_insertion_point(field_get:operations_research.sat.DecisionStrategyProto.transformations)
7162 inline ::operations_research::sat::DecisionStrategyProto_AffineTransformation* DecisionStrategyProto::add_transformations() {
7163 // @@protoc_insertion_point(field_add:operations_research.sat.DecisionStrategyProto.transformations)
7166 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation >&
7168 // @@protoc_insertion_point(field_list:operations_research.sat.DecisionStrategyProto.transformations)
7187 inline void PartialVariableAssignment::set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7202 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.PartialVariableAssignment.vars)
7214 // @@protoc_insertion_point(field_get:operations_research.sat.PartialVariableAssignment.values)
7217 inline void PartialVariableAssignment::set_values(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
7219 // @@protoc_insertion_point(field_set:operations_research.sat.PartialVariableAssignment.values)
7223 // @@protoc_insertion_point(field_add:operations_research.sat.PartialVariableAssignment.values)
7227 // @@protoc_insertion_point(field_list:operations_research.sat.PartialVariableAssignment.values)
7232 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.PartialVariableAssignment.values)
7262 name_.SetNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::string(value));
7274 return name_.MutableNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited());
7279 return name_.ReleaseNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited());
7287 name_.SetAllocatedNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), name);
7298 inline ::operations_research::sat::IntegerVariableProto* CpModelProto::mutable_variables(int index) {
7302 inline ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto >*
7307 inline const ::operations_research::sat::IntegerVariableProto& CpModelProto::variables(int index) const {
7315 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto >&
7328 inline ::operations_research::sat::ConstraintProto* CpModelProto::mutable_constraints(int index) {
7332 inline ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::ConstraintProto >*
7334 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpModelProto.constraints)
7337 inline const ::operations_research::sat::ConstraintProto& CpModelProto::constraints(int index) const {
7345 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::ConstraintProto >&
7364 return p != nullptr ? *p : *reinterpret_cast<const ::operations_research::sat::CpObjectiveProto*>(
7377 auto* p = CreateMaybeMessage<::operations_research::sat::CpObjectiveProto>(GetArenaNoVirtual());
7383 inline void CpModelProto::set_allocated_objective(::operations_research::sat::CpObjectiveProto* objective) {
7399 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.CpModelProto.objective)
7409 inline ::operations_research::sat::DecisionStrategyProto* CpModelProto::mutable_search_strategy(int index) {
7410 // @@protoc_insertion_point(field_mutable:operations_research.sat.CpModelProto.search_strategy)
7413 inline ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto >*
7415 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpModelProto.search_strategy)
7418 inline const ::operations_research::sat::DecisionStrategyProto& CpModelProto::search_strategy(int index) const {
7422 inline ::operations_research::sat::DecisionStrategyProto* CpModelProto::add_search_strategy() {
7426 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto >&
7442 inline const ::operations_research::sat::PartialVariableAssignment& CpModelProto::solution_hint() const {
7445 return p != nullptr ? *p : *reinterpret_cast<const ::operations_research::sat::PartialVariableAssignment*>(
7448 inline ::operations_research::sat::PartialVariableAssignment* CpModelProto::release_solution_hint() {
7455 inline ::operations_research::sat::PartialVariableAssignment* CpModelProto::mutable_solution_hint() {
7458 auto* p = CreateMaybeMessage<::operations_research::sat::PartialVariableAssignment>(GetArenaNoVirtual());
7464 inline void CpModelProto::set_allocated_solution_hint(::operations_research::sat::PartialVariableAssignment* solution_hint) {
7480 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.CpModelProto.solution_hint)
7527 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpSolverResponse.solution)
7536 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.objective_value)
7542 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.objective_value)
7550 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.best_objective_bound)
7556 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.best_objective_bound)
7566 inline ::PROTOBUF_NAMESPACE_ID::int64 CpSolverResponse::solution_lower_bounds(int index) const {
7567 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.solution_lower_bounds)
7570 inline void CpSolverResponse::set_solution_lower_bounds(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
7572 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.solution_lower_bounds)
7574 inline void CpSolverResponse::add_solution_lower_bounds(::PROTOBUF_NAMESPACE_ID::int64 value) {
7576 // @@protoc_insertion_point(field_add:operations_research.sat.CpSolverResponse.solution_lower_bounds)
7580 // @@protoc_insertion_point(field_list:operations_research.sat.CpSolverResponse.solution_lower_bounds)
7585 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpSolverResponse.solution_lower_bounds)
7596 inline ::PROTOBUF_NAMESPACE_ID::int64 CpSolverResponse::solution_upper_bounds(int index) const {
7597 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.solution_upper_bounds)
7600 inline void CpSolverResponse::set_solution_upper_bounds(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
7602 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.solution_upper_bounds)
7604 inline void CpSolverResponse::add_solution_upper_bounds(::PROTOBUF_NAMESPACE_ID::int64 value) {
7606 // @@protoc_insertion_point(field_add:operations_research.sat.CpSolverResponse.solution_upper_bounds)
7610 // @@protoc_insertion_point(field_list:operations_research.sat.CpSolverResponse.solution_upper_bounds)
7615 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpSolverResponse.solution_upper_bounds)
7626 inline ::operations_research::sat::IntegerVariableProto* CpSolverResponse::mutable_tightened_variables(int index) {
7627 // @@protoc_insertion_point(field_mutable:operations_research.sat.CpSolverResponse.tightened_variables)
7630 inline ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto >*
7632 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpSolverResponse.tightened_variables)
7635 inline const ::operations_research::sat::IntegerVariableProto& CpSolverResponse::tightened_variables(int index) const {
7636 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.tightened_variables)
7639 inline ::operations_research::sat::IntegerVariableProto* CpSolverResponse::add_tightened_variables() {
7640 // @@protoc_insertion_point(field_add:operations_research.sat.CpSolverResponse.tightened_variables)
7643 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto >&
7645 // @@protoc_insertion_point(field_list:operations_research.sat.CpSolverResponse.tightened_variables)
7654 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.all_solutions_were_found)
7660 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.all_solutions_were_found)
7710 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.num_binary_propagations)
7713 inline void CpSolverResponse::set_num_binary_propagations(::PROTOBUF_NAMESPACE_ID::int64 value) {
7716 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.num_binary_propagations)
7724 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.num_integer_propagations)
7727 inline void CpSolverResponse::set_num_integer_propagations(::PROTOBUF_NAMESPACE_ID::int64 value) {
7730 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.num_integer_propagations)
7766 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.deterministic_time)
7772 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.deterministic_time)
7780 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.primal_integral)
7786 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.primal_integral)
7791 solution_info_.ClearToEmptyNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited());
7799 solution_info_.SetNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), value);
7806 // @@protoc_insertion_point(field_set_rvalue:operations_research.sat.CpSolverResponse.solution_info)
7811 solution_info_.SetNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::string(value));
7812 // @@protoc_insertion_point(field_set_char:operations_research.sat.CpSolverResponse.solution_info)
7818 // @@protoc_insertion_point(field_set_pointer:operations_research.sat.CpSolverResponse.solution_info)
7822 // @@protoc_insertion_point(field_mutable:operations_research.sat.CpSolverResponse.solution_info)
7823 return solution_info_.MutableNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited());
7826 // @@protoc_insertion_point(field_release:operations_research.sat.CpSolverResponse.solution_info)
7828 return solution_info_.ReleaseNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited());
7836 solution_info_.SetAllocatedNoArena(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), solution_info);
7837 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.CpSolverResponse.solution_info)
7897 template <> struct is_proto_enum< ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy> : ::std::true_type {};
7899 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy>() {
7900 return ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy_descriptor();
7902 template <> struct is_proto_enum< ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy> : ::std::true_type {};
7904 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy>() {
7907 template <> struct is_proto_enum< ::operations_research::sat::CpSolverStatus> : ::std::true_type {};
7909 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::CpSolverStatus>() {
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
CumulativeConstraintProto & operator=(const CumulativeConstraintProto &from)
Definition: cp_model.pb.h:1585
const std::string & CpSolverStatus_Name(T enum_t_value)
Definition: cp_model.pb.h:234
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
void set_starting_state(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5719
void set_allocated_no_overlap_2d(::operations_research::sat::NoOverlap2DConstraintProto *no_overlap_2d)
void set_allocated_element(::operations_research::sat::ElementConstraintProto *element)
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:845
void clear_transformations()
Definition: cp_model.pb.h:7146
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_vars()
Definition: cp_model.pb.h:5870
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
::operations_research::sat::IntegerArgumentProto * release_int_prod()
Definition: cp_model.pb.h:6301
::operations_research::sat::CpObjectiveProto * mutable_objective()
Definition: cp_model.pb.h:7374
Definition: cp_model.pb.h:170
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_intervals()
Definition: cp_model.pb.h:5112
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
std::string * release_name()
Definition: cp_model.pb.h:7276
static bool DomainReductionStrategy_IsValid(int value)
Definition: cp_model.pb.h:3852
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:2442
void set_allocated_int_max(::operations_research::sat::IntegerArgumentProto *int_max)
static const ReservoirConstraintProto & default_instance()
const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > & variables() const
Definition: cp_model.pb.h:7316
void set_allocated_name(std::string *name)
Definition: cp_model.pb.h:5920
void clear_status()
Definition: cp_model.pb.h:7488
void clear_all_diff()
Definition: cp_model.pb.h:6377
ReservoirConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:1790
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & final_states() const
Definition: cp_model.pb.h:5745
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:2445
::PROTOBUF_NAMESPACE_ID::int32 target() const
Definition: cp_model.pb.h:4695
void set_all_solutions_were_found(bool value)
Definition: cp_model.pb.h:7657
virtual ~IntervalConstraintProto()
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_enforcement_literal()
Definition: cp_model.pb.h:5955
int GetCachedSize() const final
Definition: cp_model.pb.h:899
Definition: cp_model.pb.h:4400
static void InitAsDefaultInstance()
std::string * release_name()
Definition: cp_model.pb.h:4608
static void InitAsDefaultInstance()
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
virtual ~LinearConstraintProto()
Definition: cp_model.pb.h:1687
const ::operations_research::sat::IntegerArgumentProto & int_mod() const
Definition: cp_model.pb.h:6189
void set_domain(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:4844
void clear_num_integer_propagations()
Definition: cp_model.pb.h:7720
static bool DomainReductionStrategy_Parse(const std::string &name, DomainReductionStrategy *value)
Definition: cp_model.pb.h:3872
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:2604
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & solution_lower_bounds() const
Definition: cp_model.pb.h:7579
const ::operations_research::sat::BoolArgumentProto & bool_or() const
Definition: cp_model.pb.h:5984
void clear_linear()
Definition: cp_model.pb.h:6336
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:710
int actives_size() const
Definition: cp_model.pb.h:5240
static void InitAsDefaultInstance()
void clear_final_states()
Definition: cp_model.pb.h:5729
bool DecisionStrategyProto_VariableSelectionStrategy_Parse(const std::string &name, DecisionStrategyProto_VariableSelectionStrategy *value)
Definition: cp_model.pb.h:186
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
static constexpr DomainReductionStrategy SELECT_MAX_VALUE
Definition: cp_model.pb.h:3846
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::ConstraintProto > * mutable_constraints()
Definition: cp_model.pb.h:7333
ElementConstraintProto & operator=(ElementConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1002
LinearConstraintProto * New() const final
Definition: cp_model.pb.h:874
BoolArgumentProto()
DecisionStrategyProto_AffineTransformationDefaultTypeInternal _DecisionStrategyProto_AffineTransformation_default_instance_
::PROTOBUF_NAMESPACE_ID::int32 size() const
Definition: cp_model.pb.h:4961
int enforcement_literal_size() const
Definition: cp_model.pb.h:5931
void Swap(InverseConstraintProto *other)
Definition: cp_model.pb.h:2623
static void InitAsDefaultInstance()
int vars_size() const
Definition: cp_model.pb.h:7177
void clear_solution_upper_bounds()
Definition: cp_model.pb.h:7593
IntegerVariableProto * New() const final
Definition: cp_model.pb.h:302
static void InitAsDefaultInstance()
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_heads()
Definition: cp_model.pb.h:5328
void clear_y_intervals()
Definition: cp_model.pb.h:5043
void set_end(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4951
virtual ~CpObjectiveProto()
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
static void InitAsDefaultInstance()
int solution_lower_bounds_size() const
Definition: cp_model.pb.h:7560
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void clear_literals()
Definition: cp_model.pb.h:5431
Definition: cp_model.pb.h:3085
void set_allocated_interval(::operations_research::sat::IntervalConstraintProto *interval)
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:2290
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
InverseConstraintProtoDefaultTypeInternal _InverseConstraintProto_default_instance_
CircuitConstraintProto()
void Swap(AllDifferentConstraintProto *other)
Definition: cp_model.pb.h:729
::operations_research::sat::PartialVariableAssignment * release_solution_hint()
Definition: cp_model.pb.h:7448
static const CpObjectiveProto * internal_default_instance()
Definition: cp_model.pb.h:3407
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_vars()
Definition: cp_model.pb.h:6941
CpObjectiveProto(CpObjectiveProto &&from) noexcept
Definition: cp_model.pb.h:3377
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * DecisionStrategyProto_VariableSelectionStrategy_descriptor()
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:2756
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
Definition: cp_model.pb.h:4410
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_solution_lower_bounds()
Definition: cp_model.pb.h:7584
void clear_size()
Definition: cp_model.pb.h:4958
friend void swap(CumulativeConstraintProto &a, CumulativeConstraintProto &b)
Definition: cp_model.pb.h:1617
NoOverlapConstraintProto * New() const final
Definition: cp_model.pb.h:1337
void clear_target()
Definition: cp_model.pb.h:4692
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_x_intervals()
Definition: cp_model.pb.h:5034
void set_heads(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5314
void set_tails(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5378
void set_demands(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5128
bool has_int_prod() const
Definition: cp_model.pb.h:6289
const ::operations_research::sat::CircuitCoveringConstraintProto & circuit_covering() const
Definition: cp_model.pb.h:6558
void clear_transition_label()
Definition: cp_model.pb.h:5819
int GetCachedSize() const final
Definition: cp_model.pb.h:1362
BoolArgumentProto & operator=(const BoolArgumentProto &from)
Definition: cp_model.pb.h:411
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_vars()
Definition: cp_model.pb.h:7201
NoOverlapConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:1341
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & x_intervals() const
Definition: cp_model.pb.h:5029
::operations_research::sat::RoutesConstraintProto * mutable_routes()
Definition: cp_model.pb.h:6523
bool has_all_diff() const
Definition: cp_model.pb.h:6371
void clear_int_min()
Definition: cp_model.pb.h:6254
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
Definition: cp_model.pb.h:164
bool IsInitialized() const final
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:1169
bool IsInitialized() const final
void set_allocated_reservoir(::operations_research::sat::ReservoirConstraintProto *reservoir)
Definition: cp_model.pb.h:2842
CpSolverResponse & operator=(const CpSolverResponse &from)
Definition: cp_model.pb.h:4292
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
bool IsInitialized() const final
void add_y_intervals(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5054
size_t ByteSizeLong() const final
const ::operations_research::sat::NoOverlap2DConstraintProto & no_overlap_2d() const
Definition: cp_model.pb.h:6845
static void InitAsDefaultInstance()
void clear_heads()
Definition: cp_model.pb.h:5401
int domain_size() const
Definition: cp_model.pb.h:4834
int values_size() const
Definition: cp_model.pb.h:5600
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_literals()
Definition: cp_model.pb.h:4682
static const ElementConstraintProto & default_instance()
int heads_size() const
Definition: cp_model.pb.h:5304
PartialVariableAssignment()
::operations_research::sat::CircuitCoveringConstraintProto * mutable_circuit_covering()
Definition: cp_model.pb.h:6564
CircuitConstraintProto(CircuitConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1919
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
::operations_research::sat::ElementConstraintProto * release_element()
Definition: cp_model.pb.h:6424
void clear_index()
Definition: cp_model.pb.h:4868
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
IntervalConstraintProto * New() const final
Definition: cp_model.pb.h:1192
void set_allocated_name(std::string *name)
Definition: cp_model.pb.h:4613
Definition: cp_model.pb.h:1846
AllDifferentConstraintProto * New() const final
Definition: cp_model.pb.h:736
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & vars() const
Definition: cp_model.pb.h:6936
AutomatonConstraintProto & operator=(AutomatonConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2744
bool has_cumulative() const
Definition: cp_model.pb.h:6863
void clear_positive_coeff()
Definition: cp_model.pb.h:7067
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
int solution_size() const
Definition: cp_model.pb.h:7502
RoutesConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:2136
void set_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4986
static constexpr DomainReductionStrategy DomainReductionStrategy_MIN
Definition: cp_model.pb.h:3855
double deterministic_time() const
Definition: cp_model.pb.h:7765
static const CpSolverResponse & default_instance()
bool has_circuit_covering() const
Definition: cp_model.pb.h:6535
static bool VariableSelectionStrategy_IsValid(int value)
Definition: cp_model.pb.h:3818
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:2769
ElementConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:1044
size_t ByteSizeLong() const final
void Swap(IntegerArgumentProto *other)
Definition: cp_model.pb.h:584
int tails_size() const
Definition: cp_model.pb.h:5368
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_tails()
Definition: cp_model.pb.h:5392
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
void set_allocated_at_most_one(::operations_research::sat::BoolArgumentProto *at_most_one)
void set_target(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4699
AutomatonConstraintProto * New() const final
Definition: cp_model.pb.h:2782
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:3398
Definition: cp_model.pb.h:4395
PartialVariableAssignment & operator=(const PartialVariableAssignment &from)
Definition: cp_model.pb.h:3944
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:3581
void add_vars(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:6931
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
void add_demands(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5224
PartialVariableAssignment & operator=(PartialVariableAssignment &&from) noexcept
Definition: cp_model.pb.h:3948
int final_states_size() const
Definition: cp_model.pb.h:5726
LinearConstraintProtoDefaultTypeInternal _LinearConstraintProto_default_instance_
Definition: cp_model.pb.h:1849
PartialVariableAssignment * New() const final
Definition: cp_model.pb.h:3986
void clear_tails()
Definition: cp_model.pb.h:5371
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
bool has_bool_and() const
Definition: cp_model.pb.h:6002
void add_transition_head(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5800
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & vars() const
Definition: cp_model.pb.h:4915
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & demands() const
Definition: cp_model.pb.h:5137
size_t ByteSizeLong() const final
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:1614
DecisionStrategyProto * New() const final
Definition: cp_model.pb.h:3749
int vars_size() const
Definition: cp_model.pb.h:4896
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy variable_selection_strategy() const
Definition: cp_model.pb.h:7118
static const LinearConstraintProto & default_instance()
TableConstraintProto & operator=(TableConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2433
DecisionStrategyProto_DomainReductionStrategy
Definition: cp_model.pb.h:191
void clear_heads()
Definition: cp_model.pb.h:5307
NoOverlap2DConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:1479
static constexpr int VariableSelectionStrategy_ARRAYSIZE
Definition: cp_model.pb.h:3825
void Swap(CpModelProto *other)
Definition: cp_model.pb.h:4131
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
void set_tails(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5284
const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto > & search_strategy() const
Definition: cp_model.pb.h:7427
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
::operations_research::sat::IntegerArgumentProto * mutable_int_mod()
Definition: cp_model.pb.h:6195
CircuitCoveringConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:2323
void clear_f_inverse()
Definition: cp_model.pb.h:5681
void add_distinguished_nodes(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5550
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
void Swap(CircuitCoveringConstraintProto *other)
Definition: cp_model.pb.h:2312
void clear_values()
Definition: cp_model.pb.h:7210
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:2617
double primal_integral() const
Definition: cp_model.pb.h:7779
ReservoirConstraintProto()
int coeffs_size() const
Definition: cp_model.pb.h:6947
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
int GetCachedSize() const final
Definition: cp_model.pb.h:478
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & transition_label() const
Definition: cp_model.pb.h:5835
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
static constexpr VariableSelectionStrategy CHOOSE_MAX_DOMAIN_SIZE
Definition: cp_model.pb.h:3816
void clear_bool_and()
Definition: cp_model.pb.h:6008
::operations_research::sat::ReservoirConstraintProto * mutable_reservoir()
Definition: cp_model.pb.h:6728
const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > & tightened_variables() const
Definition: cp_model.pb.h:7644
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
int intervals_size() const
Definition: cp_model.pb.h:4976
void set_allocated_no_overlap(::operations_research::sat::NoOverlapConstraintProto *no_overlap)
virtual ~RoutesConstraintProto()
static void InitAsDefaultInstance()
bool has_int_min() const
Definition: cp_model.pb.h:6248
::operations_research::sat::BoolArgumentProto * release_bool_xor()
Definition: cp_model.pb.h:6096
void clear_automaton()
Definition: cp_model.pb.h:6623
::operations_research::sat::IntervalConstraintProto * release_interval()
Definition: cp_model.pb.h:6752
RoutesConstraintProto & operator=(const RoutesConstraintProto &from)
Definition: cp_model.pb.h:2090
std::string * mutable_name()
Definition: cp_model.pb.h:4603
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
::PROTOBUF_NAMESPACE_ID::int32 index() const
Definition: cp_model.pb.h:4871
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:1314
NoOverlap2DConstraintProto & operator=(const NoOverlap2DConstraintProto &from)
Definition: cp_model.pb.h:1433
int GetCachedSize() const final
Definition: cp_model.pb.h:2807
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:1452
int solution_upper_bounds_size() const
Definition: cp_model.pb.h:7590
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
void set_allocated_linear(::operations_research::sat::LinearConstraintProto *linear)
static constexpr VariableSelectionStrategy CHOOSE_HIGHEST_MAX
Definition: cp_model.pb.h:3812
static void InitAsDefaultInstance()
void set_allocated_int_prod(::operations_research::sat::IntegerArgumentProto *int_prod)
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:424
void add_coeffs(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:4818
void add_heads(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5412
BoolArgumentProto & operator=(BoolArgumentProto &&from) noexcept
Definition: cp_model.pb.h:415
friend void swap(AllDifferentConstraintProto &a, AllDifferentConstraintProto &b)
Definition: cp_model.pb.h:726
::PROTOBUF_NAMESPACE_ID::int32 var() const
Definition: cp_model.pb.h:7042
AutomatonConstraintProto()
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:2448
void add_tails(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5288
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * CpSolverStatus_descriptor()
static const CpModelProto & default_instance()
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:1953
::operations_research::sat::CumulativeConstraintProto * mutable_cumulative()
Definition: cp_model.pb.h:6892
RoutesConstraintProto & operator=(RoutesConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2094
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:3411
Definition: cp_model.pb.h:3883
DecisionStrategyProto_AffineTransformation & operator=(DecisionStrategyProto_AffineTransformation &&from) noexcept
Definition: cp_model.pb.h:3566
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_values()
Definition: cp_model.pb.h:7231
::PROTOBUF_NAMESPACE_ID::int32 capacity() const
Definition: cp_model.pb.h:5077
bool has_int_mod() const
Definition: cp_model.pb.h:6166
void set_num_conflicts(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7685
CircuitCoveringConstraintProto(CircuitCoveringConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2272
static const CircuitConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:1949
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void set_solution_info(const std::string &value)
Definition: cp_model.pb.h:7797
void Swap(LinearConstraintProto *other)
Definition: cp_model.pb.h:867
CircuitCoveringConstraintProto & operator=(const CircuitCoveringConstraintProto &from)
Definition: cp_model.pb.h:2277
void clear_num_booleans()
Definition: cp_model.pb.h:7664
void set_allocated_all_diff(::operations_research::sat::AllDifferentConstraintProto *all_diff)
virtual ~NoOverlap2DConstraintProto()
CpObjectiveProto()
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:289
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_literals()
Definition: cp_model.pb.h:5452
LinearConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:878
const ::operations_research::sat::TableConstraintProto & table() const
Definition: cp_model.pb.h:6599
static void InitAsDefaultInstance()
bool has_objective() const
Definition: cp_model.pb.h:7352
void add_f_direct(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5662
bool CpSolverStatus_IsValid(int value)
friend void swap(NoOverlap2DConstraintProto &a, NoOverlap2DConstraintProto &b)
Definition: cp_model.pb.h:1465
int GetCachedSize() const final
Definition: cp_model.pb.h:3629
const ::operations_research::sat::AllDifferentConstraintProto & all_diff() const
Definition: cp_model.pb.h:6394
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:4125
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
::PROTOBUF_NAMESPACE_ID::int64 positive_coeff() const
Definition: cp_model.pb.h:7070
CpModelProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:4142
ConstraintCase
Definition: cp_model.pb.h:2965
virtual ~CpSolverResponse()
CpSolverResponse & operator=(CpSolverResponse &&from) noexcept
Definition: cp_model.pb.h:4296
Definition: cp_model.pb.h:3665
void clear_best_objective_bound()
Definition: cp_model.pb.h:7546
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_transition_label()
Definition: cp_model.pb.h:5840
void clear_all_solutions_were_found()
Definition: cp_model.pb.h:7650
AllDifferentConstraintProtoDefaultTypeInternal _AllDifferentConstraintProto_default_instance_
void set_transition_tail(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5766
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & vars() const
Definition: cp_model.pb.h:4725
int GetCachedSize() const final
Definition: cp_model.pb.h:3449
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:851
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
const ::operations_research::sat::IntegerArgumentProto & int_div() const
Definition: cp_model.pb.h:6148
BoolArgumentProto(BoolArgumentProto &&from) noexcept
Definition: cp_model.pb.h:406
int GetCachedSize() const final
Definition: cp_model.pb.h:761
::operations_research::sat::BoolArgumentProto * mutable_bool_and()
Definition: cp_model.pb.h:6031
bool IsInitialized() const final
AllDifferentConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:740
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:1179
size_t ByteSizeLong() const final
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & y_intervals() const
Definition: cp_model.pb.h:5059
CpSolverResponse(CpSolverResponse &&from) noexcept
Definition: cp_model.pb.h:4287
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
const ::operations_research::sat::PartialVariableAssignment & solution_hint() const
Definition: cp_model.pb.h:7442
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
void set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4716
size_t ByteSizeLong() const final
int demands_size() const
Definition: cp_model.pb.h:5118
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:3395
friend void swap(NoOverlapConstraintProto &a, NoOverlapConstraintProto &b)
Definition: cp_model.pb.h:1327
static const IntervalConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:1175
int tightened_variables_size() const
Definition: cp_model.pb.h:7620
int GetCachedSize() const final
Definition: cp_model.pb.h:1500
NoOverlap2DConstraintProtoDefaultTypeInternal _NoOverlap2DConstraintProto_default_instance_
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
void clear_circuit_covering()
Definition: cp_model.pb.h:6541
void clear_domain_reduction_strategy()
Definition: cp_model.pb.h:7129
void clear_intervals()
Definition: cp_model.pb.h:5091
static const IntegerVariableProto * internal_default_instance()
Definition: cp_model.pb.h:285
void set_capacity(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5081
void clear_num_binary_propagations()
Definition: cp_model.pb.h:7706
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:2119
bool has_bool_xor() const
Definition: cp_model.pb.h:6084
Definition: cp_model.h:52
void add_vars(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:7191
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & demands() const
Definition: cp_model.pb.h:5229
CpModelProto * New() const final
Definition: cp_model.pb.h:4138
bool IsInitialized() const final
static const InverseConstraintProto & default_instance()
friend void swap(DecisionStrategyProto_AffineTransformation &a, DecisionStrategyProto_AffineTransformation &b)
Definition: cp_model.pb.h:3594
void set_allocated_inverse(::operations_research::sat::InverseConstraintProto *inverse)
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
void set_domain(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7015
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & intervals() const
Definition: cp_model.pb.h:5107
void Swap(CumulativeConstraintProto *other)
Definition: cp_model.pb.h:1620
bool IsInitialized() const final
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_distinguished_nodes()
Definition: cp_model.pb.h:5560
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
IntegerArgumentProto & operator=(IntegerArgumentProto &&from) noexcept
Definition: cp_model.pb.h:553
CpModelProto & operator=(const CpModelProto &from)
Definition: cp_model.pb.h:4096
NoOverlap2DConstraintProto * New() const final
Definition: cp_model.pb.h:1475
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_vars()
Definition: cp_model.pb.h:5594
void add_domain(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:4848
bool IsInitialized() const final
void clear_variables()
Definition: cp_model.pb.h:7295
Definition: cp_model.pb.h:2841
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:568
static const IntegerArgumentProto * internal_default_instance()
Definition: cp_model.pb.h:574
virtual ~BoolArgumentProto()
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:4305
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & tails() const
Definition: cp_model.pb.h:5387
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:723
virtual ~DecisionStrategyProto_AffineTransformation()
static void InitAsDefaultInstance()
void clear_name()
Definition: cp_model.pb.h:4573
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
static const ReservoirConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:1769
ReservoirConstraintProto & operator=(const ReservoirConstraintProto &from)
Definition: cp_model.pb.h:1744
NoOverlap2DConstraintProto()
int GetCachedSize() const final
Definition: cp_model.pb.h:1217
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
static const CumulativeConstraintProto & default_instance()
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_tails()
Definition: cp_model.pb.h:5298
IntegerVariableProto(IntegerVariableProto &&from) noexcept
Definition: cp_model.pb.h:255
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_solution()
Definition: cp_model.pb.h:7526
void clear_solution_lower_bounds()
Definition: cp_model.pb.h:7563
int tails_size() const
Definition: cp_model.pb.h:5274
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
int variables_size() const
Definition: cp_model.pb.h:7292
ReservoirConstraintProtoDefaultTypeInternal _ReservoirConstraintProto_default_instance_
static const AllDifferentConstraintProto & default_instance()
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
::operations_research::sat::NoOverlapConstraintProto * release_no_overlap()
Definition: cp_model.pb.h:6793
Definition: cp_model.pb.h:196
void set_allocated_cumulative(::operations_research::sat::CumulativeConstraintProto *cumulative)
void set_allocated_circuit(::operations_research::sat::CircuitConstraintProto *circuit)
::PROTOBUF_NAMESPACE_ID::int64 offset() const
Definition: cp_model.pb.h:7056
static const PartialVariableAssignment * internal_default_instance()
Definition: cp_model.pb.h:3969
void set_start(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4937
ElementConstraintProto(ElementConstraintProto &&from) noexcept
Definition: cp_model.pb.h:993
void clear_offset()
Definition: cp_model.pb.h:6977
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
void clear_min_level()
Definition: cp_model.pb.h:5152
::operations_research::sat::BoolArgumentProto * release_bool_or()
Definition: cp_model.pb.h:5973
bool CpSolverStatus_Parse(const std::string &name, CpSolverStatus *value)
Definition: cp_model.pb.h:241
bool IsInitialized() const final
void clear_vars()
Definition: cp_model.pb.h:4743
static void InitAsDefaultInstance()
ElementConstraintProto & operator=(const ElementConstraintProto &from)
Definition: cp_model.pb.h:998
ConstraintProtoDefaultTypeInternal _ConstraintProto_default_instance_
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
friend void swap(CpModelProto &a, CpModelProto &b)
Definition: cp_model.pb.h:4128
void set_objective_value(double value)
Definition: cp_model.pb.h:7539
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:3973
void set_nexts(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5516
void clear_vars()
Definition: cp_model.pb.h:5573
void clear_vars()
Definition: cp_model.pb.h:6920
::operations_research::sat::LinearConstraintProto * release_linear()
Definition: cp_model.pb.h:6342
static const RoutesConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:2115
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
::operations_research::sat::CircuitCoveringConstraintProto * release_circuit_covering()
Definition: cp_model.pb.h:6547
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_transition_tail()
Definition: cp_model.pb.h:5780
static const PartialVariableAssignment & default_instance()
static const std::string & DomainReductionStrategy_Name(T enum_t_value)
Definition: cp_model.pb.h:3866
int values_size() const
Definition: cp_model.pb.h:7207
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
int GetCachedSize() const final
Definition: cp_model.pb.h:2344
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void set_values(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5610
CumulativeConstraintProto()
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
const std::string & DecisionStrategyProto_DomainReductionStrategy_Name(T enum_t_value)
Definition: cp_model.pb.h:206
bool has_solution_hint() const
Definition: cp_model.pb.h:7433
CircuitConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:1970
static constexpr DomainReductionStrategy DomainReductionStrategy_MAX
Definition: cp_model.pb.h:3857
void set_target(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4889
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_vars()
Definition: cp_model.pb.h:4920
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_transition_head()
Definition: cp_model.pb.h:5810
int GetCachedSize() const final
Definition: cp_model.pb.h:2496
void set_name(const std::string &value)
Definition: cp_model.pb.h:5887
IntegerArgumentProto & operator=(const IntegerArgumentProto &from)
Definition: cp_model.pb.h:549
CircuitCoveringConstraintProto & operator=(CircuitCoveringConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2281
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:1011
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
int coeffs_size() const
Definition: cp_model.pb.h:4804
CpSolverResponse * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:4338
void add_tails(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5382
::operations_research::sat::RoutesConstraintProto * release_routes()
Definition: cp_model.pb.h:6506
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
void add_variables(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:7099
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & intervals() const
Definition: cp_model.pb.h:4995
void clear_vars()
Definition: cp_model.pb.h:4709
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:2960
void Swap(IntegerVariableProto *other)
Definition: cp_model.pb.h:295
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:1308
int x_intervals_size() const
Definition: cp_model.pb.h:5010
bool has_no_overlap_2d() const
Definition: cp_model.pb.h:6822
size_t ByteSizeLong() const final
static const NoOverlap2DConstraintProto & default_instance()
Definition: cp_model.pb.h:3663
DecisionStrategyProto()
int y_intervals_size() const
Definition: cp_model.pb.h:5040
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:427
size_t ByteSizeLong() const final
void clear_vars()
Definition: cp_model.pb.h:7180
void clear_int_mod()
Definition: cp_model.pb.h:6172
void clear_variable_selection_strategy()
Definition: cp_model.pb.h:7115
TableConstraintProto * New() const final
Definition: cp_model.pb.h:2471
Definition: cp_model.pb.h:1688
void set_values(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7217
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & variables() const
Definition: cp_model.pb.h:7104
::operations_research::sat::LinearConstraintProto * mutable_linear()
Definition: cp_model.pb.h:6359
int vars_size() const
Definition: cp_model.pb.h:4774
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
void set_allocated_circuit_covering(::operations_research::sat::CircuitCoveringConstraintProto *circuit_covering)
ReservoirConstraintProto * New() const final
Definition: cp_model.pb.h:1786
void clear_solution_info()
Definition: cp_model.pb.h:7790
TableConstraintProto(TableConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2424
void clear_name()
Definition: cp_model.pb.h:5880
InverseConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:2634
ElementConstraintProto()
int transformations_size() const
Definition: cp_model.pb.h:7143
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto > * mutable_search_strategy()
Definition: cp_model.pb.h:7414
static const InverseConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:2613
friend void swap(BoolArgumentProto &a, BoolArgumentProto &b)
Definition: cp_model.pb.h:443
constexpr DecisionStrategyProto_DomainReductionStrategy DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MIN
Definition: cp_model.pb.h:200
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_demands()
Definition: cp_model.pb.h:5142
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & values() const
Definition: cp_model.pb.h:5619
void set_allocated_solution_hint(::operations_research::sat::PartialVariableAssignment *solution_hint)
Definition: cp_model.pb.h:7464
size_t ByteSizeLong() const final
::operations_research::sat::TableConstraintProto * mutable_table()
Definition: cp_model.pb.h:6605
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_actives()
Definition: cp_model.pb.h:5264
void clear_coeffs()
Definition: cp_model.pb.h:4807
::operations_research::sat::NoOverlapConstraintProto * mutable_no_overlap()
Definition: cp_model.pb.h:6810
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & vars() const
Definition: cp_model.pb.h:5589
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_domain()
Definition: cp_model.pb.h:4858
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
friend void swap(ConstraintProto &a, ConstraintProto &b)
Definition: cp_model.pb.h:3000
size_t ByteSizeLong() const final
CpModelProto(CpModelProto &&from) noexcept
Definition: cp_model.pb.h:4091
static void InitAsDefaultInstance()
ConstraintProto * New() const final
Definition: cp_model.pb.h:3010
void add_values(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7221
void set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4906
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
Definition: cp_model.pb.h:168
void clear_num_conflicts()
Definition: cp_model.pb.h:7678
IntegerArgumentProto()
const ::operations_research::sat::InverseConstraintProto & inverse() const
Definition: cp_model.pb.h:6681
Definition: cp_model.pb.h:193
CircuitConstraintProto & operator=(CircuitConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1928
static void InitAsDefaultInstance()
static const AutomatonConstraintProto & default_instance()
ConstraintCase constraint_case() const
Definition: cp_model.pb.h:6909
bool has_element() const
Definition: cp_model.pb.h:6412
RoutesConstraintProto(RoutesConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2085
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
int demands_size() const
Definition: cp_model.pb.h:5210
std::string * mutable_solution_info()
Definition: cp_model.pb.h:7820
void set_demands(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5220
Definition: cp_model.pb.h:1848
InverseConstraintProto(InverseConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2583
CpSolverResponse * New() const final
Definition: cp_model.pb.h:4334
static constexpr DomainReductionStrategy SELECT_LOWER_HALF
Definition: cp_model.pb.h:3848
IntegerArgumentProtoDefaultTypeInternal _IntegerArgumentProto_default_instance_
bool IsInitialized() const final
Definition: cp_model.pb.h:4406
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
bool IsInitialized() const final
void clear_table()
Definition: cp_model.pb.h:6582
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:1163
void add_transition_label(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5830
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > * mutable_tightened_variables()
Definition: cp_model.pb.h:7631
DecisionStrategyProtoDefaultTypeInternal _DecisionStrategyProto_default_instance_
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:3963
void add_transition_tail(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5770
friend void swap(ElementConstraintProto &a, ElementConstraintProto &b)
Definition: cp_model.pb.h:1030
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
int GetCachedSize() const final
Definition: cp_model.pb.h:616
virtual ~ElementConstraintProto()
RoutesConstraintProto()
friend void swap(LinearConstraintProto &a, LinearConstraintProto &b)
Definition: cp_model.pb.h:864
double best_objective_bound() const
Definition: cp_model.pb.h:7549
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
bool has_automaton() const
Definition: cp_model.pb.h:6617
int f_direct_size() const
Definition: cp_model.pb.h:5648
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
ConstraintProto()
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
void set_deterministic_time(double value)
Definition: cp_model.pb.h:7769
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:1773
void Swap(RoutesConstraintProto *other)
Definition: cp_model.pb.h:2125
CircuitConstraintProto & operator=(const CircuitConstraintProto &from)
Definition: cp_model.pb.h:1924
static constexpr VariableSelectionStrategy VariableSelectionStrategy_MIN
Definition: cp_model.pb.h:3821
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:562
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
int vars_size() const
Definition: cp_model.pb.h:5846
void add_final_states(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5740
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
void clear_demands()
Definition: cp_model.pb.h:5461
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & times() const
Definition: cp_model.pb.h:5199
void add_solution(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7516
static const NoOverlapConstraintProto & default_instance()
RoutesConstraintProtoDefaultTypeInternal _RoutesConstraintProto_default_instance_
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:3957
static const TableConstraintProto & default_instance()
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & enforcement_literal() const
Definition: cp_model.pb.h:5950
constexpr DecisionStrategyProto_DomainReductionStrategy DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MAX
Definition: cp_model.pb.h:201
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
void clear_f_direct()
Definition: cp_model.pb.h:5651
void add_literals(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5348
void clear_solution_hint()
Definition: cp_model.pb.h:7436
static constexpr int DomainReductionStrategy_ARRAYSIZE
Definition: cp_model.pb.h:3859
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:279
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:1462
::operations_research::sat::IntegerArgumentProto * mutable_int_prod()
Definition: cp_model.pb.h:6318
DecisionStrategyProto_AffineTransformation(DecisionStrategyProto_AffineTransformation &&from) noexcept
Definition: cp_model.pb.h:3557
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & nexts() const
Definition: cp_model.pb.h:5525
constexpr int DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_ARRAYSIZE
Definition: cp_model.pb.h:202
void set_solution_upper_bounds(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7600
size_t ByteSizeLong() const final
void add_times(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5194
AllDifferentConstraintProto()
::operations_research::sat::PartialVariableAssignment * mutable_solution_hint()
Definition: cp_model.pb.h:7455
int variables_size() const
Definition: cp_model.pb.h:7085
::operations_research::sat::IntegerVariableProto * add_variables()
Definition: cp_model.pb.h:7311
Definition: cp_model.pb.h:795
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
int GetCachedSize() const final
Definition: cp_model.pb.h:2655
const std::string & solution_info() const
Definition: cp_model.pb.h:7793
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & solution_upper_bounds() const
Definition: cp_model.pb.h:7609
bool has_routes() const
Definition: cp_model.pb.h:6494
Definition: cp_model.pb.h:4405
void clear_scaling_factor()
Definition: cp_model.pb.h:6991
::operations_research::sat::ElementConstraintProto * mutable_element()
Definition: cp_model.pb.h:6441
static const DecisionStrategyProto * internal_default_instance()
Definition: cp_model.pb.h:3732
void set_transition_label(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5826
InverseConstraintProto & operator=(InverseConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2592
bool has_reservoir() const
Definition: cp_model.pb.h:6699
::PROTOBUF_NAMESPACE_ID::int64 num_integer_propagations() const
Definition: cp_model.pb.h:7723
DecisionStrategyProto_VariableSelectionStrategy
Definition: cp_model.pb.h:163
void clear_nexts()
Definition: cp_model.pb.h:5509
static void InitAsDefaultInstance()
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:1311
CumulativeConstraintProto & operator=(CumulativeConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1589
bool all_solutions_were_found() const
Definition: cp_model.pb.h:7653
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:713
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & vars() const
Definition: cp_model.pb.h:5865
LinearConstraintProto & operator=(LinearConstraintProto &&from) noexcept
Definition: cp_model.pb.h:836
ConstraintProto(ConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2936
std::string * mutable_name()
Definition: cp_model.pb.h:5910
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
Definition: cp_model.pb.h:2844
void set_status(::operations_research::sat::CpSolverStatus value)
Definition: cp_model.pb.h:7495
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
Definition: cp_model.pb.h:2846
NoOverlapConstraintProto & operator=(const NoOverlapConstraintProto &from)
Definition: cp_model.pb.h:1295
bool has_bool_or() const
Definition: cp_model.pb.h:5961
void clear_target()
Definition: cp_model.pb.h:4882
int GetCachedSize() const final
Definition: cp_model.pb.h:3035
Definition: cp_model.pb.h:4394
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:3960
size_t ByteSizeLong() const final
Definition: cp_model.pb.h:2378
Definition: cp_model.pb.h:3882
void set_x_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5020
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:2957
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
void clear_element()
Definition: cp_model.pb.h:6418
::operations_research::sat::AutomatonConstraintProto * mutable_automaton()
Definition: cp_model.pb.h:6646
bool has_circuit() const
Definition: cp_model.pb.h:6453
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void add_literals(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5442
virtual ~AllDifferentConstraintProto()
void clear_variables()
Definition: cp_model.pb.h:7088
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_variables()
Definition: cp_model.pb.h:7109
::operations_research::sat::DecisionStrategyProto_AffineTransformation * add_transformations()
Definition: cp_model.pb.h:7162
BoolArgumentProto * New() const final
Definition: cp_model.pb.h:453
void set_allocated_routes(::operations_research::sat::RoutesConstraintProto *routes)
double user_time() const
Definition: cp_model.pb.h:7751
void set_coeffs(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:4814
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
void set_domain_reduction_strategy(::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy value)
Definition: cp_model.pb.h:7136
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
void set_allocated_int_mod(::operations_research::sat::IntegerArgumentProto *int_mod)
static constexpr VariableSelectionStrategy CHOOSE_FIRST
Definition: cp_model.pb.h:3808
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_coeffs()
Definition: cp_model.pb.h:6971
::operations_research::sat::InverseConstraintProto * release_inverse()
Definition: cp_model.pb.h:6670
static const CumulativeConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:1610
static const CpObjectiveProto & default_instance()
const ::operations_research::sat::IntervalConstraintProto & interval() const
Definition: cp_model.pb.h:6763
void set_f_inverse(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5688
void clear_domain()
Definition: cp_model.pb.h:7008
::operations_research::sat::BoolArgumentProto * release_bool_and()
Definition: cp_model.pb.h:6014
::operations_research::sat::IntegerArgumentProto * release_int_div()
Definition: cp_model.pb.h:6137
static constexpr VariableSelectionStrategy CHOOSE_MIN_DOMAIN_SIZE
Definition: cp_model.pb.h:3814
int nexts_size() const
Definition: cp_model.pb.h:5506
ElementConstraintProto * New() const final
Definition: cp_model.pb.h:1040
::operations_research::sat::IntegerArgumentProto * mutable_int_min()
Definition: cp_model.pb.h:6277
std::string * release_solution_info()
Definition: cp_model.pb.h:7825
DecisionStrategyProto_AffineTransformation * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:3608
TableConstraintProto & operator=(const TableConstraintProto &from)
Definition: cp_model.pb.h:2429
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:276
static const LinearConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:857
void add_enforcement_literal(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5945
int GetCachedSize() const final
Definition: cp_model.pb.h:327
Definition: cp_model.pb.h:197
void set_offset(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7060
void clear_vars()
Definition: cp_model.pb.h:4777
size_t ByteSizeLong() const final
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:1014
::PROTOBUF_NAMESPACE_ID::int64 num_binary_propagations() const
Definition: cp_model.pb.h:7709
PartialVariableAssignment * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:3990
::PROTOBUF_NAMESPACE_ID::int64 capacity() const
Definition: cp_model.pb.h:5491
DecisionStrategyProto & operator=(DecisionStrategyProto &&from) noexcept
Definition: cp_model.pb.h:3711
size_t ByteSizeLong() const final
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:2607
::operations_research::sat::CircuitConstraintProto * mutable_circuit()
Definition: cp_model.pb.h:6482
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_f_inverse()
Definition: cp_model.pb.h:5702
virtual ~NoOverlapConstraintProto()
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
void add_solution_upper_bounds(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7604
void clear_tightened_variables()
Definition: cp_model.pb.h:7623
void Swap(TableConstraintProto *other)
Definition: cp_model.pb.h:2464
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:1017
static const ::PROTOBUF_NAMESPACE_ID::uint32 offsets[]
Definition: cp_model.pb.h:55
::operations_research::sat::DecisionStrategyProto * add_search_strategy()
Definition: cp_model.pb.h:7422
bool IsInitialized() const final
size_t ByteSizeLong() const final
void add_literals(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4672
int search_strategy_size() const
Definition: cp_model.pb.h:7403
CircuitCoveringConstraintProto()
static const CpSolverResponse * internal_default_instance()
Definition: cp_model.pb.h:4317
Definition: cp_model.pb.h:169
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
static const CircuitCoveringConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:2302
void set_num_branches(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7699
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
const std::string & name() const
Definition: cp_model.pb.h:5883
bool has_int_max() const
Definition: cp_model.pb.h:6207
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
void clear_end()
Definition: cp_model.pb.h:4944
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_f_direct()
Definition: cp_model.pb.h:5672
void Swap(AutomatonConstraintProto *other)
Definition: cp_model.pb.h:2775
void set_max_level(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5173
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
void set_domain(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:4634
const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::ConstraintProto > & constraints() const
Definition: cp_model.pb.h:7346
static const CpModelProto * internal_default_instance()
Definition: cp_model.pb.h:4121
int constraints_size() const
Definition: cp_model.pb.h:7322
static const RoutesConstraintProto & default_instance()
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & heads() const
Definition: cp_model.pb.h:5323
int literals_size() const
Definition: cp_model.pb.h:5428
bool IsInitialized() const final
bool IsInitialized() const final
void clear_max_level()
Definition: cp_model.pb.h:5166
void set_min_level(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5159
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & heads() const
Definition: cp_model.pb.h:5417
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
virtual ~IntegerArgumentProto()
void clear_constraints()
Definition: cp_model.pb.h:7325
DecisionStrategyProto_AffineTransformation * New() const final
Definition: cp_model.pb.h:3604
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
static const DecisionStrategyProto & default_instance()
static void InitAsDefaultInstance()
void set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:7187
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
IntervalConstraintProto()
void set_final_states(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5736
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
void clear_capacity()
Definition: cp_model.pb.h:5488
CpObjectiveProto * New() const final
Definition: cp_model.pb.h:3424
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
void Swap(DecisionStrategyProto_AffineTransformation *other)
Definition: cp_model.pb.h:3597
bool IsInitialized() const final
friend void swap(CircuitCoveringConstraintProto &a, CircuitCoveringConstraintProto &b)
Definition: cp_model.pb.h:2309
::operations_research::sat::AllDifferentConstraintProto * release_all_diff()
Definition: cp_model.pb.h:6383
ElementConstraintProtoDefaultTypeInternal _ElementConstraintProto_default_instance_
void add_vars(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4720
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:3726
void clear_transition_head()
Definition: cp_model.pb.h:5789
const ::operations_research::sat::BoolArgumentProto & bool_and() const
Definition: cp_model.pb.h:6025
void set_allocated_table(::operations_research::sat::TableConstraintProto *table)
void set_demands(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5468
static constexpr DomainReductionStrategy SELECT_MIN_VALUE
Definition: cp_model.pb.h:3844
void set_solution_lower_bounds(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7570
int vars_size() const
Definition: cp_model.pb.h:5570
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:1940
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:1324
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:1027
void clear_starting_state()
Definition: cp_model.pb.h:5712
virtual ~TableConstraintProto()
static const ::PROTOBUF_NAMESPACE_ID::internal::FieldMetadata field_metadata[]
Definition: cp_model.pb.h:53
friend void swap(AutomatonConstraintProto &a, AutomatonConstraintProto &b)
Definition: cp_model.pb.h:2772
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
int GetCachedSize() const final
Definition: cp_model.pb.h:4163
Definition: cp_model.pb.h:194
Definition: cp_model.pb.h:3880
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & coeffs() const
Definition: cp_model.pb.h:4823
Definition: cp_model.pb.h:192
::PROTOBUF_NAMESPACE_ID::int64 num_booleans() const
Definition: cp_model.pb.h:7667
static const ConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:2993
void Swap(ElementConstraintProto *other)
Definition: cp_model.pb.h:1033
const ::operations_research::sat::CpObjectiveProto & objective() const
Definition: cp_model.pb.h:7361
DecisionStrategyProto_VariableSelectionStrategy VariableSelectionStrategy
Definition: cp_model.pb.h:3807
void set_size(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4965
void clear_distinguished_nodes()
Definition: cp_model.pb.h:5539
void Swap(CpObjectiveProto *other)
Definition: cp_model.pb.h:3417
::PROTOBUF_NAMESPACE_ID::int32 target() const
Definition: cp_model.pb.h:4885
bool IsInitialized() const final
void set_negated(bool value)
Definition: cp_model.pb.h:5637
void clear_bool_or()
Definition: cp_model.pb.h:5967
void add_vars(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5860
ConstraintProto & operator=(const ConstraintProto &from)
Definition: cp_model.pb.h:2941
InverseConstraintProto * New() const final
Definition: cp_model.pb.h:2630
int intervals_size() const
Definition: cp_model.pb.h:5088
const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation > & transformations() const
Definition: cp_model.pb.h:7167
void set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:6927
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:3578
::operations_research::sat::IntegerArgumentProto * mutable_int_max()
Definition: cp_model.pb.h:6236
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:1760
NoOverlap2DConstraintProto(NoOverlap2DConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1428
::PROTOBUF_NAMESPACE_ID::int64 max_level() const
Definition: cp_model.pb.h:5169
const std::string & name() const
Definition: cp_model.pb.h:4576
PartialVariableAssignment(PartialVariableAssignment &&from) noexcept
Definition: cp_model.pb.h:3939
DecisionStrategyProto & operator=(const DecisionStrategyProto &from)
Definition: cp_model.pb.h:3707
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:2601
void Swap(NoOverlapConstraintProto *other)
Definition: cp_model.pb.h:1330
IntegerVariableProto & operator=(const IntegerVariableProto &from)
Definition: cp_model.pb.h:260
void set_name(const std::string &value)
Definition: cp_model.pb.h:7248
bool IsInitialized() const final
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_heads()
Definition: cp_model.pb.h:5422
int GetCachedSize() const final
Definition: cp_model.pb.h:1065
IntegerVariableProtoDefaultTypeInternal _IntegerVariableProto_default_instance_
size_t ByteSizeLong() const final
BoolArgumentProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:457
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & f_inverse() const
Definition: cp_model.pb.h:5697
virtual ~CpModelProto()
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & solution() const
Definition: cp_model.pb.h:7521
static const TableConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:2454
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:2296
const ::operations_research::sat::IntegerArgumentProto & int_max() const
Definition: cp_model.pb.h:6230
virtual ~InverseConstraintProto()
void clear_solution()
Definition: cp_model.pb.h:7505
Definition: cp_model.pb.h:4398
const std::string & DecisionStrategyProto_VariableSelectionStrategy_Name(T enum_t_value)
Definition: cp_model.pb.h:179
void Swap(BoolArgumentProto *other)
Definition: cp_model.pb.h:446
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & demands() const
Definition: cp_model.pb.h:5477
Definition: cp_model.pb.h:166
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_vars()
Definition: cp_model.pb.h:4798
void add_nexts(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5520
void add_actives(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5254
void set_allocated_bool_and(::operations_research::sat::BoolArgumentProto *bool_and)
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_demands()
Definition: cp_model.pb.h:5234
static void InitAsDefaultInstance()
void set_scaling_factor(double value)
Definition: cp_model.pb.h:6998
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:2306
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_coeffs()
Definition: cp_model.pb.h:4828
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
static void InitAsDefaultInstance()
void clear_user_time()
Definition: cp_model.pb.h:7748
::operations_research::sat::AutomatonConstraintProto * release_automaton()
Definition: cp_model.pb.h:6629
const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto
LinearConstraintProto()
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:2759
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & distinguished_nodes() const
Definition: cp_model.pb.h:5555
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:3736
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
void clear_offset()
Definition: cp_model.pb.h:7053
::operations_research::sat::CumulativeConstraintProto * release_cumulative()
Definition: cp_model.pb.h:6875
size_t ByteSizeLong() const final
static const ElementConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:1023
CpSolverResponse()
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
virtual ~ReservoirConstraintProto()
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void set_allocated_automaton(::operations_research::sat::AutomatonConstraintProto *automaton)
::operations_research::sat::BoolArgumentProto * mutable_at_most_one()
Definition: cp_model.pb.h:6072
void clear_actives()
Definition: cp_model.pb.h:5243
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & transition_tail() const
Definition: cp_model.pb.h:5775
LinearConstraintProto(LinearConstraintProto &&from) noexcept
Definition: cp_model.pb.h:827
int vars_size() const
Definition: cp_model.pb.h:4706
int transition_head_size() const
Definition: cp_model.pb.h:5786
::operations_research::sat::IntegerArgumentProto * release_int_min()
Definition: cp_model.pb.h:6260
ConstraintProto & operator=(ConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2945
void add_values(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5614
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
friend void swap(RoutesConstraintProto &a, RoutesConstraintProto &b)
Definition: cp_model.pb.h:2122
void set_transition_head(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5796
NoOverlapConstraintProto & operator=(NoOverlapConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1299
int distinguished_nodes_size() const
Definition: cp_model.pb.h:5536
void set_coeffs(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:6957
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
size_t ByteSizeLong() const final
::operations_research::sat::IntegerArgumentProto * release_int_mod()
Definition: cp_model.pb.h:6178
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:273
CpModelProtoDefaultTypeInternal _CpModelProto_default_instance_
virtual ~PartialVariableAssignment()
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
static const BoolArgumentProto & default_instance()
int domain_size() const
Definition: cp_model.pb.h:4624
void clear_objective_value()
Definition: cp_model.pb.h:7532
void clear_circuit()
Definition: cp_model.pb.h:6459
void set_variable_selection_strategy(::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy value)
Definition: cp_model.pb.h:7122
bool IsInitialized() const final
void clear_no_overlap()
Definition: cp_model.pb.h:6787
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:4112
int GetCachedSize() const final
Definition: cp_model.pb.h:1991
void set_y_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5050
void set_name(const std::string &value)
Definition: cp_model.pb.h:4580
int GetCachedSize() const final
Definition: cp_model.pb.h:4011
Definition: cp_model.pb.h:165
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
void Swap(NoOverlap2DConstraintProto *other)
Definition: cp_model.pb.h:1468
friend void swap(ReservoirConstraintProto &a, ReservoirConstraintProto &b)
Definition: cp_model.pb.h:1776
constexpr CpSolverStatus CpSolverStatus_MAX
Definition: cp_model.pb.h:229
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
int GetCachedSize() const final
Definition: cp_model.pb.h:3774
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & values() const
Definition: cp_model.pb.h:7226
Definition: cp_model.pb.h:167
ConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:3014
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
double objective_value() const
Definition: cp_model.pb.h:7535
static const DecisionStrategyProto_AffineTransformation & default_instance()
void set_num_integer_propagations(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7727
AutomatonConstraintProtoDefaultTypeInternal _AutomatonConstraintProto_default_instance_
int literals_size() const
Definition: cp_model.pb.h:4658
::operations_research::sat::CircuitConstraintProto * release_circuit()
Definition: cp_model.pb.h:6465
::PROTOBUF_NAMESPACE_ID::int64 starting_state() const
Definition: cp_model.pb.h:5715
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
::PROTOBUF_NAMESPACE_ID::int64 num_conflicts() const
Definition: cp_model.pb.h:7681
virtual ~CircuitConstraintProto()
void clear_reservoir()
Definition: cp_model.pb.h:6705
double scaling_factor() const
Definition: cp_model.pb.h:6994
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
static bool VariableSelectionStrategy_Parse(const std::string &name, VariableSelectionStrategy *value)
Definition: cp_model.pb.h:3838
virtual ~CircuitCoveringConstraintProto()
void set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4750
NoOverlap2DConstraintProto & operator=(NoOverlap2DConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1437
IntegerVariableProto()
int vars_size() const
Definition: cp_model.pb.h:4740
void set_best_objective_bound(double value)
Definition: cp_model.pb.h:7553
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
IntegerArgumentProto * New() const final
Definition: cp_model.pb.h:591
int f_inverse_size() const
Definition: cp_model.pb.h:5678
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
friend void swap(CpSolverResponse &a, CpSolverResponse &b)
Definition: cp_model.pb.h:4324
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
constexpr CpSolverStatus CpSolverStatus_MIN
Definition: cp_model.pb.h:228
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:430
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_values()
Definition: cp_model.pb.h:5624
const std::string & name() const
Definition: cp_model.pb.h:7244
void set_var(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:7046
static const AutomatonConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:2765
void clear_search_strategy()
Definition: cp_model.pb.h:7406
void clear_inverse()
Definition: cp_model.pb.h:6664
void clear_int_max()
Definition: cp_model.pb.h:6213
size_t ByteSizeLong() const final
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:1598
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:3591
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * DomainReductionStrategy_descriptor()
Definition: cp_model.pb.h:3862
void clear_objective()
Definition: cp_model.pb.h:7355
void set_f_direct(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5658
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & actives() const
Definition: cp_model.pb.h:5259
static const ::PROTOBUF_NAMESPACE_ID::internal::SerializationTable serialization_table[]
Definition: cp_model.pb.h:54
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:848
void add_demands(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5132
CpModelProto()
void set_literals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4668
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
static void InitAsDefaultInstance()
AllDifferentConstraintProto & operator=(const AllDifferentConstraintProto &from)
Definition: cp_model.pb.h:694
InverseConstraintProto & operator=(const InverseConstraintProto &from)
Definition: cp_model.pb.h:2588
static const DecisionStrategyProto_AffineTransformation * internal_default_instance()
Definition: cp_model.pb.h:3587
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
const ::operations_research::sat::AutomatonConstraintProto & automaton() const
Definition: cp_model.pb.h:6640
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_solution_upper_bounds()
Definition: cp_model.pb.h:7614
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:2109
size_t ByteSizeLong() const final
CpObjectiveProtoDefaultTypeInternal _CpObjectiveProto_default_instance_
void Swap(DecisionStrategyProto *other)
Definition: cp_model.pb.h:3742
void clear_enforcement_literal()
Definition: cp_model.pb.h:5934
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:1449
void clear_domain()
Definition: cp_model.pb.h:4627
static void InitAsDefaultInstance()
DecisionStrategyProto_DomainReductionStrategy DomainReductionStrategy
Definition: cp_model.pb.h:3843
int domain_size() const
Definition: cp_model.pb.h:7005
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void clear_wall_time()
Definition: cp_model.pb.h:7734
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & vars() const
Definition: cp_model.pb.h:4793
static const BoolArgumentProto * internal_default_instance()
Definition: cp_model.pb.h:436
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:2458
::operations_research::sat::BoolArgumentProto * release_at_most_one()
Definition: cp_model.pb.h:6055
bool IsInitialized() const final
IntervalConstraintProto(IntervalConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1145
static constexpr VariableSelectionStrategy CHOOSE_LOWEST_MIN
Definition: cp_model.pb.h:3810
friend void swap(CircuitConstraintProto &a, CircuitConstraintProto &b)
Definition: cp_model.pb.h:1956
static const AllDifferentConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:719
static const NoOverlapConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:1320
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:4321
Definition: cp_model.pb.h:1396
Definition: cp_model.pb.h:3664
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:2954
int GetCachedSize() const final
Definition: cp_model.pb.h:1652
void set_allocated_solution_info(std::string *solution_info)
Definition: cp_model.pb.h:7830
bool IsInitialized() const final
::operations_research::sat::BoolArgumentProto * mutable_bool_or()
Definition: cp_model.pb.h:5990
int heads_size() const
Definition: cp_model.pb.h:5398
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:3720
bool has_no_overlap() const
Definition: cp_model.pb.h:6781
bool IsInitialized() const final
::operations_research::sat::TableConstraintProto * release_table()
Definition: cp_model.pb.h:6588
void add_intervals(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5102
constexpr DecisionStrategyProto_VariableSelectionStrategy DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MIN
Definition: cp_model.pb.h:173
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_domain()
Definition: cp_model.pb.h:4648
size_t ByteSizeLong() const final
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
TableConstraintProtoDefaultTypeInternal _TableConstraintProto_default_instance_
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation > * mutable_transformations()
Definition: cp_model.pb.h:7154
const ::operations_research::sat::CumulativeConstraintProto & cumulative() const
Definition: cp_model.pb.h:6886
void clear_cumulative()
Definition: cp_model.pb.h:6869
RoutesConstraintProto * New() const final
Definition: cp_model.pb.h:2132
double wall_time() const
Definition: cp_model.pb.h:7737
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
void set_index(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4875
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & domain() const
Definition: cp_model.pb.h:4853
void clear_x_intervals()
Definition: cp_model.pb.h:5013
CpObjectiveProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:3428
void clear_num_branches()
Definition: cp_model.pb.h:7692
::operations_research::sat::IntegerVariableProto * add_tightened_variables()
Definition: cp_model.pb.h:7639
void clear_literals()
Definition: cp_model.pb.h:5337
static constexpr VariableSelectionStrategy VariableSelectionStrategy_MAX
Definition: cp_model.pb.h:3823
constexpr DecisionStrategyProto_VariableSelectionStrategy DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MAX
Definition: cp_model.pb.h:174
::PROTOBUF_NAMESPACE_ID::int32 start() const
Definition: cp_model.pb.h:4933
CircuitCoveringConstraintProto * New() const final
Definition: cp_model.pb.h:2319
::operations_research::sat::IntervalConstraintProto * mutable_interval()
Definition: cp_model.pb.h:6769
virtual ~IntegerVariableProto()
BoolArgumentProtoDefaultTypeInternal _BoolArgumentProto_default_instance_
::operations_research::sat::ReservoirConstraintProto * release_reservoir()
Definition: cp_model.pb.h:6711
void set_allocated_bool_xor(::operations_research::sat::BoolArgumentProto *bool_xor)
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_final_states()
Definition: cp_model.pb.h:5750
const ::operations_research::sat::IntegerArgumentProto & int_prod() const
Definition: cp_model.pb.h:6312
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
DecisionStrategyProto_AffineTransformation AffineTransformation
Definition: cp_model.pb.h:3805
void clear_constraint()
void set_allocated_objective(::operations_research::sat::CpObjectiveProto *objective)
Definition: cp_model.pb.h:7383
DecisionStrategyProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:3753
NoOverlapConstraintProto(NoOverlapConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1290
const ::operations_research::sat::NoOverlapConstraintProto & no_overlap() const
Definition: cp_model.pb.h:6804
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & transition_head() const
Definition: cp_model.pb.h:5805
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & domain() const
Definition: cp_model.pb.h:4643
void add_domain(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7019
IntegerVariableProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:306
void clear_coeffs()
Definition: cp_model.pb.h:6950
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:1446
void add_vars(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4910
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_vars()
Definition: cp_model.pb.h:4730
static const IntegerVariableProto & default_instance()
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:707
DecisionStrategyProto_AffineTransformation & operator=(const DecisionStrategyProto_AffineTransformation &from)
Definition: cp_model.pb.h:3562
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & vars() const
Definition: cp_model.pb.h:7196
void set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5580
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:578
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:1943
static const ConstraintProto & default_instance()
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_demands()
Definition: cp_model.pb.h:5482
const ::operations_research::sat::IntegerArgumentProto & int_min() const
Definition: cp_model.pb.h:6271
constexpr int DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_ARRAYSIZE
Definition: cp_model.pb.h:175
void set_times(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5190
int vars_size() const
Definition: cp_model.pb.h:6917
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & vars() const
Definition: cp_model.pb.h:4759
void set_enforcement_literal(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5941
IntervalConstraintProto & operator=(IntervalConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1154
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:565
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:3401
bool has_int_div() const
Definition: cp_model.pb.h:6125
void add_domain(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:4638
bool has_linear() const
Definition: cp_model.pb.h:6330
IntegerVariableProto & operator=(IntegerVariableProto &&from) noexcept
Definition: cp_model.pb.h:264
Definition: cp_model.pb.h:2379
static const std::string & VariableSelectionStrategy_Name(T enum_t_value)
Definition: cp_model.pb.h:3832
void clear_int_prod()
Definition: cp_model.pb.h:6295
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
static const ::PROTOBUF_NAMESPACE_ID::internal::ParseTableField entries[] PROTOBUF_SECTION_VARIABLE(protodesc_cold)
bool negated() const
Definition: cp_model.pb.h:5633
bool DecisionStrategyProto_VariableSelectionStrategy_IsValid(int value)
::PROTOBUF_NAMESPACE_ID::int64 num_branches() const
Definition: cp_model.pb.h:7695
void add_demands(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5472
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
void set_actives(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5250
friend void swap(IntegerVariableProto &a, IntegerVariableProto &b)
Definition: cp_model.pb.h:292
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
void clear_transition_tail()
Definition: cp_model.pb.h:5759
int demands_size() const
Definition: cp_model.pb.h:5458
void clear_start()
Definition: cp_model.pb.h:4930
void clear_demands()
Definition: cp_model.pb.h:5121
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
int literals_size() const
Definition: cp_model.pb.h:5334
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
DecisionStrategyProto(DecisionStrategyProto &&from) noexcept
Definition: cp_model.pb.h:3702
Definition: cp_model.pb.h:1535
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
static const CircuitCoveringConstraintProto & default_instance()
IntervalConstraintProtoDefaultTypeInternal _IntervalConstraintProto_default_instance_
static void InitAsDefaultInstance()
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
CpObjectiveProto & operator=(CpObjectiveProto &&from) noexcept
Definition: cp_model.pb.h:3386
size_t ByteSizeLong() const final
static const IntegerArgumentProto & default_instance()
void clear_bool_xor()
Definition: cp_model.pb.h:6090
TableConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:2475
void clear_negated()
Definition: cp_model.pb.h:5630
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:2293
void set_literals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5344
void Swap(ReservoirConstraintProto *other)
Definition: cp_model.pb.h:1779
CpSolverResponseDefaultTypeInternal _CpSolverResponse_default_instance_
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
PartialVariableAssignmentDefaultTypeInternal _PartialVariableAssignment_default_instance_
bool IsInitialized() const final
Definition: cp_model.pb.h:4046
static void InitAsDefaultInstance()
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
IntervalConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:1196
void Swap(IntervalConstraintProto *other)
Definition: cp_model.pb.h:1185
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
Definition: cp_model.pb.h:4396
AutomatonConstraintProto & operator=(const AutomatonConstraintProto &from)
Definition: cp_model.pb.h:2740
void set_wall_time(double value)
Definition: cp_model.pb.h:7741
NoOverlapConstraintProto()
int transition_label_size() const
Definition: cp_model.pb.h:5816
void set_num_binary_propagations(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7713
void clear_routes()
Definition: cp_model.pb.h:6500
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
void set_num_booleans(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7671
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > * mutable_variables()
Definition: cp_model.pb.h:7303
friend void swap(IntegerArgumentProto &a, IntegerArgumentProto &b)
Definition: cp_model.pb.h:581
void set_variables(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:7095
const ::operations_research::sat::RoutesConstraintProto & routes() const
Definition: cp_model.pb.h:6517
Definition: cp_model.pb.h:40
::operations_research::sat::NoOverlap2DConstraintProto * mutable_no_overlap_2d()
Definition: cp_model.pb.h:6851
::PROTOBUF_NAMESPACE_ID::int32 end() const
Definition: cp_model.pb.h:4947
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:2103
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & tails() const
Definition: cp_model.pb.h:5293
void set_distinguished_nodes(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5546
Definition: cp_model.pb.h:3069
void set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4784
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_nexts()
Definition: cp_model.pb.h:5530
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:1937
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_y_intervals()
Definition: cp_model.pb.h:5064
CircuitConstraintProto * New() const final
Definition: cp_model.pb.h:1966
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:1601
IntegerArgumentProto(IntegerArgumentProto &&from) noexcept
Definition: cp_model.pb.h:544
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:2753
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
CpObjectiveProto & operator=(const CpObjectiveProto &from)
Definition: cp_model.pb.h:3382
static constexpr DomainReductionStrategy SELECT_UPPER_HALF
Definition: cp_model.pb.h:3850
ReservoirConstraintProto(ReservoirConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1739
void set_capacity(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:5495
virtual ~AutomatonConstraintProto()
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_domain()
Definition: cp_model.pb.h:7029
CumulativeConstraintProto * New() const final
Definition: cp_model.pb.h:1627
Definition: cp_model.pb.h:2690
void clear_literals()
Definition: cp_model.pb.h:4661
int GetCachedSize() const final
Definition: cp_model.pb.h:2157
void clear_no_overlap_2d()
Definition: cp_model.pb.h:6828
ReservoirConstraintProto & operator=(ReservoirConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1748
bool DecisionStrategyProto_DomainReductionStrategy_Parse(const std::string &name, DecisionStrategyProto_DomainReductionStrategy *value)
Definition: cp_model.pb.h:213
DecisionStrategyProto_AffineTransformation()
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
static const NoOverlap2DConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:1458
void add_coeffs(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:6961
CumulativeConstraintProtoDefaultTypeInternal _CumulativeConstraintProto_default_instance_
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & literals() const
Definition: cp_model.pb.h:4677
void Swap(CircuitConstraintProto *other)
Definition: cp_model.pb.h:1959
void add_solution_lower_bounds(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7574
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * DecisionStrategyProto_DomainReductionStrategy_descriptor()
const ::operations_research::sat::BoolArgumentProto & bool_xor() const
Definition: cp_model.pb.h:6107
bool has_at_most_one() const
Definition: cp_model.pb.h:6043
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:1166
void set_user_time(double value)
Definition: cp_model.pb.h:7755
void clear_interval()
Definition: cp_model.pb.h:6746
const ::operations_research::sat::LinearConstraintProto & linear() const
Definition: cp_model.pb.h:6353
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
::PROTOBUF_NAMESPACE_ID::uint8 * InternalSerializeWithCachedSizesToArray(::PROTOBUF_NAMESPACE_ID::uint8 *target) const final
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:1604
TableConstraintProto()
::operations_research::sat::NoOverlap2DConstraintProto * release_no_overlap_2d()
Definition: cp_model.pb.h:6834
::operations_research::sat::IntegerArgumentProto * release_int_max()
Definition: cp_model.pb.h:6219
::operations_research::sat::IntegerArgumentProto * mutable_int_div()
Definition: cp_model.pb.h:6154
::operations_research::sat::CpObjectiveProto * release_objective()
Definition: cp_model.pb.h:7367
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_literals()
Definition: cp_model.pb.h:5358
void clear_deterministic_time()
Definition: cp_model.pb.h:7762
void add_vars(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4788
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & coeffs() const
Definition: cp_model.pb.h:6966
void set_allocated_bool_or(::operations_research::sat::BoolArgumentProto *bool_or)
friend void swap(DecisionStrategyProto &a, DecisionStrategyProto &b)
Definition: cp_model.pb.h:3739
void clear_intervals()
Definition: cp_model.pb.h:4979
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:4115
const ::operations_research::sat::BoolArgumentProto & at_most_one() const
Definition: cp_model.pb.h:6066
void set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5856
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
int GetCachedSize() const final
Definition: cp_model.pb.h:1811
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void add_f_inverse(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5692
void clear_int_div()
Definition: cp_model.pb.h:6131
void Swap(PartialVariableAssignment *other)
Definition: cp_model.pb.h:3979
void clear_times()
Definition: cp_model.pb.h:5183
bool has_inverse() const
Definition: cp_model.pb.h:6658
Definition: cp_model.pb.h:1686
const ::operations_research::sat::ElementConstraintProto & element() const
Definition: cp_model.pb.h:6435
Definition: cp_model.pb.h:195
void clear_at_most_one()
Definition: cp_model.pb.h:6049
Definition: cp_model.pb.h:1534
void set_solution(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7512
bool IsInitialized() const final
static const IntervalConstraintProto & default_instance()
Definition: cp_model.pb.h:3881
void set_positive_coeff(::PROTOBUF_NAMESPACE_ID::int64 value)
Definition: cp_model.pb.h:7074
virtual ~CumulativeConstraintProto()
friend void swap(IntervalConstraintProto &a, IntervalConstraintProto &b)
Definition: cp_model.pb.h:1182
void clear_values()
Definition: cp_model.pb.h:5603
void set_allocated_int_div(::operations_research::sat::IntegerArgumentProto *int_div)
void set_allocated_int_min(::operations_research::sat::IntegerArgumentProto *int_min)
static const CircuitConstraintProto & default_instance()
void clear_vars()
Definition: cp_model.pb.h:5849
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:3575
void clear_var()
Definition: cp_model.pb.h:7039
bool has_table() const
Definition: cp_model.pb.h:6576
CpModelProto & operator=(CpModelProto &&from) noexcept
Definition: cp_model.pb.h:4100
CircuitCoveringConstraintProtoDefaultTypeInternal _CircuitCoveringConstraintProto_default_instance_
Definition: cp_model.pb.h:4401
void clear_vars()
Definition: cp_model.pb.h:4899
IntegerArgumentProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:595
friend void swap(PartialVariableAssignment &a, PartialVariableAssignment &b)
Definition: cp_model.pb.h:3976
void add_heads(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5318
bool IsInitialized() const final
friend void swap(CpObjectiveProto &a, CpObjectiveProto &b)
Definition: cp_model.pb.h:3414
void add_vars(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4754
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & literals() const
Definition: cp_model.pb.h:5353
AutomatonConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:2786
void set_offset(double value)
Definition: cp_model.pb.h:6984
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & literals() const
Definition: cp_model.pb.h:5447
void clear_tails()
Definition: cp_model.pb.h:5277
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:1763
std::string * release_name()
Definition: cp_model.pb.h:5915
void set_heads(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5408
size_t ByteSizeLong() const final
Definition: cp_model.pb.h:2027
void Swap(ConstraintProto *other)
Definition: cp_model.pb.h:3003
AutomatonConstraintProto(AutomatonConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2735
void add_intervals(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:4990
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:440
LinearConstraintProto & operator=(const LinearConstraintProto &from)
Definition: cp_model.pb.h:832
void add_x_intervals(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5024
std::string * mutable_name()
Definition: cp_model.pb.h:7271
CumulativeConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:1631
::operations_research::sat::CpSolverStatus status() const
Definition: cp_model.pb.h:7491
void SerializeWithCachedSizes(::PROTOBUF_NAMESPACE_ID::io::CodedOutputStream *output) const final
size_t ByteSizeLong() const final
int times_size() const
Definition: cp_model.pb.h:5180
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:4308
::PROTOBUF_NAMESPACE_ID::int64 min_level() const
Definition: cp_model.pb.h:5155
InverseConstraintProto()
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_intervals()
Definition: cp_model.pb.h:5000
int GetCachedSize() const final
Definition: cp_model.pb.h:4359
int transition_tail_size() const
Definition: cp_model.pb.h:5756
const ::operations_research::sat::CircuitConstraintProto & circuit() const
Definition: cp_model.pb.h:6476
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:861
void set_allocated_name(std::string *name)
Definition: cp_model.pb.h:7281
double offset() const
Definition: cp_model.pb.h:6980
const ::operations_research::sat::ReservoirConstraintProto & reservoir() const
Definition: cp_model.pb.h:6722
bool DecisionStrategyProto_DomainReductionStrategy_IsValid(int value)
IntervalConstraintProto & operator=(const IntervalConstraintProto &from)
Definition: cp_model.pb.h:1150
static constexpr int kIndexInFileMessages
Definition: cp_model.pb.h:2997
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
::operations_research::sat::BoolArgumentProto * mutable_bool_xor()
Definition: cp_model.pb.h:6113
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & domain() const
Definition: cp_model.pb.h:7024
void clear_capacity()
Definition: cp_model.pb.h:5074
::operations_research::sat::AllDifferentConstraintProto * mutable_all_diff()
Definition: cp_model.pb.h:6400
void set_primal_integral(double value)
Definition: cp_model.pb.h:7783
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:1757
void Swap(CpSolverResponse *other)
Definition: cp_model.pb.h:4327
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:4311
static void InitAsDefaultInstance()
void add_vars(::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5584
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & f_direct() const
Definition: cp_model.pb.h:5667
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_times()
Definition: cp_model.pb.h:5204
static void InitAsDefaultInstance()
friend void swap(InverseConstraintProto &a, InverseConstraintProto &b)
Definition: cp_model.pb.h:2620
::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy domain_reduction_strategy() const
Definition: cp_model.pb.h:7132
::operations_research::sat::InverseConstraintProto * mutable_inverse()
Definition: cp_model.pb.h:6687
bool MergePartialFromCodedStream(::PROTOBUF_NAMESPACE_ID::io::CodedInputStream *input) final
AllDifferentConstraintProto(AllDifferentConstraintProto &&from) noexcept
Definition: cp_model.pb.h:689
size_t ByteSizeLong() const final
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:2106
virtual ~DecisionStrategyProto()
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_vars()
Definition: cp_model.pb.h:4764
Definition: cp_model.pb.h:4409
void set_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5098
CumulativeConstraintProto(CumulativeConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1580
CircuitConstraintProtoDefaultTypeInternal _CircuitConstraintProto_default_instance_
constexpr int CpSolverStatus_ARRAYSIZE
Definition: cp_model.pb.h:230
AllDifferentConstraintProto & operator=(AllDifferentConstraintProto &&from) noexcept
Definition: cp_model.pb.h:698
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * VariableSelectionStrategy_descriptor()
Definition: cp_model.pb.h:3828
void clear_domain()
Definition: cp_model.pb.h:4837
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
bool has_interval() const
Definition: cp_model.pb.h:6740
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:3723
virtual ~ConstraintProto()
void clear_demands()
Definition: cp_model.pb.h:5213
void set_literals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
Definition: cp_model.pb.h:5438
Definition: cp_model.pb.h:2843
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
::operations_research::sat::ConstraintProto * add_constraints()
Definition: cp_model.pb.h:7341
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:4109
void clear_primal_integral()
Definition: cp_model.pb.h:7776
NoOverlapConstraintProtoDefaultTypeInternal _NoOverlapConstraintProto_default_instance_
bool IsInitialized() const final
friend void swap(TableConstraintProto &a, TableConstraintProto &b)
Definition: cp_model.pb.h:2461