C++ Reference
C++ Reference: CP-SAT
cp_model.pb.h
Go to the documentation of this file.
39 PROTOBUF_NAMESPACE_OPEN
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_;
122 extern NoOverlap2DConstraintProtoDefaultTypeInternal _NoOverlap2DConstraintProto_default_instance_;
128 extern PartialVariableAssignmentDefaultTypeInternal _PartialVariableAssignment_default_instance_;
141 template<> ::operations_research::sat::AllDifferentConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::AllDifferentConstraintProto>(Arena*);
142 template<> ::operations_research::sat::AutomatonConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::AutomatonConstraintProto>(Arena*);
143 template<> ::operations_research::sat::BoolArgumentProto* Arena::CreateMaybeMessage<::operations_research::sat::BoolArgumentProto>(Arena*);
144 template<> ::operations_research::sat::CircuitConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::CircuitConstraintProto>(Arena*);
145 template<> ::operations_research::sat::CircuitCoveringConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::CircuitCoveringConstraintProto>(Arena*);
146 template<> ::operations_research::sat::ConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::ConstraintProto>(Arena*);
147 template<> ::operations_research::sat::CpModelProto* Arena::CreateMaybeMessage<::operations_research::sat::CpModelProto>(Arena*);
148 template<> ::operations_research::sat::CpObjectiveProto* Arena::CreateMaybeMessage<::operations_research::sat::CpObjectiveProto>(Arena*);
149 template<> ::operations_research::sat::CpSolverResponse* Arena::CreateMaybeMessage<::operations_research::sat::CpSolverResponse>(Arena*);
150 template<> ::operations_research::sat::CumulativeConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::CumulativeConstraintProto>(Arena*);
151 template<> ::operations_research::sat::DecisionStrategyProto* Arena::CreateMaybeMessage<::operations_research::sat::DecisionStrategyProto>(Arena*);
152 template<> ::operations_research::sat::DecisionStrategyProto_AffineTransformation* Arena::CreateMaybeMessage<::operations_research::sat::DecisionStrategyProto_AffineTransformation>(Arena*);
153 template<> ::operations_research::sat::ElementConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::ElementConstraintProto>(Arena*);
154 template<> ::operations_research::sat::IntegerArgumentProto* Arena::CreateMaybeMessage<::operations_research::sat::IntegerArgumentProto>(Arena*);
155 template<> ::operations_research::sat::IntegerVariableProto* Arena::CreateMaybeMessage<::operations_research::sat::IntegerVariableProto>(Arena*);
156 template<> ::operations_research::sat::IntervalConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::IntervalConstraintProto>(Arena*);
157 template<> ::operations_research::sat::InverseConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::InverseConstraintProto>(Arena*);
158 template<> ::operations_research::sat::LinearArgumentProto* Arena::CreateMaybeMessage<::operations_research::sat::LinearArgumentProto>(Arena*);
159 template<> ::operations_research::sat::LinearConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::LinearConstraintProto>(Arena*);
160 template<> ::operations_research::sat::LinearExpressionProto* Arena::CreateMaybeMessage<::operations_research::sat::LinearExpressionProto>(Arena*);
161 template<> ::operations_research::sat::NoOverlap2DConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::NoOverlap2DConstraintProto>(Arena*);
162 template<> ::operations_research::sat::NoOverlapConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::NoOverlapConstraintProto>(Arena*);
163 template<> ::operations_research::sat::PartialVariableAssignment* Arena::CreateMaybeMessage<::operations_research::sat::PartialVariableAssignment>(Arena*);
164 template<> ::operations_research::sat::ReservoirConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::ReservoirConstraintProto>(Arena*);
165 template<> ::operations_research::sat::RoutesConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::RoutesConstraintProto>(Arena*);
166 template<> ::operations_research::sat::TableConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::TableConstraintProto>(Arena*);
177 DecisionStrategyProto_VariableSelectionStrategy_DecisionStrategyProto_VariableSelectionStrategy_INT_MIN_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::min(),
178 DecisionStrategyProto_VariableSelectionStrategy_DecisionStrategyProto_VariableSelectionStrategy_INT_MAX_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::max()
179 };
181 constexpr DecisionStrategyProto_VariableSelectionStrategy DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MIN = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_FIRST;
182 constexpr DecisionStrategyProto_VariableSelectionStrategy DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MAX = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_MAX_DOMAIN_SIZE;
183 constexpr int DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_ARRAYSIZE = DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MAX + 1;
185 const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* DecisionStrategyProto_VariableSelectionStrategy_descriptor();
187 inline const std::string& DecisionStrategyProto_VariableSelectionStrategy_Name(T enum_t_value) {
196 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<DecisionStrategyProto_VariableSelectionStrategy>(
205 DecisionStrategyProto_DomainReductionStrategy_DecisionStrategyProto_DomainReductionStrategy_INT_MIN_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::min(),
206 DecisionStrategyProto_DomainReductionStrategy_DecisionStrategyProto_DomainReductionStrategy_INT_MAX_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::max()
207 };
209 constexpr DecisionStrategyProto_DomainReductionStrategy DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MIN = DecisionStrategyProto_DomainReductionStrategy_SELECT_MIN_VALUE;
210 constexpr DecisionStrategyProto_DomainReductionStrategy DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MAX = DecisionStrategyProto_DomainReductionStrategy_SELECT_MEDIAN_VALUE;
211 constexpr int DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_ARRAYSIZE = DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MAX + 1;
213 const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* DecisionStrategyProto_DomainReductionStrategy_descriptor();
224 return ::PROTOBUF_NAMESPACE_ID::internal::ParseNamedEnum<DecisionStrategyProto_DomainReductionStrategy>(
233 CpSolverStatus_INT_MIN_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::min(),
234 CpSolverStatus_INT_MAX_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::max()
235 };
258 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.IntegerVariableProto) */ {
335 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
336 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
337 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
359 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
360 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
370 kDomainFieldNumber = 2,
436 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.BoolArgumentProto) */ {
513 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
514 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
515 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
537 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
538 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
587 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.IntegerArgumentProto) */ {
664 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
665 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
666 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
688 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
689 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
699 kVarsFieldNumber = 2,
700 kTargetFieldNumber = 1,
749 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.LinearExpressionProto) */ {
826 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
827 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
828 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
850 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
851 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
862 kCoeffsFieldNumber = 2,
936 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.LinearArgumentProto) */ {
1013 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
1014 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
1015 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
1037 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
1038 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
1048 kExprsFieldNumber = 2,
1058 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearExpressionProto >*
1066 const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearExpressionProto >&
1094 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearExpressionProto > exprs_;
1102 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.AllDifferentConstraintProto) */ {
1179 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
1180 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
1181 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
1203 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
1204 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
1253 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.LinearConstraintProto) */ {
1330 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
1331 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
1332 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
1354 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
1355 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
1454 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.ElementConstraintProto) */ {
1531 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
1532 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
1533 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
1555 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
1556 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
1567 kIndexFieldNumber = 1,
1627 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.IntervalConstraintProto) */ {
1704 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
1705 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
1706 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
1728 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
1729 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
1739 kStartFieldNumber = 1,
1740 kEndFieldNumber = 2,
1741 kSizeFieldNumber = 3,
1786 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.NoOverlapConstraintProto) */ {
1863 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
1864 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
1865 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
1887 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
1888 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
1898 kIntervalsFieldNumber = 1,
1937 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.NoOverlap2DConstraintProto) */ {
2014 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
2015 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
2016 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
2038 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
2039 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
2049 kXIntervalsFieldNumber = 1,
2050 kYIntervalsFieldNumber = 2,
2051 kBoxesWithNullAreaCanOverlapFieldNumber = 3,
2124 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.CumulativeConstraintProto) */ {
2201 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
2202 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
2203 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
2225 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
2226 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
2237 kDemandsFieldNumber = 3,
2238 kCapacityFieldNumber = 1,
2311 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.ReservoirConstraintProto) */ {
2388 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
2389 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
2390 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
2412 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
2413 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
2423 kTimesFieldNumber = 3,
2425 kActivesFieldNumber = 5,
2426 kMinLevelFieldNumber = 1,
2427 kMaxLevelFieldNumber = 2,
2534 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.CircuitConstraintProto) */ {
2611 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
2612 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
2613 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
2635 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
2636 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
2646 kTailsFieldNumber = 3,
2647 kHeadsFieldNumber = 4,
2735 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.RoutesConstraintProto) */ {
2812 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
2813 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
2814 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
2836 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
2837 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
2972 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.CircuitCoveringConstraintProto) */ {
2987 inline CircuitCoveringConstraintProto& operator=(CircuitCoveringConstraintProto&& from) noexcept {
3049 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
3050 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
3051 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
3073 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
3074 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
3084 kNextsFieldNumber = 1,
3085 kDistinguishedNodesFieldNumber = 2,
3131 // @@protoc_insertion_point(class_scope:operations_research.sat.CircuitCoveringConstraintProto)
3148 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.TableConstraintProto) */ {
3225 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
3226 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
3227 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
3249 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
3250 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
3261 kValuesFieldNumber = 2,
3262 kNegatedFieldNumber = 3,
3335 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.InverseConstraintProto) */ {
3412 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
3413 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
3414 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
3436 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
3437 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
3447 kFDirectFieldNumber = 1,
3448 kFInverseFieldNumber = 2,
3511 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.AutomatonConstraintProto) */ {
3588 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
3589 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
3590 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
3612 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
3613 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
3623 kFinalStatesFieldNumber = 3,
3624 kTransitionTailFieldNumber = 4,
3625 kTransitionHeadFieldNumber = 5,
3626 kTransitionLabelFieldNumber = 6,
3628 kStartingStateFieldNumber = 2,
3773 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.ConstraintProto) */ {
3809 kBoolOr = 3,
3810 kBoolAnd = 4,
3811 kAtMostOne = 26,
3812 kBoolXor = 5,
3813 kIntDiv = 7,
3814 kIntMod = 8,
3815 kIntMax = 9,
3816 kLinMax = 27,
3817 kIntMin = 10,
3818 kLinMin = 28,
3819 kIntProd = 11,
3820 kLinear = 12,
3821 kAllDiff = 13,
3822 kElement = 14,
3823 kCircuit = 15,
3824 kRoutes = 23,
3825 kCircuitCovering = 25,
3826 kTable = 16,
3827 kAutomaton = 17,
3828 kInverse = 18,
3829 kReservoir = 24,
3830 kInterval = 19,
3831 kNoOverlap = 20,
3832 kNoOverlap2D = 21,
3833 kCumulative = 22,
3834 CONSTRAINT_NOT_SET = 0,
3879 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
3880 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
3881 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
3903 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
3904 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
3914 kEnforcementLiteralFieldNumber = 2,
3916 kBoolOrFieldNumber = 3,
3917 kBoolAndFieldNumber = 4,
3918 kAtMostOneFieldNumber = 26,
3919 kBoolXorFieldNumber = 5,
3920 kIntDivFieldNumber = 7,
3921 kIntModFieldNumber = 8,
3922 kIntMaxFieldNumber = 9,
3923 kLinMaxFieldNumber = 27,
3924 kIntMinFieldNumber = 10,
3925 kLinMinFieldNumber = 28,
3926 kIntProdFieldNumber = 11,
3927 kLinearFieldNumber = 12,
3928 kAllDiffFieldNumber = 13,
3929 kElementFieldNumber = 14,
3930 kCircuitFieldNumber = 15,
3931 kRoutesFieldNumber = 23,
3932 kCircuitCoveringFieldNumber = 25,
3933 kTableFieldNumber = 16,
3934 kAutomatonFieldNumber = 17,
3935 kInverseFieldNumber = 18,
3936 kReservoirFieldNumber = 24,
3937 kIntervalFieldNumber = 19,
3938 kNoOverlapFieldNumber = 20,
3939 kNoOverlap2DFieldNumber = 21,
3940 kCumulativeFieldNumber = 22,
4214 void set_allocated_all_diff(::operations_research::sat::AllDifferentConstraintProto* all_diff);
4286 void set_allocated_circuit_covering(::operations_research::sat::CircuitCoveringConstraintProto* circuit_covering);
4288 const ::operations_research::sat::CircuitCoveringConstraintProto& _internal_circuit_covering() const;
4289 ::operations_research::sat::CircuitCoveringConstraintProto* _internal_mutable_circuit_covering();
4293 ::operations_research::sat::CircuitCoveringConstraintProto* unsafe_arena_release_circuit_covering();
4394 void set_allocated_no_overlap(::operations_research::sat::NoOverlapConstraintProto* no_overlap);
4412 void set_allocated_no_overlap_2d(::operations_research::sat::NoOverlap2DConstraintProto* no_overlap_2d);
4430 void set_allocated_cumulative(::operations_research::sat::CumulativeConstraintProto* cumulative);
4515 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.CpObjectiveProto) */ {
4592 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
4593 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
4594 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
4616 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
4617 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
4738 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.DecisionStrategyProto.AffineTransformation) */ {
4740 inline DecisionStrategyProto_AffineTransformation() : DecisionStrategyProto_AffineTransformation(nullptr) {};
4743 DecisionStrategyProto_AffineTransformation(const DecisionStrategyProto_AffineTransformation& from);
4744 DecisionStrategyProto_AffineTransformation(DecisionStrategyProto_AffineTransformation&& from) noexcept
4749 inline DecisionStrategyProto_AffineTransformation& operator=(const DecisionStrategyProto_AffineTransformation& from) {
4753 inline DecisionStrategyProto_AffineTransformation& operator=(DecisionStrategyProto_AffineTransformation&& from) noexcept {
4781 friend void swap(DecisionStrategyProto_AffineTransformation& a, DecisionStrategyProto_AffineTransformation& b) {
4804 DecisionStrategyProto_AffineTransformation* New(::PROTOBUF_NAMESPACE_ID::Arena* arena) const final {
4815 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
4816 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
4817 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
4839 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
4840 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
4851 kPositiveCoeffFieldNumber = 3,
4852 kVarFieldNumber = 1,
4881 // @@protoc_insertion_point(class_scope:operations_research.sat.DecisionStrategyProto.AffineTransformation)
4897 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.DecisionStrategyProto) */ {
4974 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
4975 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
4976 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
4998 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
4999 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
5083 kVariablesFieldNumber = 1,
5084 kTransformationsFieldNumber = 4,
5085 kVariableSelectionStrategyFieldNumber = 2,
5086 kDomainReductionStrategyFieldNumber = 3,
5110 // repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4;
5116 ::operations_research::sat::DecisionStrategyProto_AffineTransformation* mutable_transformations(int index);
5117 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation >*
5120 const ::operations_research::sat::DecisionStrategyProto_AffineTransformation& _internal_transformations(int index) const;
5121 ::operations_research::sat::DecisionStrategyProto_AffineTransformation* _internal_add_transformations();
5123 const ::operations_research::sat::DecisionStrategyProto_AffineTransformation& transformations(int index) const;
5125 const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation >&
5128 // .operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
5130 ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy variable_selection_strategy() const;
5131 void set_variable_selection_strategy(::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy value);
5133 ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy _internal_variable_selection_strategy() const;
5134 void _internal_set_variable_selection_strategy(::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy value);
5137 // .operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
5139 ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy domain_reduction_strategy() const;
5140 void set_domain_reduction_strategy(::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy value);
5142 ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy _internal_domain_reduction_strategy() const;
5143 void _internal_set_domain_reduction_strategy(::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy value);
5155 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation > transformations_;
5164 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.PartialVariableAssignment) */ {
5241 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
5242 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
5243 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
5265 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
5266 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
5340 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.CpModelProto) */ {
5417 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
5418 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
5419 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
5441 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
5442 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
5454 kSearchStrategyFieldNumber = 5,
5455 kAssumptionsFieldNumber = 7,
5458 kSolutionHintFieldNumber = 6,
5475 const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto >&
5493 const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::ConstraintProto >&
5503 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto >*
5506 const ::operations_research::sat::DecisionStrategyProto& _internal_search_strategy(int index) const;
5511 const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto >&
5588 void set_allocated_solution_hint(::operations_research::sat::PartialVariableAssignment* solution_hint);
5604 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > variables_;
5605 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::ConstraintProto > constraints_;
5606 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto > search_strategy_;
5618 public ::PROTOBUF_NAMESPACE_ID::Message /* @@protoc_insertion_point(class_definition:operations_research.sat.CpSolverResponse) */ {
5695 const char* _InternalParse(const char* ptr, ::PROTOBUF_NAMESPACE_ID::internal::ParseContext* ctx) final;
5696 ::PROTOBUF_NAMESPACE_ID::uint8* _InternalSerialize(
5697 ::PROTOBUF_NAMESPACE_ID::uint8* target, ::PROTOBUF_NAMESPACE_ID::io::EpsCopyOutputStream* stream) const final;
5719 ::PROTOBUF_NAMESPACE_ID::internal::AssignDescriptors(&::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto);
5720 return ::descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto.file_level_metadata[kIndexInFileMessages];
5730 kSolutionFieldNumber = 2,
5731 kSolutionLowerBoundsFieldNumber = 18,
5732 kSolutionUpperBoundsFieldNumber = 19,
5733 kTightenedVariablesFieldNumber = 21,
5734 kSufficientAssumptionsForInfeasibilityFieldNumber = 23,
5735 kSolutionInfoFieldNumber = 20,
5736 kObjectiveValueFieldNumber = 3,
5737 kStatusFieldNumber = 1,
5738 kAllSolutionsWereFoundFieldNumber = 5,
5739 kBestObjectiveBoundFieldNumber = 4,
5740 kNumBooleansFieldNumber = 10,
5741 kNumConflictsFieldNumber = 11,
5742 kNumBranchesFieldNumber = 12,
5743 kNumBinaryPropagationsFieldNumber = 13,
5744 kNumIntegerPropagationsFieldNumber = 14,
5745 kWallTimeFieldNumber = 15,
5746 kUserTimeFieldNumber = 16,
5747 kDeterministicTimeFieldNumber = 17,
5748 kPrimalIntegralFieldNumber = 22,
5826 const ::operations_research::sat::IntegerVariableProto& _internal_tightened_variables(int index) const;
5831 const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto >&
5841 ::PROTOBUF_NAMESPACE_ID::int32 _internal_sufficient_assumptions_for_infeasibility(int index) const;
5844 void _internal_add_sufficient_assumptions_for_infeasibility(::PROTOBUF_NAMESPACE_ID::int32 value);
5849 void set_sufficient_assumptions_for_infeasibility(int index, ::PROTOBUF_NAMESPACE_ID::int32 value);
5919 ::PROTOBUF_NAMESPACE_ID::int64 num_booleans() const;
5928 ::PROTOBUF_NAMESPACE_ID::int64 num_conflicts() const;
5937 ::PROTOBUF_NAMESPACE_ID::int64 num_branches() const;
5946 ::PROTOBUF_NAMESPACE_ID::int64 num_binary_propagations() const;
5955 ::PROTOBUF_NAMESPACE_ID::int64 num_integer_propagations() const;
6007 ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > solution_lower_bounds_;
6009 ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > solution_upper_bounds_;
6011 ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > tightened_variables_;
6012 ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > sufficient_assumptions_for_infeasibility_;
6044 name_.ClearToEmpty(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
6063 name_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), value, GetArena());
6068 &::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::move(value), GetArena());
6069 // @@protoc_insertion_point(field_set_rvalue:operations_research.sat.IntegerVariableProto.name)
6074 name_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::string(value),
6083 // @@protoc_insertion_point(field_set_pointer:operations_research.sat.IntegerVariableProto.name)
6087 return name_.Mutable(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
6091 return name_.Release(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
6101 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.IntegerVariableProto.name)
6104 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.IntegerVariableProto.name)
6107 return name_.UnsafeArenaRelease(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
6118 name_.UnsafeArenaSetAllocated(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
6120 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.IntegerVariableProto.name)
6133 inline ::PROTOBUF_NAMESPACE_ID::int64 IntegerVariableProto::_internal_domain(int index) const {
6140 inline void IntegerVariableProto::set_domain(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
6166 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.IntegerVariableProto.domain)
6217 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.BoolArgumentProto.literals)
6288 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.IntegerArgumentProto.vars)
6339 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearExpressionProto.vars)
6353 inline ::PROTOBUF_NAMESPACE_ID::int32 LinearExpressionProto::_internal_coeffs(int index) const {
6360 inline void LinearExpressionProto::set_coeffs(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
6364 inline void LinearExpressionProto::_internal_add_coeffs(::PROTOBUF_NAMESPACE_ID::int32 value) {
6386 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearExpressionProto.coeffs)
6401 inline void LinearExpressionProto::_internal_set_offset(::PROTOBUF_NAMESPACE_ID::int64 value) {
6427 inline const ::operations_research::sat::LinearExpressionProto& LinearArgumentProto::_internal_target() const {
6429 return p != nullptr ? *p : *reinterpret_cast<const ::operations_research::sat::LinearExpressionProto*>(
6432 inline const ::operations_research::sat::LinearExpressionProto& LinearArgumentProto::target() const {
6447 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.LinearArgumentProto.target)
6449 inline ::operations_research::sat::LinearExpressionProto* LinearArgumentProto::release_target() {
6456 inline ::operations_research::sat::LinearExpressionProto* LinearArgumentProto::unsafe_arena_release_target() {
6463 inline ::operations_research::sat::LinearExpressionProto* LinearArgumentProto::_internal_mutable_target() {
6471 inline ::operations_research::sat::LinearExpressionProto* LinearArgumentProto::mutable_target() {
6475 inline void LinearArgumentProto::set_allocated_target(::operations_research::sat::LinearExpressionProto* target) {
6492 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.LinearArgumentProto.target)
6505 inline ::operations_research::sat::LinearExpressionProto* LinearArgumentProto::mutable_exprs(int index) {
6509 inline ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearExpressionProto >*
6511 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearArgumentProto.exprs)
6514 inline const ::operations_research::sat::LinearExpressionProto& LinearArgumentProto::_internal_exprs(int index) const {
6517 inline const ::operations_research::sat::LinearExpressionProto& LinearArgumentProto::exprs(int index) const {
6521 inline ::operations_research::sat::LinearExpressionProto* LinearArgumentProto::_internal_add_exprs() {
6528 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearExpressionProto >&
6548 inline ::PROTOBUF_NAMESPACE_ID::int32 AllDifferentConstraintProto::_internal_vars(int index) const {
6552 // @@protoc_insertion_point(field_get:operations_research.sat.AllDifferentConstraintProto.vars)
6555 inline void AllDifferentConstraintProto::set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
6557 // @@protoc_insertion_point(field_set:operations_research.sat.AllDifferentConstraintProto.vars)
6559 inline void AllDifferentConstraintProto::_internal_add_vars(::PROTOBUF_NAMESPACE_ID::int32 value) {
6564 // @@protoc_insertion_point(field_add:operations_research.sat.AllDifferentConstraintProto.vars)
6572 // @@protoc_insertion_point(field_list:operations_research.sat.AllDifferentConstraintProto.vars)
6581 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.AllDifferentConstraintProto.vars)
6632 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearConstraintProto.vars)
6646 inline ::PROTOBUF_NAMESPACE_ID::int64 LinearConstraintProto::_internal_coeffs(int index) const {
6653 inline void LinearConstraintProto::set_coeffs(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
6657 inline void LinearConstraintProto::_internal_add_coeffs(::PROTOBUF_NAMESPACE_ID::int64 value) {
6679 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearConstraintProto.coeffs)
6693 inline ::PROTOBUF_NAMESPACE_ID::int64 LinearConstraintProto::_internal_domain(int index) const {
6700 inline void LinearConstraintProto::set_domain(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
6704 inline void LinearConstraintProto::_internal_add_domain(::PROTOBUF_NAMESPACE_ID::int64 value) {
6726 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearConstraintProto.domain)
6745 inline void ElementConstraintProto::_internal_set_index(::PROTOBUF_NAMESPACE_ID::int32 value) {
6765 inline void ElementConstraintProto::_internal_set_target(::PROTOBUF_NAMESPACE_ID::int32 value) {
6784 inline ::PROTOBUF_NAMESPACE_ID::int32 ElementConstraintProto::_internal_vars(int index) const {
6791 inline void ElementConstraintProto::set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
6817 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.ElementConstraintProto.vars)
6836 inline void IntervalConstraintProto::_internal_set_start(::PROTOBUF_NAMESPACE_ID::int32 value) {
6876 inline void IntervalConstraintProto::_internal_set_size(::PROTOBUF_NAMESPACE_ID::int32 value) {
6899 inline ::PROTOBUF_NAMESPACE_ID::int32 NoOverlapConstraintProto::_internal_intervals(int index) const {
6903 // @@protoc_insertion_point(field_get:operations_research.sat.NoOverlapConstraintProto.intervals)
6906 inline void NoOverlapConstraintProto::set_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
6908 // @@protoc_insertion_point(field_set:operations_research.sat.NoOverlapConstraintProto.intervals)
6910 inline void NoOverlapConstraintProto::_internal_add_intervals(::PROTOBUF_NAMESPACE_ID::int32 value) {
6915 // @@protoc_insertion_point(field_add:operations_research.sat.NoOverlapConstraintProto.intervals)
6923 // @@protoc_insertion_point(field_list:operations_research.sat.NoOverlapConstraintProto.intervals)
6932 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.NoOverlapConstraintProto.intervals)
6950 inline ::PROTOBUF_NAMESPACE_ID::int32 NoOverlap2DConstraintProto::_internal_x_intervals(int index) const {
6953 inline ::PROTOBUF_NAMESPACE_ID::int32 NoOverlap2DConstraintProto::x_intervals(int index) const {
6954 // @@protoc_insertion_point(field_get:operations_research.sat.NoOverlap2DConstraintProto.x_intervals)
6957 inline void NoOverlap2DConstraintProto::set_x_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
6959 // @@protoc_insertion_point(field_set:operations_research.sat.NoOverlap2DConstraintProto.x_intervals)
6961 inline void NoOverlap2DConstraintProto::_internal_add_x_intervals(::PROTOBUF_NAMESPACE_ID::int32 value) {
6964 inline void NoOverlap2DConstraintProto::add_x_intervals(::PROTOBUF_NAMESPACE_ID::int32 value) {
6966 // @@protoc_insertion_point(field_add:operations_research.sat.NoOverlap2DConstraintProto.x_intervals)
6974 // @@protoc_insertion_point(field_list:operations_research.sat.NoOverlap2DConstraintProto.x_intervals)
6983 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.NoOverlap2DConstraintProto.x_intervals)
6997 inline ::PROTOBUF_NAMESPACE_ID::int32 NoOverlap2DConstraintProto::_internal_y_intervals(int index) const {
7000 inline ::PROTOBUF_NAMESPACE_ID::int32 NoOverlap2DConstraintProto::y_intervals(int index) const {
7001 // @@protoc_insertion_point(field_get:operations_research.sat.NoOverlap2DConstraintProto.y_intervals)
7004 inline void NoOverlap2DConstraintProto::set_y_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7006 // @@protoc_insertion_point(field_set:operations_research.sat.NoOverlap2DConstraintProto.y_intervals)
7008 inline void NoOverlap2DConstraintProto::_internal_add_y_intervals(::PROTOBUF_NAMESPACE_ID::int32 value) {
7011 inline void NoOverlap2DConstraintProto::add_y_intervals(::PROTOBUF_NAMESPACE_ID::int32 value) {
7013 // @@protoc_insertion_point(field_add:operations_research.sat.NoOverlap2DConstraintProto.y_intervals)
7021 // @@protoc_insertion_point(field_list:operations_research.sat.NoOverlap2DConstraintProto.y_intervals)
7030 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.NoOverlap2DConstraintProto.y_intervals)
7042 // @@protoc_insertion_point(field_get:operations_research.sat.NoOverlap2DConstraintProto.boxes_with_null_area_can_overlap)
7045 inline void NoOverlap2DConstraintProto::_internal_set_boxes_with_null_area_can_overlap(bool value) {
7051 // @@protoc_insertion_point(field_set:operations_research.sat.NoOverlap2DConstraintProto.boxes_with_null_area_can_overlap)
7066 // @@protoc_insertion_point(field_get:operations_research.sat.CumulativeConstraintProto.capacity)
7069 inline void CumulativeConstraintProto::_internal_set_capacity(::PROTOBUF_NAMESPACE_ID::int32 value) {
7075 // @@protoc_insertion_point(field_set:operations_research.sat.CumulativeConstraintProto.capacity)
7088 inline ::PROTOBUF_NAMESPACE_ID::int32 CumulativeConstraintProto::_internal_intervals(int index) const {
7092 // @@protoc_insertion_point(field_get:operations_research.sat.CumulativeConstraintProto.intervals)
7095 inline void CumulativeConstraintProto::set_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7097 // @@protoc_insertion_point(field_set:operations_research.sat.CumulativeConstraintProto.intervals)
7099 inline void CumulativeConstraintProto::_internal_add_intervals(::PROTOBUF_NAMESPACE_ID::int32 value) {
7104 // @@protoc_insertion_point(field_add:operations_research.sat.CumulativeConstraintProto.intervals)
7112 // @@protoc_insertion_point(field_list:operations_research.sat.CumulativeConstraintProto.intervals)
7121 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CumulativeConstraintProto.intervals)
7135 inline ::PROTOBUF_NAMESPACE_ID::int32 CumulativeConstraintProto::_internal_demands(int index) const {
7139 // @@protoc_insertion_point(field_get:operations_research.sat.CumulativeConstraintProto.demands)
7142 inline void CumulativeConstraintProto::set_demands(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7144 // @@protoc_insertion_point(field_set:operations_research.sat.CumulativeConstraintProto.demands)
7146 inline void CumulativeConstraintProto::_internal_add_demands(::PROTOBUF_NAMESPACE_ID::int32 value) {
7151 // @@protoc_insertion_point(field_add:operations_research.sat.CumulativeConstraintProto.demands)
7159 // @@protoc_insertion_point(field_list:operations_research.sat.CumulativeConstraintProto.demands)
7168 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CumulativeConstraintProto.demands)
7184 // @@protoc_insertion_point(field_get:operations_research.sat.ReservoirConstraintProto.min_level)
7187 inline void ReservoirConstraintProto::_internal_set_min_level(::PROTOBUF_NAMESPACE_ID::int64 value) {
7193 // @@protoc_insertion_point(field_set:operations_research.sat.ReservoirConstraintProto.min_level)
7204 // @@protoc_insertion_point(field_get:operations_research.sat.ReservoirConstraintProto.max_level)
7207 inline void ReservoirConstraintProto::_internal_set_max_level(::PROTOBUF_NAMESPACE_ID::int64 value) {
7213 // @@protoc_insertion_point(field_set:operations_research.sat.ReservoirConstraintProto.max_level)
7226 inline ::PROTOBUF_NAMESPACE_ID::int32 ReservoirConstraintProto::_internal_times(int index) const {
7233 inline void ReservoirConstraintProto::set_times(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7237 inline void ReservoirConstraintProto::_internal_add_times(::PROTOBUF_NAMESPACE_ID::int32 value) {
7259 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.ReservoirConstraintProto.times)
7273 inline ::PROTOBUF_NAMESPACE_ID::int64 ReservoirConstraintProto::_internal_demands(int index) const {
7277 // @@protoc_insertion_point(field_get:operations_research.sat.ReservoirConstraintProto.demands)
7280 inline void ReservoirConstraintProto::set_demands(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
7282 // @@protoc_insertion_point(field_set:operations_research.sat.ReservoirConstraintProto.demands)
7284 inline void ReservoirConstraintProto::_internal_add_demands(::PROTOBUF_NAMESPACE_ID::int64 value) {
7289 // @@protoc_insertion_point(field_add:operations_research.sat.ReservoirConstraintProto.demands)
7297 // @@protoc_insertion_point(field_list:operations_research.sat.ReservoirConstraintProto.demands)
7306 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.ReservoirConstraintProto.demands)
7320 inline ::PROTOBUF_NAMESPACE_ID::int32 ReservoirConstraintProto::_internal_actives(int index) const {
7324 // @@protoc_insertion_point(field_get:operations_research.sat.ReservoirConstraintProto.actives)
7327 inline void ReservoirConstraintProto::set_actives(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7329 // @@protoc_insertion_point(field_set:operations_research.sat.ReservoirConstraintProto.actives)
7331 inline void ReservoirConstraintProto::_internal_add_actives(::PROTOBUF_NAMESPACE_ID::int32 value) {
7336 // @@protoc_insertion_point(field_add:operations_research.sat.ReservoirConstraintProto.actives)
7344 // @@protoc_insertion_point(field_list:operations_research.sat.ReservoirConstraintProto.actives)
7353 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.ReservoirConstraintProto.actives)
7371 inline ::PROTOBUF_NAMESPACE_ID::int32 CircuitConstraintProto::_internal_tails(int index) const {
7378 inline void CircuitConstraintProto::set_tails(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7382 inline void CircuitConstraintProto::_internal_add_tails(::PROTOBUF_NAMESPACE_ID::int32 value) {
7404 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CircuitConstraintProto.tails)
7418 inline ::PROTOBUF_NAMESPACE_ID::int32 CircuitConstraintProto::_internal_heads(int index) const {
7425 inline void CircuitConstraintProto::set_heads(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7429 inline void CircuitConstraintProto::_internal_add_heads(::PROTOBUF_NAMESPACE_ID::int32 value) {
7451 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CircuitConstraintProto.heads)
7465 inline ::PROTOBUF_NAMESPACE_ID::int32 CircuitConstraintProto::_internal_literals(int index) const {
7472 inline void CircuitConstraintProto::set_literals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7476 inline void CircuitConstraintProto::_internal_add_literals(::PROTOBUF_NAMESPACE_ID::int32 value) {
7489 // @@protoc_insertion_point(field_list:operations_research.sat.CircuitConstraintProto.literals)
7498 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CircuitConstraintProto.literals)
7516 inline ::PROTOBUF_NAMESPACE_ID::int32 RoutesConstraintProto::_internal_tails(int index) const {
7523 inline void RoutesConstraintProto::set_tails(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7549 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.RoutesConstraintProto.tails)
7563 inline ::PROTOBUF_NAMESPACE_ID::int32 RoutesConstraintProto::_internal_heads(int index) const {
7570 inline void RoutesConstraintProto::set_heads(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7596 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.RoutesConstraintProto.heads)
7610 inline ::PROTOBUF_NAMESPACE_ID::int32 RoutesConstraintProto::_internal_literals(int index) const {
7617 inline void RoutesConstraintProto::set_literals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7621 inline void RoutesConstraintProto::_internal_add_literals(::PROTOBUF_NAMESPACE_ID::int32 value) {
7643 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.RoutesConstraintProto.literals)
7657 inline ::PROTOBUF_NAMESPACE_ID::int32 RoutesConstraintProto::_internal_demands(int index) const {
7664 inline void RoutesConstraintProto::set_demands(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7668 inline void RoutesConstraintProto::_internal_add_demands(::PROTOBUF_NAMESPACE_ID::int32 value) {
7690 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.RoutesConstraintProto.demands)
7705 inline void RoutesConstraintProto::_internal_set_capacity(::PROTOBUF_NAMESPACE_ID::int64 value) {
7728 inline ::PROTOBUF_NAMESPACE_ID::int32 CircuitCoveringConstraintProto::_internal_nexts(int index) const {
7732 // @@protoc_insertion_point(field_get:operations_research.sat.CircuitCoveringConstraintProto.nexts)
7735 inline void CircuitCoveringConstraintProto::set_nexts(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7737 // @@protoc_insertion_point(field_set:operations_research.sat.CircuitCoveringConstraintProto.nexts)
7739 inline void CircuitCoveringConstraintProto::_internal_add_nexts(::PROTOBUF_NAMESPACE_ID::int32 value) {
7744 // @@protoc_insertion_point(field_add:operations_research.sat.CircuitCoveringConstraintProto.nexts)
7752 // @@protoc_insertion_point(field_list:operations_research.sat.CircuitCoveringConstraintProto.nexts)
7761 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CircuitCoveringConstraintProto.nexts)
7775 inline ::PROTOBUF_NAMESPACE_ID::int64 CircuitCoveringConstraintProto::_internal_distinguished_nodes(int index) const {
7778 inline ::PROTOBUF_NAMESPACE_ID::int64 CircuitCoveringConstraintProto::distinguished_nodes(int index) const {
7779 // @@protoc_insertion_point(field_get:operations_research.sat.CircuitCoveringConstraintProto.distinguished_nodes)
7782 inline void CircuitCoveringConstraintProto::set_distinguished_nodes(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
7784 // @@protoc_insertion_point(field_set:operations_research.sat.CircuitCoveringConstraintProto.distinguished_nodes)
7786 inline void CircuitCoveringConstraintProto::_internal_add_distinguished_nodes(::PROTOBUF_NAMESPACE_ID::int64 value) {
7789 inline void CircuitCoveringConstraintProto::add_distinguished_nodes(::PROTOBUF_NAMESPACE_ID::int64 value) {
7791 // @@protoc_insertion_point(field_add:operations_research.sat.CircuitCoveringConstraintProto.distinguished_nodes)
7799 // @@protoc_insertion_point(field_list:operations_research.sat.CircuitCoveringConstraintProto.distinguished_nodes)
7808 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CircuitCoveringConstraintProto.distinguished_nodes)
7859 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.TableConstraintProto.vars)
7873 inline ::PROTOBUF_NAMESPACE_ID::int64 TableConstraintProto::_internal_values(int index) const {
7880 inline void TableConstraintProto::set_values(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
7906 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.TableConstraintProto.values)
7944 inline ::PROTOBUF_NAMESPACE_ID::int32 InverseConstraintProto::_internal_f_direct(int index) const {
7951 inline void InverseConstraintProto::set_f_direct(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
7955 inline void InverseConstraintProto::_internal_add_f_direct(::PROTOBUF_NAMESPACE_ID::int32 value) {
7968 // @@protoc_insertion_point(field_list:operations_research.sat.InverseConstraintProto.f_direct)
7977 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.InverseConstraintProto.f_direct)
7991 inline ::PROTOBUF_NAMESPACE_ID::int32 InverseConstraintProto::_internal_f_inverse(int index) const {
7995 // @@protoc_insertion_point(field_get:operations_research.sat.InverseConstraintProto.f_inverse)
7998 inline void InverseConstraintProto::set_f_inverse(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
8000 // @@protoc_insertion_point(field_set:operations_research.sat.InverseConstraintProto.f_inverse)
8002 inline void InverseConstraintProto::_internal_add_f_inverse(::PROTOBUF_NAMESPACE_ID::int32 value) {
8007 // @@protoc_insertion_point(field_add:operations_research.sat.InverseConstraintProto.f_inverse)
8015 // @@protoc_insertion_point(field_list:operations_research.sat.InverseConstraintProto.f_inverse)
8024 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.InverseConstraintProto.f_inverse)
8036 inline ::PROTOBUF_NAMESPACE_ID::int64 AutomatonConstraintProto::_internal_starting_state() const {
8040 // @@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.starting_state)
8043 inline void AutomatonConstraintProto::_internal_set_starting_state(::PROTOBUF_NAMESPACE_ID::int64 value) {
8047 inline void AutomatonConstraintProto::set_starting_state(::PROTOBUF_NAMESPACE_ID::int64 value) {
8049 // @@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.starting_state)
8062 inline ::PROTOBUF_NAMESPACE_ID::int64 AutomatonConstraintProto::_internal_final_states(int index) const {
8065 inline ::PROTOBUF_NAMESPACE_ID::int64 AutomatonConstraintProto::final_states(int index) const {
8066 // @@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.final_states)
8069 inline void AutomatonConstraintProto::set_final_states(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
8071 // @@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.final_states)
8073 inline void AutomatonConstraintProto::_internal_add_final_states(::PROTOBUF_NAMESPACE_ID::int64 value) {
8078 // @@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.final_states)
8086 // @@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.final_states)
8095 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.final_states)
8109 inline ::PROTOBUF_NAMESPACE_ID::int64 AutomatonConstraintProto::_internal_transition_tail(int index) const {
8112 inline ::PROTOBUF_NAMESPACE_ID::int64 AutomatonConstraintProto::transition_tail(int index) const {
8113 // @@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.transition_tail)
8116 inline void AutomatonConstraintProto::set_transition_tail(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
8118 // @@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.transition_tail)
8120 inline void AutomatonConstraintProto::_internal_add_transition_tail(::PROTOBUF_NAMESPACE_ID::int64 value) {
8123 inline void AutomatonConstraintProto::add_transition_tail(::PROTOBUF_NAMESPACE_ID::int64 value) {
8125 // @@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.transition_tail)
8133 // @@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.transition_tail)
8142 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.transition_tail)
8156 inline ::PROTOBUF_NAMESPACE_ID::int64 AutomatonConstraintProto::_internal_transition_head(int index) const {
8159 inline ::PROTOBUF_NAMESPACE_ID::int64 AutomatonConstraintProto::transition_head(int index) const {
8160 // @@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.transition_head)
8163 inline void AutomatonConstraintProto::set_transition_head(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
8165 // @@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.transition_head)
8167 inline void AutomatonConstraintProto::_internal_add_transition_head(::PROTOBUF_NAMESPACE_ID::int64 value) {
8170 inline void AutomatonConstraintProto::add_transition_head(::PROTOBUF_NAMESPACE_ID::int64 value) {
8172 // @@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.transition_head)
8180 // @@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.transition_head)
8189 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.transition_head)
8203 inline ::PROTOBUF_NAMESPACE_ID::int64 AutomatonConstraintProto::_internal_transition_label(int index) const {
8206 inline ::PROTOBUF_NAMESPACE_ID::int64 AutomatonConstraintProto::transition_label(int index) const {
8207 // @@protoc_insertion_point(field_get:operations_research.sat.AutomatonConstraintProto.transition_label)
8210 inline void AutomatonConstraintProto::set_transition_label(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
8212 // @@protoc_insertion_point(field_set:operations_research.sat.AutomatonConstraintProto.transition_label)
8214 inline void AutomatonConstraintProto::_internal_add_transition_label(::PROTOBUF_NAMESPACE_ID::int64 value) {
8217 inline void AutomatonConstraintProto::add_transition_label(::PROTOBUF_NAMESPACE_ID::int64 value) {
8219 // @@protoc_insertion_point(field_add:operations_research.sat.AutomatonConstraintProto.transition_label)
8227 // @@protoc_insertion_point(field_list:operations_research.sat.AutomatonConstraintProto.transition_label)
8236 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.transition_label)
8250 inline ::PROTOBUF_NAMESPACE_ID::int32 AutomatonConstraintProto::_internal_vars(int index) const {
8257 inline void AutomatonConstraintProto::set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
8261 inline void AutomatonConstraintProto::_internal_add_vars(::PROTOBUF_NAMESPACE_ID::int32 value) {
8283 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.AutomatonConstraintProto.vars)
8293 name_.ClearToEmpty(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
8312 name_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), value, GetArena());
8317 &::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::move(value), GetArena());
8323 name_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::string(value),
8336 return name_.Mutable(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
8340 return name_.Release(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
8353 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.name)
8356 return name_.UnsafeArenaRelease(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
8367 name_.UnsafeArenaSetAllocated(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
8369 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.name)
8382 inline ::PROTOBUF_NAMESPACE_ID::int32 ConstraintProto::_internal_enforcement_literal(int index) const {
8386 // @@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.enforcement_literal)
8389 inline void ConstraintProto::set_enforcement_literal(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
8391 // @@protoc_insertion_point(field_set:operations_research.sat.ConstraintProto.enforcement_literal)
8393 inline void ConstraintProto::_internal_add_enforcement_literal(::PROTOBUF_NAMESPACE_ID::int32 value) {
8398 // @@protoc_insertion_point(field_add:operations_research.sat.ConstraintProto.enforcement_literal)
8406 // @@protoc_insertion_point(field_list:operations_research.sat.ConstraintProto.enforcement_literal)
8415 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.ConstraintProto.enforcement_literal)
8451 inline const ::operations_research::sat::BoolArgumentProto& ConstraintProto::_internal_bool_or() const {
8454 : *reinterpret_cast< ::operations_research::sat::BoolArgumentProto*>(&::operations_research::sat::_BoolArgumentProto_default_instance_);
8460 inline ::operations_research::sat::BoolArgumentProto* ConstraintProto::unsafe_arena_release_bool_or() {
8461 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.bool_or)
8471 inline void ConstraintProto::unsafe_arena_set_allocated_bool_or(::operations_research::sat::BoolArgumentProto* bool_or) {
8477 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.bool_or)
8479 inline ::operations_research::sat::BoolArgumentProto* ConstraintProto::_internal_mutable_bool_or() {
8483 constraint_.bool_or_ = CreateMaybeMessage< ::operations_research::sat::BoolArgumentProto >(GetArena());
8524 inline const ::operations_research::sat::BoolArgumentProto& ConstraintProto::_internal_bool_and() const {
8527 : *reinterpret_cast< ::operations_research::sat::BoolArgumentProto*>(&::operations_research::sat::_BoolArgumentProto_default_instance_);
8529 inline const ::operations_research::sat::BoolArgumentProto& ConstraintProto::bool_and() const {
8533 inline ::operations_research::sat::BoolArgumentProto* ConstraintProto::unsafe_arena_release_bool_and() {
8534 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.bool_and)
8544 inline void ConstraintProto::unsafe_arena_set_allocated_bool_and(::operations_research::sat::BoolArgumentProto* bool_and) {
8550 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.bool_and)
8552 inline ::operations_research::sat::BoolArgumentProto* ConstraintProto::_internal_mutable_bool_and() {
8556 constraint_.bool_and_ = CreateMaybeMessage< ::operations_research::sat::BoolArgumentProto >(GetArena());
8597 inline const ::operations_research::sat::BoolArgumentProto& ConstraintProto::_internal_at_most_one() const {
8600 : *reinterpret_cast< ::operations_research::sat::BoolArgumentProto*>(&::operations_research::sat::_BoolArgumentProto_default_instance_);
8602 inline const ::operations_research::sat::BoolArgumentProto& ConstraintProto::at_most_one() const {
8606 inline ::operations_research::sat::BoolArgumentProto* ConstraintProto::unsafe_arena_release_at_most_one() {
8607 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.at_most_one)
8617 inline void ConstraintProto::unsafe_arena_set_allocated_at_most_one(::operations_research::sat::BoolArgumentProto* at_most_one) {
8623 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.at_most_one)
8625 inline ::operations_research::sat::BoolArgumentProto* ConstraintProto::_internal_mutable_at_most_one() {
8629 constraint_.at_most_one_ = CreateMaybeMessage< ::operations_research::sat::BoolArgumentProto >(GetArena());
8670 inline const ::operations_research::sat::BoolArgumentProto& ConstraintProto::_internal_bool_xor() const {
8673 : *reinterpret_cast< ::operations_research::sat::BoolArgumentProto*>(&::operations_research::sat::_BoolArgumentProto_default_instance_);
8675 inline const ::operations_research::sat::BoolArgumentProto& ConstraintProto::bool_xor() const {
8679 inline ::operations_research::sat::BoolArgumentProto* ConstraintProto::unsafe_arena_release_bool_xor() {
8680 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.bool_xor)
8690 inline void ConstraintProto::unsafe_arena_set_allocated_bool_xor(::operations_research::sat::BoolArgumentProto* bool_xor) {
8696 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.bool_xor)
8698 inline ::operations_research::sat::BoolArgumentProto* ConstraintProto::_internal_mutable_bool_xor() {
8702 constraint_.bool_xor_ = CreateMaybeMessage< ::operations_research::sat::BoolArgumentProto >(GetArena());
8743 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::_internal_int_div() const {
8746 : *reinterpret_cast< ::operations_research::sat::IntegerArgumentProto*>(&::operations_research::sat::_IntegerArgumentProto_default_instance_);
8748 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::int_div() const {
8752 inline ::operations_research::sat::IntegerArgumentProto* ConstraintProto::unsafe_arena_release_int_div() {
8753 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.int_div)
8763 inline void ConstraintProto::unsafe_arena_set_allocated_int_div(::operations_research::sat::IntegerArgumentProto* int_div) {
8769 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.int_div)
8771 inline ::operations_research::sat::IntegerArgumentProto* ConstraintProto::_internal_mutable_int_div() {
8775 constraint_.int_div_ = CreateMaybeMessage< ::operations_research::sat::IntegerArgumentProto >(GetArena());
8816 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::_internal_int_mod() const {
8819 : *reinterpret_cast< ::operations_research::sat::IntegerArgumentProto*>(&::operations_research::sat::_IntegerArgumentProto_default_instance_);
8821 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::int_mod() const {
8825 inline ::operations_research::sat::IntegerArgumentProto* ConstraintProto::unsafe_arena_release_int_mod() {
8826 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.int_mod)
8836 inline void ConstraintProto::unsafe_arena_set_allocated_int_mod(::operations_research::sat::IntegerArgumentProto* int_mod) {
8842 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.int_mod)
8844 inline ::operations_research::sat::IntegerArgumentProto* ConstraintProto::_internal_mutable_int_mod() {
8848 constraint_.int_mod_ = CreateMaybeMessage< ::operations_research::sat::IntegerArgumentProto >(GetArena());
8889 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::_internal_int_max() const {
8892 : *reinterpret_cast< ::operations_research::sat::IntegerArgumentProto*>(&::operations_research::sat::_IntegerArgumentProto_default_instance_);
8894 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::int_max() const {
8898 inline ::operations_research::sat::IntegerArgumentProto* ConstraintProto::unsafe_arena_release_int_max() {
8899 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.int_max)
8909 inline void ConstraintProto::unsafe_arena_set_allocated_int_max(::operations_research::sat::IntegerArgumentProto* int_max) {
8915 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.int_max)
8917 inline ::operations_research::sat::IntegerArgumentProto* ConstraintProto::_internal_mutable_int_max() {
8921 constraint_.int_max_ = CreateMaybeMessage< ::operations_research::sat::IntegerArgumentProto >(GetArena());
8962 inline const ::operations_research::sat::LinearArgumentProto& ConstraintProto::_internal_lin_max() const {
8965 : *reinterpret_cast< ::operations_research::sat::LinearArgumentProto*>(&::operations_research::sat::_LinearArgumentProto_default_instance_);
8967 inline const ::operations_research::sat::LinearArgumentProto& ConstraintProto::lin_max() const {
8971 inline ::operations_research::sat::LinearArgumentProto* ConstraintProto::unsafe_arena_release_lin_max() {
8972 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.lin_max)
8982 inline void ConstraintProto::unsafe_arena_set_allocated_lin_max(::operations_research::sat::LinearArgumentProto* lin_max) {
8988 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.lin_max)
8990 inline ::operations_research::sat::LinearArgumentProto* ConstraintProto::_internal_mutable_lin_max() {
8994 constraint_.lin_max_ = CreateMaybeMessage< ::operations_research::sat::LinearArgumentProto >(GetArena());
9035 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::_internal_int_min() const {
9038 : *reinterpret_cast< ::operations_research::sat::IntegerArgumentProto*>(&::operations_research::sat::_IntegerArgumentProto_default_instance_);
9040 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::int_min() const {
9044 inline ::operations_research::sat::IntegerArgumentProto* ConstraintProto::unsafe_arena_release_int_min() {
9045 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.int_min)
9055 inline void ConstraintProto::unsafe_arena_set_allocated_int_min(::operations_research::sat::IntegerArgumentProto* int_min) {
9061 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.int_min)
9063 inline ::operations_research::sat::IntegerArgumentProto* ConstraintProto::_internal_mutable_int_min() {
9067 constraint_.int_min_ = CreateMaybeMessage< ::operations_research::sat::IntegerArgumentProto >(GetArena());
9108 inline const ::operations_research::sat::LinearArgumentProto& ConstraintProto::_internal_lin_min() const {
9111 : *reinterpret_cast< ::operations_research::sat::LinearArgumentProto*>(&::operations_research::sat::_LinearArgumentProto_default_instance_);
9113 inline const ::operations_research::sat::LinearArgumentProto& ConstraintProto::lin_min() const {
9117 inline ::operations_research::sat::LinearArgumentProto* ConstraintProto::unsafe_arena_release_lin_min() {
9118 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.lin_min)
9128 inline void ConstraintProto::unsafe_arena_set_allocated_lin_min(::operations_research::sat::LinearArgumentProto* lin_min) {
9134 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.lin_min)
9136 inline ::operations_research::sat::LinearArgumentProto* ConstraintProto::_internal_mutable_lin_min() {
9140 constraint_.lin_min_ = CreateMaybeMessage< ::operations_research::sat::LinearArgumentProto >(GetArena());
9181 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::_internal_int_prod() const {
9184 : *reinterpret_cast< ::operations_research::sat::IntegerArgumentProto*>(&::operations_research::sat::_IntegerArgumentProto_default_instance_);
9186 inline const ::operations_research::sat::IntegerArgumentProto& ConstraintProto::int_prod() const {
9190 inline ::operations_research::sat::IntegerArgumentProto* ConstraintProto::unsafe_arena_release_int_prod() {
9191 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.int_prod)
9201 inline void ConstraintProto::unsafe_arena_set_allocated_int_prod(::operations_research::sat::IntegerArgumentProto* int_prod) {
9207 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.int_prod)
9209 inline ::operations_research::sat::IntegerArgumentProto* ConstraintProto::_internal_mutable_int_prod() {
9213 constraint_.int_prod_ = CreateMaybeMessage< ::operations_research::sat::IntegerArgumentProto >(GetArena());
9254 inline const ::operations_research::sat::LinearConstraintProto& ConstraintProto::_internal_linear() const {
9257 : *reinterpret_cast< ::operations_research::sat::LinearConstraintProto*>(&::operations_research::sat::_LinearConstraintProto_default_instance_);
9259 inline const ::operations_research::sat::LinearConstraintProto& ConstraintProto::linear() const {
9263 inline ::operations_research::sat::LinearConstraintProto* ConstraintProto::unsafe_arena_release_linear() {
9264 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.linear)
9274 inline void ConstraintProto::unsafe_arena_set_allocated_linear(::operations_research::sat::LinearConstraintProto* linear) {
9280 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.linear)
9282 inline ::operations_research::sat::LinearConstraintProto* ConstraintProto::_internal_mutable_linear() {
9286 constraint_.linear_ = CreateMaybeMessage< ::operations_research::sat::LinearConstraintProto >(GetArena());
9313 inline ::operations_research::sat::AllDifferentConstraintProto* ConstraintProto::release_all_diff() {
9327 inline const ::operations_research::sat::AllDifferentConstraintProto& ConstraintProto::_internal_all_diff() const {
9330 : *reinterpret_cast< ::operations_research::sat::AllDifferentConstraintProto*>(&::operations_research::sat::_AllDifferentConstraintProto_default_instance_);
9332 inline const ::operations_research::sat::AllDifferentConstraintProto& ConstraintProto::all_diff() const {
9336 inline ::operations_research::sat::AllDifferentConstraintProto* ConstraintProto::unsafe_arena_release_all_diff() {
9337 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.all_diff)
9347 inline void ConstraintProto::unsafe_arena_set_allocated_all_diff(::operations_research::sat::AllDifferentConstraintProto* all_diff) {
9353 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.all_diff)
9355 inline ::operations_research::sat::AllDifferentConstraintProto* ConstraintProto::_internal_mutable_all_diff() {
9359 constraint_.all_diff_ = CreateMaybeMessage< ::operations_research::sat::AllDifferentConstraintProto >(GetArena());
9363 inline ::operations_research::sat::AllDifferentConstraintProto* ConstraintProto::mutable_all_diff() {
9386 inline ::operations_research::sat::ElementConstraintProto* ConstraintProto::release_element() {
9400 inline const ::operations_research::sat::ElementConstraintProto& ConstraintProto::_internal_element() const {
9403 : *reinterpret_cast< ::operations_research::sat::ElementConstraintProto*>(&::operations_research::sat::_ElementConstraintProto_default_instance_);
9405 inline const ::operations_research::sat::ElementConstraintProto& ConstraintProto::element() const {
9409 inline ::operations_research::sat::ElementConstraintProto* ConstraintProto::unsafe_arena_release_element() {
9410 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.element)
9420 inline void ConstraintProto::unsafe_arena_set_allocated_element(::operations_research::sat::ElementConstraintProto* element) {
9426 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.element)
9428 inline ::operations_research::sat::ElementConstraintProto* ConstraintProto::_internal_mutable_element() {
9432 constraint_.element_ = CreateMaybeMessage< ::operations_research::sat::ElementConstraintProto >(GetArena());
9436 inline ::operations_research::sat::ElementConstraintProto* ConstraintProto::mutable_element() {
9459 inline ::operations_research::sat::CircuitConstraintProto* ConstraintProto::release_circuit() {
9473 inline const ::operations_research::sat::CircuitConstraintProto& ConstraintProto::_internal_circuit() const {
9476 : *reinterpret_cast< ::operations_research::sat::CircuitConstraintProto*>(&::operations_research::sat::_CircuitConstraintProto_default_instance_);
9478 inline const ::operations_research::sat::CircuitConstraintProto& ConstraintProto::circuit() const {
9482 inline ::operations_research::sat::CircuitConstraintProto* ConstraintProto::unsafe_arena_release_circuit() {
9483 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.circuit)
9493 inline void ConstraintProto::unsafe_arena_set_allocated_circuit(::operations_research::sat::CircuitConstraintProto* circuit) {
9499 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.circuit)
9501 inline ::operations_research::sat::CircuitConstraintProto* ConstraintProto::_internal_mutable_circuit() {
9505 constraint_.circuit_ = CreateMaybeMessage< ::operations_research::sat::CircuitConstraintProto >(GetArena());
9509 inline ::operations_research::sat::CircuitConstraintProto* ConstraintProto::mutable_circuit() {
9546 inline const ::operations_research::sat::RoutesConstraintProto& ConstraintProto::_internal_routes() const {
9549 : *reinterpret_cast< ::operations_research::sat::RoutesConstraintProto*>(&::operations_research::sat::_RoutesConstraintProto_default_instance_);
9551 inline const ::operations_research::sat::RoutesConstraintProto& ConstraintProto::routes() const {
9555 inline ::operations_research::sat::RoutesConstraintProto* ConstraintProto::unsafe_arena_release_routes() {
9556 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.routes)
9566 inline void ConstraintProto::unsafe_arena_set_allocated_routes(::operations_research::sat::RoutesConstraintProto* routes) {
9572 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.routes)
9574 inline ::operations_research::sat::RoutesConstraintProto* ConstraintProto::_internal_mutable_routes() {
9578 constraint_.routes_ = CreateMaybeMessage< ::operations_research::sat::RoutesConstraintProto >(GetArena());
9605 inline ::operations_research::sat::CircuitCoveringConstraintProto* ConstraintProto::release_circuit_covering() {
9606 // @@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.circuit_covering)
9609 ::operations_research::sat::CircuitCoveringConstraintProto* temp = constraint_.circuit_covering_;
9619 inline const ::operations_research::sat::CircuitCoveringConstraintProto& ConstraintProto::_internal_circuit_covering() const {
9622 : *reinterpret_cast< ::operations_research::sat::CircuitCoveringConstraintProto*>(&::operations_research::sat::_CircuitCoveringConstraintProto_default_instance_);
9624 inline const ::operations_research::sat::CircuitCoveringConstraintProto& ConstraintProto::circuit_covering() const {
9625 // @@protoc_insertion_point(field_get:operations_research.sat.ConstraintProto.circuit_covering)
9628 inline ::operations_research::sat::CircuitCoveringConstraintProto* ConstraintProto::unsafe_arena_release_circuit_covering() {
9629 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.circuit_covering)
9632 ::operations_research::sat::CircuitCoveringConstraintProto* temp = constraint_.circuit_covering_;
9639 inline void ConstraintProto::unsafe_arena_set_allocated_circuit_covering(::operations_research::sat::CircuitCoveringConstraintProto* circuit_covering) {
9645 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.circuit_covering)
9647 inline ::operations_research::sat::CircuitCoveringConstraintProto* ConstraintProto::_internal_mutable_circuit_covering() {
9651 constraint_.circuit_covering_ = CreateMaybeMessage< ::operations_research::sat::CircuitCoveringConstraintProto >(GetArena());
9655 inline ::operations_research::sat::CircuitCoveringConstraintProto* ConstraintProto::mutable_circuit_covering() {
9656 // @@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.circuit_covering)
9692 inline const ::operations_research::sat::TableConstraintProto& ConstraintProto::_internal_table() const {
9695 : *reinterpret_cast< ::operations_research::sat::TableConstraintProto*>(&::operations_research::sat::_TableConstraintProto_default_instance_);
9697 inline const ::operations_research::sat::TableConstraintProto& ConstraintProto::table() const {
9701 inline ::operations_research::sat::TableConstraintProto* ConstraintProto::unsafe_arena_release_table() {
9702 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.table)
9712 inline void ConstraintProto::unsafe_arena_set_allocated_table(::operations_research::sat::TableConstraintProto* table) {
9718 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.table)
9720 inline ::operations_research::sat::TableConstraintProto* ConstraintProto::_internal_mutable_table() {
9724 constraint_.table_ = CreateMaybeMessage< ::operations_research::sat::TableConstraintProto >(GetArena());
9751 inline ::operations_research::sat::AutomatonConstraintProto* ConstraintProto::release_automaton() {
9765 inline const ::operations_research::sat::AutomatonConstraintProto& ConstraintProto::_internal_automaton() const {
9768 : *reinterpret_cast< ::operations_research::sat::AutomatonConstraintProto*>(&::operations_research::sat::_AutomatonConstraintProto_default_instance_);
9770 inline const ::operations_research::sat::AutomatonConstraintProto& ConstraintProto::automaton() const {
9774 inline ::operations_research::sat::AutomatonConstraintProto* ConstraintProto::unsafe_arena_release_automaton() {
9775 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.automaton)
9785 inline void ConstraintProto::unsafe_arena_set_allocated_automaton(::operations_research::sat::AutomatonConstraintProto* automaton) {
9791 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.automaton)
9793 inline ::operations_research::sat::AutomatonConstraintProto* ConstraintProto::_internal_mutable_automaton() {
9797 constraint_.automaton_ = CreateMaybeMessage< ::operations_research::sat::AutomatonConstraintProto >(GetArena());
9801 inline ::operations_research::sat::AutomatonConstraintProto* ConstraintProto::mutable_automaton() {
9824 inline ::operations_research::sat::InverseConstraintProto* ConstraintProto::release_inverse() {
9838 inline const ::operations_research::sat::InverseConstraintProto& ConstraintProto::_internal_inverse() const {
9841 : *reinterpret_cast< ::operations_research::sat::InverseConstraintProto*>(&::operations_research::sat::_InverseConstraintProto_default_instance_);
9843 inline const ::operations_research::sat::InverseConstraintProto& ConstraintProto::inverse() const {
9847 inline ::operations_research::sat::InverseConstraintProto* ConstraintProto::unsafe_arena_release_inverse() {
9848 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.inverse)
9858 inline void ConstraintProto::unsafe_arena_set_allocated_inverse(::operations_research::sat::InverseConstraintProto* inverse) {
9864 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.inverse)
9866 inline ::operations_research::sat::InverseConstraintProto* ConstraintProto::_internal_mutable_inverse() {
9870 constraint_.inverse_ = CreateMaybeMessage< ::operations_research::sat::InverseConstraintProto >(GetArena());
9874 inline ::operations_research::sat::InverseConstraintProto* ConstraintProto::mutable_inverse() {
9897 inline ::operations_research::sat::ReservoirConstraintProto* ConstraintProto::release_reservoir() {
9911 inline const ::operations_research::sat::ReservoirConstraintProto& ConstraintProto::_internal_reservoir() const {
9914 : *reinterpret_cast< ::operations_research::sat::ReservoirConstraintProto*>(&::operations_research::sat::_ReservoirConstraintProto_default_instance_);
9916 inline const ::operations_research::sat::ReservoirConstraintProto& ConstraintProto::reservoir() const {
9920 inline ::operations_research::sat::ReservoirConstraintProto* ConstraintProto::unsafe_arena_release_reservoir() {
9921 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.reservoir)
9931 inline void ConstraintProto::unsafe_arena_set_allocated_reservoir(::operations_research::sat::ReservoirConstraintProto* reservoir) {
9937 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.reservoir)
9939 inline ::operations_research::sat::ReservoirConstraintProto* ConstraintProto::_internal_mutable_reservoir() {
9943 constraint_.reservoir_ = CreateMaybeMessage< ::operations_research::sat::ReservoirConstraintProto >(GetArena());
9947 inline ::operations_research::sat::ReservoirConstraintProto* ConstraintProto::mutable_reservoir() {
9970 inline ::operations_research::sat::IntervalConstraintProto* ConstraintProto::release_interval() {
9984 inline const ::operations_research::sat::IntervalConstraintProto& ConstraintProto::_internal_interval() const {
9987 : *reinterpret_cast< ::operations_research::sat::IntervalConstraintProto*>(&::operations_research::sat::_IntervalConstraintProto_default_instance_);
9989 inline const ::operations_research::sat::IntervalConstraintProto& ConstraintProto::interval() const {
9993 inline ::operations_research::sat::IntervalConstraintProto* ConstraintProto::unsafe_arena_release_interval() {
9994 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.interval)
10004 inline void ConstraintProto::unsafe_arena_set_allocated_interval(::operations_research::sat::IntervalConstraintProto* interval) {
10010 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.interval)
10012 inline ::operations_research::sat::IntervalConstraintProto* ConstraintProto::_internal_mutable_interval() {
10016 constraint_.interval_ = CreateMaybeMessage< ::operations_research::sat::IntervalConstraintProto >(GetArena());
10020 inline ::operations_research::sat::IntervalConstraintProto* ConstraintProto::mutable_interval() {
10043 inline ::operations_research::sat::NoOverlapConstraintProto* ConstraintProto::release_no_overlap() {
10057 inline const ::operations_research::sat::NoOverlapConstraintProto& ConstraintProto::_internal_no_overlap() const {
10060 : *reinterpret_cast< ::operations_research::sat::NoOverlapConstraintProto*>(&::operations_research::sat::_NoOverlapConstraintProto_default_instance_);
10062 inline const ::operations_research::sat::NoOverlapConstraintProto& ConstraintProto::no_overlap() const {
10066 inline ::operations_research::sat::NoOverlapConstraintProto* ConstraintProto::unsafe_arena_release_no_overlap() {
10067 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.no_overlap)
10077 inline void ConstraintProto::unsafe_arena_set_allocated_no_overlap(::operations_research::sat::NoOverlapConstraintProto* no_overlap) {
10083 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.no_overlap)
10085 inline ::operations_research::sat::NoOverlapConstraintProto* ConstraintProto::_internal_mutable_no_overlap() {
10089 constraint_.no_overlap_ = CreateMaybeMessage< ::operations_research::sat::NoOverlapConstraintProto >(GetArena());
10093 inline ::operations_research::sat::NoOverlapConstraintProto* ConstraintProto::mutable_no_overlap() {
10116 inline ::operations_research::sat::NoOverlap2DConstraintProto* ConstraintProto::release_no_overlap_2d() {
10117 // @@protoc_insertion_point(field_release:operations_research.sat.ConstraintProto.no_overlap_2d)
10130 inline const ::operations_research::sat::NoOverlap2DConstraintProto& ConstraintProto::_internal_no_overlap_2d() const {
10133 : *reinterpret_cast< ::operations_research::sat::NoOverlap2DConstraintProto*>(&::operations_research::sat::_NoOverlap2DConstraintProto_default_instance_);
10135 inline const ::operations_research::sat::NoOverlap2DConstraintProto& ConstraintProto::no_overlap_2d() const {
10139 inline ::operations_research::sat::NoOverlap2DConstraintProto* ConstraintProto::unsafe_arena_release_no_overlap_2d() {
10140 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.no_overlap_2d)
10150 inline void ConstraintProto::unsafe_arena_set_allocated_no_overlap_2d(::operations_research::sat::NoOverlap2DConstraintProto* no_overlap_2d) {
10156 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.no_overlap_2d)
10158 inline ::operations_research::sat::NoOverlap2DConstraintProto* ConstraintProto::_internal_mutable_no_overlap_2d() {
10162 constraint_.no_overlap_2d_ = CreateMaybeMessage< ::operations_research::sat::NoOverlap2DConstraintProto >(GetArena());
10166 inline ::operations_research::sat::NoOverlap2DConstraintProto* ConstraintProto::mutable_no_overlap_2d() {
10167 // @@protoc_insertion_point(field_mutable:operations_research.sat.ConstraintProto.no_overlap_2d)
10189 inline ::operations_research::sat::CumulativeConstraintProto* ConstraintProto::release_cumulative() {
10203 inline const ::operations_research::sat::CumulativeConstraintProto& ConstraintProto::_internal_cumulative() const {
10206 : *reinterpret_cast< ::operations_research::sat::CumulativeConstraintProto*>(&::operations_research::sat::_CumulativeConstraintProto_default_instance_);
10208 inline const ::operations_research::sat::CumulativeConstraintProto& ConstraintProto::cumulative() const {
10212 inline ::operations_research::sat::CumulativeConstraintProto* ConstraintProto::unsafe_arena_release_cumulative() {
10213 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.ConstraintProto.cumulative)
10223 inline void ConstraintProto::unsafe_arena_set_allocated_cumulative(::operations_research::sat::CumulativeConstraintProto* cumulative) {
10229 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.ConstraintProto.cumulative)
10231 inline ::operations_research::sat::CumulativeConstraintProto* ConstraintProto::_internal_mutable_cumulative() {
10235 constraint_.cumulative_ = CreateMaybeMessage< ::operations_research::sat::CumulativeConstraintProto >(GetArena());
10239 inline ::operations_research::sat::CumulativeConstraintProto* ConstraintProto::mutable_cumulative() {
10347 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpObjectiveProto.coeffs)
10379 // @@protoc_insertion_point(field_get:operations_research.sat.CpObjectiveProto.scaling_factor)
10388 // @@protoc_insertion_point(field_set:operations_research.sat.CpObjectiveProto.scaling_factor)
10434 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpObjectiveProto.domain)
10446 inline ::PROTOBUF_NAMESPACE_ID::int32 DecisionStrategyProto_AffineTransformation::_internal_var() const {
10449 inline ::PROTOBUF_NAMESPACE_ID::int32 DecisionStrategyProto_AffineTransformation::var() const {
10450 // @@protoc_insertion_point(field_get:operations_research.sat.DecisionStrategyProto.AffineTransformation.var)
10453 inline void DecisionStrategyProto_AffineTransformation::_internal_set_var(::PROTOBUF_NAMESPACE_ID::int32 value) {
10457 inline void DecisionStrategyProto_AffineTransformation::set_var(::PROTOBUF_NAMESPACE_ID::int32 value) {
10459 // @@protoc_insertion_point(field_set:operations_research.sat.DecisionStrategyProto.AffineTransformation.var)
10466 inline ::PROTOBUF_NAMESPACE_ID::int64 DecisionStrategyProto_AffineTransformation::_internal_offset() const {
10469 inline ::PROTOBUF_NAMESPACE_ID::int64 DecisionStrategyProto_AffineTransformation::offset() const {
10470 // @@protoc_insertion_point(field_get:operations_research.sat.DecisionStrategyProto.AffineTransformation.offset)
10473 inline void DecisionStrategyProto_AffineTransformation::_internal_set_offset(::PROTOBUF_NAMESPACE_ID::int64 value) {
10477 inline void DecisionStrategyProto_AffineTransformation::set_offset(::PROTOBUF_NAMESPACE_ID::int64 value) {
10479 // @@protoc_insertion_point(field_set:operations_research.sat.DecisionStrategyProto.AffineTransformation.offset)
10486 inline ::PROTOBUF_NAMESPACE_ID::int64 DecisionStrategyProto_AffineTransformation::_internal_positive_coeff() const {
10489 inline ::PROTOBUF_NAMESPACE_ID::int64 DecisionStrategyProto_AffineTransformation::positive_coeff() const {
10490 // @@protoc_insertion_point(field_get:operations_research.sat.DecisionStrategyProto.AffineTransformation.positive_coeff)
10493 inline void DecisionStrategyProto_AffineTransformation::_internal_set_positive_coeff(::PROTOBUF_NAMESPACE_ID::int64 value) {
10497 inline void DecisionStrategyProto_AffineTransformation::set_positive_coeff(::PROTOBUF_NAMESPACE_ID::int64 value) {
10499 // @@protoc_insertion_point(field_set:operations_research.sat.DecisionStrategyProto.AffineTransformation.positive_coeff)
10516 inline ::PROTOBUF_NAMESPACE_ID::int32 DecisionStrategyProto::_internal_variables(int index) const {
10520 // @@protoc_insertion_point(field_get:operations_research.sat.DecisionStrategyProto.variables)
10523 inline void DecisionStrategyProto::set_variables(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
10525 // @@protoc_insertion_point(field_set:operations_research.sat.DecisionStrategyProto.variables)
10527 inline void DecisionStrategyProto::_internal_add_variables(::PROTOBUF_NAMESPACE_ID::int32 value) {
10532 // @@protoc_insertion_point(field_add:operations_research.sat.DecisionStrategyProto.variables)
10540 // @@protoc_insertion_point(field_list:operations_research.sat.DecisionStrategyProto.variables)
10549 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.DecisionStrategyProto.variables)
10553 // .operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
10557 inline ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy DecisionStrategyProto::_internal_variable_selection_strategy() const {
10558 return static_cast< ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy >(variable_selection_strategy_);
10560 inline ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy DecisionStrategyProto::variable_selection_strategy() const {
10561 // @@protoc_insertion_point(field_get:operations_research.sat.DecisionStrategyProto.variable_selection_strategy)
10564 inline void DecisionStrategyProto::_internal_set_variable_selection_strategy(::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy value) {
10568 inline void DecisionStrategyProto::set_variable_selection_strategy(::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy value) {
10570 // @@protoc_insertion_point(field_set:operations_research.sat.DecisionStrategyProto.variable_selection_strategy)
10573 // .operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
10577 inline ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy DecisionStrategyProto::_internal_domain_reduction_strategy() const {
10578 return static_cast< ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy >(domain_reduction_strategy_);
10580 inline ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy DecisionStrategyProto::domain_reduction_strategy() const {
10581 // @@protoc_insertion_point(field_get:operations_research.sat.DecisionStrategyProto.domain_reduction_strategy)
10584 inline void DecisionStrategyProto::_internal_set_domain_reduction_strategy(::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy value) {
10588 inline void DecisionStrategyProto::set_domain_reduction_strategy(::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy value) {
10590 // @@protoc_insertion_point(field_set:operations_research.sat.DecisionStrategyProto.domain_reduction_strategy)
10593 // repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4;
10603 inline ::operations_research::sat::DecisionStrategyProto_AffineTransformation* DecisionStrategyProto::mutable_transformations(int index) {
10604 // @@protoc_insertion_point(field_mutable:operations_research.sat.DecisionStrategyProto.transformations)
10607 inline ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation >*
10609 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.DecisionStrategyProto.transformations)
10612 inline const ::operations_research::sat::DecisionStrategyProto_AffineTransformation& DecisionStrategyProto::_internal_transformations(int index) const {
10615 inline const ::operations_research::sat::DecisionStrategyProto_AffineTransformation& DecisionStrategyProto::transformations(int index) const {
10616 // @@protoc_insertion_point(field_get:operations_research.sat.DecisionStrategyProto.transformations)
10619 inline ::operations_research::sat::DecisionStrategyProto_AffineTransformation* DecisionStrategyProto::_internal_add_transformations() {
10622 inline ::operations_research::sat::DecisionStrategyProto_AffineTransformation* DecisionStrategyProto::add_transformations() {
10623 // @@protoc_insertion_point(field_add:operations_research.sat.DecisionStrategyProto.transformations)
10626 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation >&
10628 // @@protoc_insertion_point(field_list:operations_research.sat.DecisionStrategyProto.transformations)
10646 inline ::PROTOBUF_NAMESPACE_ID::int32 PartialVariableAssignment::_internal_vars(int index) const {
10653 inline void PartialVariableAssignment::set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
10657 inline void PartialVariableAssignment::_internal_add_vars(::PROTOBUF_NAMESPACE_ID::int32 value) {
10670 // @@protoc_insertion_point(field_list:operations_research.sat.PartialVariableAssignment.vars)
10679 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.PartialVariableAssignment.vars)
10693 inline ::PROTOBUF_NAMESPACE_ID::int64 PartialVariableAssignment::_internal_values(int index) const {
10697 // @@protoc_insertion_point(field_get:operations_research.sat.PartialVariableAssignment.values)
10700 inline void PartialVariableAssignment::set_values(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
10702 // @@protoc_insertion_point(field_set:operations_research.sat.PartialVariableAssignment.values)
10704 inline void PartialVariableAssignment::_internal_add_values(::PROTOBUF_NAMESPACE_ID::int64 value) {
10709 // @@protoc_insertion_point(field_add:operations_research.sat.PartialVariableAssignment.values)
10717 // @@protoc_insertion_point(field_list:operations_research.sat.PartialVariableAssignment.values)
10726 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.PartialVariableAssignment.values)
10736 name_.ClearToEmpty(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
10755 name_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), value, GetArena());
10760 &::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::move(value), GetArena());
10766 name_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::string(value),
10779 return name_.Mutable(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
10783 return name_.Release(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
10796 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.CpModelProto.name)
10799 return name_.UnsafeArenaRelease(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
10810 name_.UnsafeArenaSetAllocated(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
10812 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.CpModelProto.name)
10825 inline ::operations_research::sat::IntegerVariableProto* CpModelProto::mutable_variables(int index) {
10829 inline ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto >*
10831 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpModelProto.variables)
10834 inline const ::operations_research::sat::IntegerVariableProto& CpModelProto::_internal_variables(int index) const {
10837 inline const ::operations_research::sat::IntegerVariableProto& CpModelProto::variables(int index) const {
10841 inline ::operations_research::sat::IntegerVariableProto* CpModelProto::_internal_add_variables() {
10848 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto >&
10864 inline ::operations_research::sat::ConstraintProto* CpModelProto::mutable_constraints(int index) {
10868 inline ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::ConstraintProto >*
10870 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpModelProto.constraints)
10873 inline const ::operations_research::sat::ConstraintProto& CpModelProto::_internal_constraints(int index) const {
10876 inline const ::operations_research::sat::ConstraintProto& CpModelProto::constraints(int index) const {
10880 inline ::operations_research::sat::ConstraintProto* CpModelProto::_internal_add_constraints() {
10887 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::ConstraintProto >&
10906 inline const ::operations_research::sat::CpObjectiveProto& CpModelProto::_internal_objective() const {
10908 return p != nullptr ? *p : *reinterpret_cast<const ::operations_research::sat::CpObjectiveProto*>(
10926 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.CpModelProto.objective)
10935 inline ::operations_research::sat::CpObjectiveProto* CpModelProto::unsafe_arena_release_objective() {
10942 inline ::operations_research::sat::CpObjectiveProto* CpModelProto::_internal_mutable_objective() {
10954 inline void CpModelProto::set_allocated_objective(::operations_research::sat::CpObjectiveProto* objective) {
10971 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.CpModelProto.objective)
10984 inline ::operations_research::sat::DecisionStrategyProto* CpModelProto::mutable_search_strategy(int index) {
10985 // @@protoc_insertion_point(field_mutable:operations_research.sat.CpModelProto.search_strategy)
10988 inline ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto >*
10990 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpModelProto.search_strategy)
10993 inline const ::operations_research::sat::DecisionStrategyProto& CpModelProto::_internal_search_strategy(int index) const {
10996 inline const ::operations_research::sat::DecisionStrategyProto& CpModelProto::search_strategy(int index) const {
11000 inline ::operations_research::sat::DecisionStrategyProto* CpModelProto::_internal_add_search_strategy() {
11003 inline ::operations_research::sat::DecisionStrategyProto* CpModelProto::add_search_strategy() {
11007 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto >&
11026 inline const ::operations_research::sat::PartialVariableAssignment& CpModelProto::_internal_solution_hint() const {
11028 return p != nullptr ? *p : *reinterpret_cast<const ::operations_research::sat::PartialVariableAssignment*>(
11031 inline const ::operations_research::sat::PartialVariableAssignment& CpModelProto::solution_hint() const {
11046 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.CpModelProto.solution_hint)
11048 inline ::operations_research::sat::PartialVariableAssignment* CpModelProto::release_solution_hint() {
11055 inline ::operations_research::sat::PartialVariableAssignment* CpModelProto::unsafe_arena_release_solution_hint() {
11062 inline ::operations_research::sat::PartialVariableAssignment* CpModelProto::_internal_mutable_solution_hint() {
11065 auto* p = CreateMaybeMessage<::operations_research::sat::PartialVariableAssignment>(GetArena());
11070 inline ::operations_research::sat::PartialVariableAssignment* CpModelProto::mutable_solution_hint() {
11074 inline void CpModelProto::set_allocated_solution_hint(::operations_research::sat::PartialVariableAssignment* solution_hint) {
11091 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.CpModelProto.solution_hint)
11137 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpModelProto.assumptions)
11149 inline ::operations_research::sat::CpSolverStatus CpSolverResponse::_internal_status() const {
11156 inline void CpSolverResponse::_internal_set_status(::operations_research::sat::CpSolverStatus value) {
11208 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpSolverResponse.solution)
11220 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.objective_value)
11229 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.objective_value)
11240 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.best_objective_bound)
11249 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.best_objective_bound)
11262 inline ::PROTOBUF_NAMESPACE_ID::int64 CpSolverResponse::_internal_solution_lower_bounds(int index) const {
11265 inline ::PROTOBUF_NAMESPACE_ID::int64 CpSolverResponse::solution_lower_bounds(int index) const {
11266 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.solution_lower_bounds)
11269 inline void CpSolverResponse::set_solution_lower_bounds(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
11271 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.solution_lower_bounds)
11273 inline void CpSolverResponse::_internal_add_solution_lower_bounds(::PROTOBUF_NAMESPACE_ID::int64 value) {
11276 inline void CpSolverResponse::add_solution_lower_bounds(::PROTOBUF_NAMESPACE_ID::int64 value) {
11278 // @@protoc_insertion_point(field_add:operations_research.sat.CpSolverResponse.solution_lower_bounds)
11286 // @@protoc_insertion_point(field_list:operations_research.sat.CpSolverResponse.solution_lower_bounds)
11295 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpSolverResponse.solution_lower_bounds)
11309 inline ::PROTOBUF_NAMESPACE_ID::int64 CpSolverResponse::_internal_solution_upper_bounds(int index) const {
11312 inline ::PROTOBUF_NAMESPACE_ID::int64 CpSolverResponse::solution_upper_bounds(int index) const {
11313 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.solution_upper_bounds)
11316 inline void CpSolverResponse::set_solution_upper_bounds(int index, ::PROTOBUF_NAMESPACE_ID::int64 value) {
11318 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.solution_upper_bounds)
11320 inline void CpSolverResponse::_internal_add_solution_upper_bounds(::PROTOBUF_NAMESPACE_ID::int64 value) {
11323 inline void CpSolverResponse::add_solution_upper_bounds(::PROTOBUF_NAMESPACE_ID::int64 value) {
11325 // @@protoc_insertion_point(field_add:operations_research.sat.CpSolverResponse.solution_upper_bounds)
11333 // @@protoc_insertion_point(field_list:operations_research.sat.CpSolverResponse.solution_upper_bounds)
11342 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpSolverResponse.solution_upper_bounds)
11356 inline ::operations_research::sat::IntegerVariableProto* CpSolverResponse::mutable_tightened_variables(int index) {
11357 // @@protoc_insertion_point(field_mutable:operations_research.sat.CpSolverResponse.tightened_variables)
11360 inline ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto >*
11362 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpSolverResponse.tightened_variables)
11365 inline const ::operations_research::sat::IntegerVariableProto& CpSolverResponse::_internal_tightened_variables(int index) const {
11368 inline const ::operations_research::sat::IntegerVariableProto& CpSolverResponse::tightened_variables(int index) const {
11369 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.tightened_variables)
11372 inline ::operations_research::sat::IntegerVariableProto* CpSolverResponse::_internal_add_tightened_variables() {
11375 inline ::operations_research::sat::IntegerVariableProto* CpSolverResponse::add_tightened_variables() {
11376 // @@protoc_insertion_point(field_add:operations_research.sat.CpSolverResponse.tightened_variables)
11379 inline const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto >&
11381 // @@protoc_insertion_point(field_list:operations_research.sat.CpSolverResponse.tightened_variables)
11386 inline int CpSolverResponse::_internal_sufficient_assumptions_for_infeasibility_size() const {
11395 inline ::PROTOBUF_NAMESPACE_ID::int32 CpSolverResponse::_internal_sufficient_assumptions_for_infeasibility(int index) const {
11398 inline ::PROTOBUF_NAMESPACE_ID::int32 CpSolverResponse::sufficient_assumptions_for_infeasibility(int index) const {
11399 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.sufficient_assumptions_for_infeasibility)
11402 inline void CpSolverResponse::set_sufficient_assumptions_for_infeasibility(int index, ::PROTOBUF_NAMESPACE_ID::int32 value) {
11404 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.sufficient_assumptions_for_infeasibility)
11406 inline void CpSolverResponse::_internal_add_sufficient_assumptions_for_infeasibility(::PROTOBUF_NAMESPACE_ID::int32 value) {
11409 inline void CpSolverResponse::add_sufficient_assumptions_for_infeasibility(::PROTOBUF_NAMESPACE_ID::int32 value) {
11411 // @@protoc_insertion_point(field_add:operations_research.sat.CpSolverResponse.sufficient_assumptions_for_infeasibility)
11419 // @@protoc_insertion_point(field_list:operations_research.sat.CpSolverResponse.sufficient_assumptions_for_infeasibility)
11428 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.CpSolverResponse.sufficient_assumptions_for_infeasibility)
11440 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.all_solutions_were_found)
11449 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.all_solutions_were_found)
11463 inline void CpSolverResponse::_internal_set_num_booleans(::PROTOBUF_NAMESPACE_ID::int64 value) {
11483 inline void CpSolverResponse::_internal_set_num_conflicts(::PROTOBUF_NAMESPACE_ID::int64 value) {
11503 inline void CpSolverResponse::_internal_set_num_branches(::PROTOBUF_NAMESPACE_ID::int64 value) {
11516 inline ::PROTOBUF_NAMESPACE_ID::int64 CpSolverResponse::_internal_num_binary_propagations() const {
11520 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.num_binary_propagations)
11523 inline void CpSolverResponse::_internal_set_num_binary_propagations(::PROTOBUF_NAMESPACE_ID::int64 value) {
11527 inline void CpSolverResponse::set_num_binary_propagations(::PROTOBUF_NAMESPACE_ID::int64 value) {
11529 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.num_binary_propagations)
11536 inline ::PROTOBUF_NAMESPACE_ID::int64 CpSolverResponse::_internal_num_integer_propagations() const {
11540 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.num_integer_propagations)
11543 inline void CpSolverResponse::_internal_set_num_integer_propagations(::PROTOBUF_NAMESPACE_ID::int64 value) {
11547 inline void CpSolverResponse::set_num_integer_propagations(::PROTOBUF_NAMESPACE_ID::int64 value) {
11549 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.num_integer_propagations)
11600 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.deterministic_time)
11609 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.deterministic_time)
11620 // @@protoc_insertion_point(field_get:operations_research.sat.CpSolverResponse.primal_integral)
11629 // @@protoc_insertion_point(field_set:operations_research.sat.CpSolverResponse.primal_integral)
11634 solution_info_.ClearToEmpty(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
11645 // @@protoc_insertion_point(field_mutable:operations_research.sat.CpSolverResponse.solution_info)
11653 solution_info_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), value, GetArena());
11658 &::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::move(value), GetArena());
11659 // @@protoc_insertion_point(field_set_rvalue:operations_research.sat.CpSolverResponse.solution_info)
11664 solution_info_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::string(value),
11666 // @@protoc_insertion_point(field_set_char:operations_research.sat.CpSolverResponse.solution_info)
11671 solution_info_.Set(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), ::std::string(
11673 // @@protoc_insertion_point(field_set_pointer:operations_research.sat.CpSolverResponse.solution_info)
11677 return solution_info_.Mutable(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
11680 // @@protoc_insertion_point(field_release:operations_research.sat.CpSolverResponse.solution_info)
11681 return solution_info_.Release(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), GetArena());
11689 solution_info_.SetAllocated(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(), solution_info,
11691 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.CpSolverResponse.solution_info)
11694 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.CpSolverResponse.solution_info)
11697 return solution_info_.UnsafeArenaRelease(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
11708 solution_info_.UnsafeArenaSetAllocated(&::PROTOBUF_NAMESPACE_ID::internal::GetEmptyStringAlreadyInited(),
11710 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.CpSolverResponse.solution_info)
11774 template <> struct is_proto_enum< ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy> : ::std::true_type {};
11776 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy>() {
11777 return ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy_descriptor();
11779 template <> struct is_proto_enum< ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy> : ::std::true_type {};
11781 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy>() {
11782 return ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy_descriptor();
11784 template <> struct is_proto_enum< ::operations_research::sat::CpSolverStatus> : ::std::true_type {};
11786 inline const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::CpSolverStatus>() {
LinearExpressionProto(const LinearExpressionProto &from)
const std::string & CpSolverStatus_Name(T enum_t_value)
Definition: cp_model.pb.h:243
IntervalConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
RoutesConstraintProto(const RoutesConstraintProto &from)
IntervalConstraintProto * New() const final
Definition: cp_model.pb.h:1689
void Swap(NoOverlapConstraintProto *other)
Definition: cp_model.pb.h:1832
friend void swap(IntegerVariableProto &a, IntegerVariableProto &b)
Definition: cp_model.pb.h:301
void set_enforcement_literal(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
friend void swap(RoutesConstraintProto &a, RoutesConstraintProto &b)
Definition: cp_model.pb.h:2778
AllDifferentConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
int variables_size() const
@ DecisionStrategyProto_VariableSelectionStrategy_DecisionStrategyProto_VariableSelectionStrategy_INT_MAX_SENTINEL_DO_NOT_USE_
Definition: cp_model.pb.h:178
::PROTOBUF_NAMESPACE_ID::int32 var() const
CpObjectiveProto(const CpObjectiveProto &from)
::PROTOBUF_NAMESPACE_ID::int32 coeffs(int index) const
static const DecisionStrategyProto * internal_default_instance()
Definition: cp_model.pb.h:4933
friend void swap(CpSolverResponse &a, CpSolverResponse &b)
Definition: cp_model.pb.h:5661
int transition_head_size() const
void set_f_direct(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
void set_allocated_name(std::string *name)
const std::string & name() const
static const TableConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:3184
static const LinearArgumentProto * internal_default_instance()
Definition: cp_model.pb.h:972
virtual ~CircuitCoveringConstraintProto()
LinearConstraintProto & operator=(const LinearConstraintProto &from)
Definition: cp_model.pb.h:1264
::PROTOBUF_NAMESPACE_ID::int64 final_states(int index) const
static const BoolArgumentProto * internal_default_instance()
Definition: cp_model.pb.h:472
void add_demands(::PROTOBUF_NAMESPACE_ID::int32 value)
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > * mutable_variables()
void MergeFrom(const IntervalConstraintProto &from)
static const RoutesConstraintProto & default_instance()
friend void swap(IntegerArgumentProto &a, IntegerArgumentProto &b)
Definition: cp_model.pb.h:630
void UnsafeArenaSwap(LinearExpressionProto *other)
Definition: cp_model.pb.h:803
int values_size() const
int f_inverse_size() const
bool DecisionStrategyProto_VariableSelectionStrategy_Parse(const std::string &name, DecisionStrategyProto_VariableSelectionStrategy *value)
Definition: cp_model.pb.h:194
static const IntegerArgumentProto & default_instance()
void clear_y_intervals()
void add_demands(::PROTOBUF_NAMESPACE_ID::int64 value)
DecisionStrategyProto_AffineTransformationDefaultTypeInternal _DecisionStrategyProto_AffineTransformation_default_instance_
::operations_research::sat::DecisionStrategyProto * add_search_strategy()
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_tails()
void Swap(CumulativeConstraintProto *other)
Definition: cp_model.pb.h:2170
CircuitConstraintProto()
Definition: cp_model.pb.h:2536
static const AutomatonConstraintProto & default_instance()
void clear_starting_state()
::operations_research::sat::DecisionStrategyProto * mutable_search_strategy(int index)
InverseConstraintProtoDefaultTypeInternal _InverseConstraintProto_default_instance_
ElementConstraintProto(const ElementConstraintProto &from)
void set_allocated_target(::operations_research::sat::LinearExpressionProto *target)
::PROTOBUF_NAMESPACE_ID::Metadata GetMetadata() const final
static const LinearArgumentProto & default_instance()
const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > & variables() const
IntervalConstraintProto & operator=(IntervalConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1642
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * DecisionStrategyProto_VariableSelectionStrategy_descriptor()
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_distinguished_nodes()
ConstraintProto(const ConstraintProto &from)
PartialVariableAssignment(const PartialVariableAssignment &from)
void MergeFrom(const CircuitCoveringConstraintProto &from)
IntegerVariableProto()
Definition: cp_model.pb.h:260
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_vars()
void set_values(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
static const DecisionStrategyProto_AffineTransformation * internal_default_instance()
Definition: cp_model.pb.h:4774
IntervalConstraintProto & operator=(const IntervalConstraintProto &from)
Definition: cp_model.pb.h:1638
::PROTOBUF_NAMESPACE_ID::int32 end() const
NoOverlap2DConstraintProto()
Definition: cp_model.pb.h:1939
@ DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_FIRST
Definition: cp_model.pb.h:172
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::ConstraintProto > * mutable_constraints()
static const IntegerArgumentProto * internal_default_instance()
Definition: cp_model.pb.h:623
void add_assumptions(::PROTOBUF_NAMESPACE_ID::int32 value)
PartialVariableAssignment()
Definition: cp_model.pb.h:5166
CircuitCoveringConstraintProto * New() const final
Definition: cp_model.pb.h:3034
void set_assumptions(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
IntegerArgumentProto & operator=(const IntegerArgumentProto &from)
Definition: cp_model.pb.h:598
void add_transition_head(::PROTOBUF_NAMESPACE_ID::int64 value)
void add_x_intervals(::PROTOBUF_NAMESPACE_ID::int32 value)
TableConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:3214
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > * mutable_tightened_variables()
CircuitCoveringConstraintProto()
Definition: cp_model.pb.h:2974
InverseConstraintProto(InverseConstraintProto &&from) noexcept
Definition: cp_model.pb.h:3341
void clear_domain()
LinearExpressionProto & operator=(const LinearExpressionProto &from)
Definition: cp_model.pb.h:760
void set_offset(double value)
friend void swap(CircuitCoveringConstraintProto &a, CircuitCoveringConstraintProto &b)
Definition: cp_model.pb.h:3015
void clear_offset()
static const InverseConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:3371
void CopyFrom(const BoolArgumentProto &from)
void set_solution_lower_bounds(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
int literals_size() const
void set_start(::PROTOBUF_NAMESPACE_ID::int32 value)
static const CpSolverResponse * internal_default_instance()
Definition: cp_model.pb.h:5654
static const ReservoirConstraintProto & default_instance()
friend void swap(InverseConstraintProto &a, InverseConstraintProto &b)
Definition: cp_model.pb.h:3378
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto > * mutable_search_strategy()
void MergeFrom(const BoolArgumentProto &from)
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & intervals() const
friend void swap(NoOverlapConstraintProto &a, NoOverlapConstraintProto &b)
Definition: cp_model.pb.h:1829
friend void swap(AllDifferentConstraintProto &a, AllDifferentConstraintProto &b)
Definition: cp_model.pb.h:1145
static const DecisionStrategyProto_AffineTransformation & default_instance()
ConstraintProto(ConstraintProto &&from) noexcept
Definition: cp_model.pb.h:3779
LinearConstraintProtoDefaultTypeInternal _LinearConstraintProto_default_instance_
::PROTOBUF_NAMESPACE_ID::int32 literals(int index) const
void Swap(IntegerVariableProto *other)
Definition: cp_model.pb.h:304
IntegerArgumentProto(const IntegerArgumentProto &from)
TableConstraintProto & operator=(const TableConstraintProto &from)
Definition: cp_model.pb.h:3159
static const AllDifferentConstraintProto & default_instance()
NoOverlap2DConstraintProto & operator=(const NoOverlap2DConstraintProto &from)
Definition: cp_model.pb.h:1948
CircuitConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
ReservoirConstraintProto(const ReservoirConstraintProto &from)
void clear_min_level()
NoOverlap2DConstraintProto(const NoOverlap2DConstraintProto &from)
void unsafe_arena_set_allocated_target(::operations_research::sat::LinearExpressionProto *target)
void set_nexts(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
DecisionStrategyProto_DomainReductionStrategy
Definition: cp_model.pb.h:199
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * GetDescriptor()
Definition: cp_model.pb.h:285
void Swap(NoOverlap2DConstraintProto *other)
Definition: cp_model.pb.h:1983
BoolArgumentProto & operator=(const BoolArgumentProto &from)
Definition: cp_model.pb.h:447
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & heads() const
LinearConstraintProto()
Definition: cp_model.pb.h:1255
CumulativeConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:2190
void set_demands(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
InverseConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:3401
void MergeFrom(const ConstraintProto &from)
void add_f_direct(::PROTOBUF_NAMESPACE_ID::int32 value)
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_variables()
void add_times(::PROTOBUF_NAMESPACE_ID::int32 value)
virtual ~NoOverlap2DConstraintProto()
DecisionStrategyProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:4963
void UnsafeArenaSwap(AutomatonConstraintProto *other)
Definition: cp_model.pb.h:3565
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & f_inverse() const
LinearArgumentProto & operator=(const LinearArgumentProto &from)
Definition: cp_model.pb.h:947
IntegerVariableProto(const IntegerVariableProto &from)
DecisionStrategyProto_AffineTransformation(const DecisionStrategyProto_AffineTransformation &from)
DecisionStrategyProto & operator=(DecisionStrategyProto &&from) noexcept
Definition: cp_model.pb.h:4912
::PROTOBUF_NAMESPACE_ID::int32 capacity() const
void UnsafeArenaSwap(ConstraintProto *other)
Definition: cp_model.pb.h:3856
void MergeFrom(const AllDifferentConstraintProto &from)
ReservoirConstraintProto & operator=(ReservoirConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2326
NoOverlap2DConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
CumulativeConstraintProto * New() const final
Definition: cp_model.pb.h:2186
int demands_size() const
void MergeFrom(const RoutesConstraintProto &from)
void CopyFrom(const ReservoirConstraintProto &from)
friend void swap(LinearExpressionProto &a, LinearExpressionProto &b)
Definition: cp_model.pb.h:792
void CopyFrom(const CpObjectiveProto &from)
void clear_search_strategy()
void Swap(BoolArgumentProto *other)
Definition: cp_model.pb.h:482
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * CpSolverStatus_descriptor()
int assumptions_size() const
::PROTOBUF_NAMESPACE_ID::int64 solution_upper_bounds(int index) const
void add_coeffs(::PROTOBUF_NAMESPACE_ID::int64 value)
void MergeFrom(const CircuitConstraintProto &from)
void clear_solution_lower_bounds()
::operations_research::sat::LinearExpressionProto * unsafe_arena_release_target()
NoOverlapConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:1852
IntegerVariableProto(IntegerVariableProto &&from) noexcept
Definition: cp_model.pb.h:264
const ::operations_research::sat::IntegerVariableProto & variables(int index) const
void set_solution_upper_bounds(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
DecisionStrategyProto_AffineTransformation * New() const final
Definition: cp_model.pb.h:4800
PartialVariableAssignment(::PROTOBUF_NAMESPACE_ID::Arena *arena)
std::string * release_name()
static const BoolArgumentProto & default_instance()
void Swap(CpModelProto *other)
Definition: cp_model.pb.h:5386
bool CpSolverStatus_IsValid(int value)
CpModelProto & operator=(CpModelProto &&from) noexcept
Definition: cp_model.pb.h:5355
virtual ~IntegerVariableProto()
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_values()
PartialVariableAssignment & operator=(const PartialVariableAssignment &from)
Definition: cp_model.pb.h:5175
virtual ~LinearConstraintProto()
void clear_index()
LinearArgumentProto()
Definition: cp_model.pb.h:938
void Swap(RoutesConstraintProto *other)
Definition: cp_model.pb.h:2781
int domain_size() const
DecisionStrategyProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
void UnsafeArenaSwap(CircuitConstraintProto *other)
Definition: cp_model.pb.h:2588
int tails_size() const
void set_max_level(::PROTOBUF_NAMESPACE_ID::int64 value)
static const PartialVariableAssignment & default_instance()
AllDifferentConstraintProtoDefaultTypeInternal _AllDifferentConstraintProto_default_instance_
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_enforcement_literal()
ElementConstraintProto()
Definition: cp_model.pb.h:1456
NoOverlap2DConstraintProto(NoOverlap2DConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1943
void set_transition_label(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
friend void swap(DecisionStrategyProto &a, DecisionStrategyProto &b)
Definition: cp_model.pb.h:4940
LinearConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:1319
void clear_domain_reduction_strategy()
friend void swap(BoolArgumentProto &a, BoolArgumentProto &b)
Definition: cp_model.pb.h:479
virtual ~TableConstraintProto()
void UnsafeArenaSwap(CumulativeConstraintProto *other)
Definition: cp_model.pb.h:2178
void clear_transformations()
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & final_states() const
DecisionStrategyProto(DecisionStrategyProto &&from) noexcept
Definition: cp_model.pb.h:4903
ReservoirConstraintProto(ReservoirConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2317
void clear_tails()
static const PartialVariableAssignment * internal_default_instance()
Definition: cp_model.pb.h:5200
::PROTOBUF_NAMESPACE_ID::int32 vars(int index) const
const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto > & search_strategy() const
ConstraintCase
Definition: cp_model.pb.h:3808
friend void swap(CumulativeConstraintProto &a, CumulativeConstraintProto &b)
Definition: cp_model.pb.h:2167
NoOverlapConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
PROTOBUF_ATTRIBUTE_REINITIALIZES void Clear() final
void UnsafeArenaSwap(DecisionStrategyProto *other)
Definition: cp_model.pb.h:4951
ElementConstraintProto * New() const final
Definition: cp_model.pb.h:1516
NoOverlap2DConstraintProtoDefaultTypeInternal _NoOverlap2DConstraintProto_default_instance_
ConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
BoolArgumentProto(const BoolArgumentProto &from)
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & coeffs() const
void Swap(InverseConstraintProto *other)
Definition: cp_model.pb.h:3381
const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearExpressionProto > & exprs() const
AutomatonConstraintProto & operator=(const AutomatonConstraintProto &from)
Definition: cp_model.pb.h:3522
Definition: cp_model.h:52
int heads_size() const
::operations_research::sat::DecisionStrategyProto_AffineTransformation * mutable_transformations(int index)
::operations_research::sat::LinearExpressionProto * add_exprs()
NoOverlapConstraintProto()
Definition: cp_model.pb.h:1788
void CopyFrom(const IntegerArgumentProto &from)
RoutesConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
ElementConstraintProto & operator=(ElementConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1469
static const AutomatonConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:3547
int distinguished_nodes_size() const
void MergeFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
BoolArgumentProto & operator=(BoolArgumentProto &&from) noexcept
Definition: cp_model.pb.h:451
void CopyFrom(const AllDifferentConstraintProto &from)
static const NoOverlapConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:1822
BoolArgumentProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
void UnsafeArenaSwap(InverseConstraintProto *other)
Definition: cp_model.pb.h:3389
friend void swap(LinearArgumentProto &a, LinearArgumentProto &b)
Definition: cp_model.pb.h:979
void CopyFrom(const TableConstraintProto &from)
LinearExpressionProtoDefaultTypeInternal _LinearExpressionProto_default_instance_
::PROTOBUF_NAMESPACE_ID::int32 enforcement_literal(int index) const
ReservoirConstraintProtoDefaultTypeInternal _ReservoirConstraintProto_default_instance_
::PROTOBUF_NAMESPACE_ID::int32 assumptions(int index) const
LinearConstraintProto * New() const final
Definition: cp_model.pb.h:1315
@ DecisionStrategyProto_DomainReductionStrategy_DecisionStrategyProto_DomainReductionStrategy_INT_MIN_SENTINEL_DO_NOT_USE_
Definition: cp_model.pb.h:205
void UnsafeArenaSwap(CpSolverResponse *other)
Definition: cp_model.pb.h:5672
@ CpSolverStatus_INT_MIN_SENTINEL_DO_NOT_USE_
Definition: cp_model.pb.h:233
void clear_nexts()
void CopyFrom(const LinearExpressionProto &from)
DecisionStrategyProto * New() const final
Definition: cp_model.pb.h:4959
void set_distinguished_nodes(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & domain() const
void UnsafeArenaSwap(CpModelProto *other)
Definition: cp_model.pb.h:5394
::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy variable_selection_strategy() const
bool CpSolverStatus_Parse(const std::string &name, CpSolverStatus *value)
Definition: cp_model.pb.h:250
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & vars() const
virtual ~AllDifferentConstraintProto()
ConstraintProtoDefaultTypeInternal _ConstraintProto_default_instance_
AllDifferentConstraintProto()
Definition: cp_model.pb.h:1104
void set_final_states(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
static const NoOverlap2DConstraintProto & default_instance()
static const IntervalConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:1663
void set_actives(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
int transformations_size() const
void clear_variable_selection_strategy()
static const LinearConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:1289
void clear_negated()
DecisionStrategyProto_AffineTransformation & operator=(DecisionStrategyProto_AffineTransformation &&from) noexcept
Definition: cp_model.pb.h:4753
ConstraintProto * New() const final
Definition: cp_model.pb.h:3864
void add_sufficient_assumptions_for_infeasibility(::PROTOBUF_NAMESPACE_ID::int32 value)
const ::operations_research::sat::ConstraintProto & constraints(int index) const
int search_strategy_size() const
void clear_solution_upper_bounds()
IntegerVariableProto & operator=(const IntegerVariableProto &from)
Definition: cp_model.pb.h:269
void CopyFrom(const ::PROTOBUF_NAMESPACE_ID::Message &from) final
void add_domain(::PROTOBUF_NAMESPACE_ID::int64 value)
const std::string & DecisionStrategyProto_DomainReductionStrategy_Name(T enum_t_value)
Definition: cp_model.pb.h:215
RoutesConstraintProto(RoutesConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2741
void set_domain(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
void clear_demands()
void set_allocated_solution_info(std::string *solution_info)
static const LinearExpressionProto & default_instance()
void clear_x_intervals()
IntegerArgumentProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:653
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_assumptions()
LinearArgumentProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:1002
void Swap(LinearConstraintProto *other)
Definition: cp_model.pb.h:1299
void clear_intervals()
void clear_target()
::PROTOBUF_NAMESPACE_ID::int32 f_direct(int index) const
CpModelProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
void clear_literals()
AutomatonConstraintProto(AutomatonConstraintProto &&from) noexcept
Definition: cp_model.pb.h:3517
void CopyFrom(const LinearArgumentProto &from)
CircuitConstraintProto(const CircuitConstraintProto &from)
virtual ~CpSolverResponse()
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & literals() const
void UnsafeArenaSwap(CpObjectiveProto *other)
Definition: cp_model.pb.h:4569
void set_times(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
AllDifferentConstraintProto(const AllDifferentConstraintProto &from)
PartialVariableAssignment & operator=(PartialVariableAssignment &&from) noexcept
Definition: cp_model.pb.h:5179
::operations_research::sat::IntegerVariableProto * mutable_tightened_variables(int index)
void add_transition_label(::PROTOBUF_NAMESPACE_ID::int64 value)
void set_name(const char *value, size_t size)
CpSolverResponse & operator=(const CpSolverResponse &from)
Definition: cp_model.pb.h:5629
InverseConstraintProto * New() const final
Definition: cp_model.pb.h:3397
void add_transition_tail(::PROTOBUF_NAMESPACE_ID::int64 value)
LinearExpressionProto(LinearExpressionProto &&from) noexcept
Definition: cp_model.pb.h:755
void set_heads(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
void CopyFrom(const LinearConstraintProto &from)
int solution_upper_bounds_size() const
LinearArgumentProto * New() const final
Definition: cp_model.pb.h:998
void clear_actives()
static const ::PROTOBUF_NAMESPACE_ID::Descriptor * descriptor()
Definition: cp_model.pb.h:282
void add_variables(::PROTOBUF_NAMESPACE_ID::int32 value)
static const CpObjectiveProto & default_instance()
CumulativeConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
static const ElementConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:1490
constexpr DecisionStrategyProto_DomainReductionStrategy DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MIN
Definition: cp_model.pb.h:209
void Swap(DecisionStrategyProto *other)
Definition: cp_model.pb.h:4943
::PROTOBUF_NAMESPACE_ID::int32 target() const
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & tails() const
friend void swap(TableConstraintProto &a, TableConstraintProto &b)
Definition: cp_model.pb.h:3191
IntegerArgumentProto()
Definition: cp_model.pb.h:589
void CopyFrom(const NoOverlap2DConstraintProto &from)
static const std::string & VariableSelectionStrategy_Name(T enum_t_value)
Definition: cp_model.pb.h:5033
friend void swap(LinearConstraintProto &a, LinearConstraintProto &b)
Definition: cp_model.pb.h:1296
ReservoirConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
ConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:3868
::operations_research::sat::IntegerVariableProto * add_tightened_variables()
static const CpModelProto & default_instance()
void CopyFrom(const CpModelProto &from)
void clear_transition_head()
NoOverlapConstraintProto & operator=(const NoOverlapConstraintProto &from)
Definition: cp_model.pb.h:1797
void MergeFrom(const IntegerVariableProto &from)
@ DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_MAX_DOMAIN_SIZE
Definition: cp_model.pb.h:176
CpObjectiveProto & operator=(const CpObjectiveProto &from)
Definition: cp_model.pb.h:4526
@ DecisionStrategyProto_DomainReductionStrategy_SELECT_MAX_VALUE
Definition: cp_model.pb.h:201
IntervalConstraintProto(IntervalConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1633
static const std::string & DomainReductionStrategy_Name(T enum_t_value)
Definition: cp_model.pb.h:5069
static const IntegerVariableProto & default_instance()
virtual ~CpModelProto()
static const CpModelProto * internal_default_instance()
Definition: cp_model.pb.h:5376
::operations_research::sat::LinearExpressionProto * mutable_exprs(int index)
void add_heads(::PROTOBUF_NAMESPACE_ID::int32 value)
void Swap(LinearArgumentProto *other)
Definition: cp_model.pb.h:982
int actives_size() const
IntegerArgumentProtoDefaultTypeInternal _IntegerArgumentProto_default_instance_
void CopyFrom(const CircuitCoveringConstraintProto &from)
DecisionStrategyProto & operator=(const DecisionStrategyProto &from)
Definition: cp_model.pb.h:4908
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & solution_upper_bounds() const
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_solution()
BoolArgumentProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:502
DecisionStrategyProtoDefaultTypeInternal _DecisionStrategyProto_default_instance_
NoOverlapConstraintProto * New() const final
Definition: cp_model.pb.h:1848
CircuitCoveringConstraintProto & operator=(CircuitCoveringConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2987
::PROTOBUF_NAMESPACE_ID::int64 transition_head(int index) const
void clear_times()
void CopyFrom(const CumulativeConstraintProto &from)
void CopyFrom(const CircuitConstraintProto &from)
int enforcement_literal_size() const
const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::IntegerVariableProto > & tightened_variables() const
BoolArgumentProto()
Definition: cp_model.pb.h:438
void UnsafeArenaSwap(PartialVariableAssignment *other)
Definition: cp_model.pb.h:5218
void clear_capacity()
virtual ~DecisionStrategyProto()
DecisionStrategyProto_AffineTransformation(::PROTOBUF_NAMESPACE_ID::Arena *arena)
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_sufficient_assumptions_for_infeasibility()
::operations_research::sat::LinearExpressionProto * mutable_target()
::PROTOBUF_NAMESPACE_ID::int32 sufficient_assumptions_for_infeasibility(int index) const
IntervalConstraintProto(const IntervalConstraintProto &from)
RoutesConstraintProtoDefaultTypeInternal _RoutesConstraintProto_default_instance_
constexpr DecisionStrategyProto_DomainReductionStrategy DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MAX
Definition: cp_model.pb.h:210
TableConstraintProto & operator=(TableConstraintProto &&from) noexcept
Definition: cp_model.pb.h:3163
void UnsafeArenaSwap(ElementConstraintProto *other)
Definition: cp_model.pb.h:1508
::PROTOBUF_NAMESPACE_ID::int32 actives(int index) const
CpSolverResponse * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:5684
static const CircuitConstraintProto & default_instance()
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & enforcement_literal() const
void add_literals(::PROTOBUF_NAMESPACE_ID::int32 value)
friend void swap(CpObjectiveProto &a, CpObjectiveProto &b)
Definition: cp_model.pb.h:4558
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & x_intervals() const
NoOverlap2DConstraintProto * New() const final
Definition: cp_model.pb.h:1999
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_actives()
constexpr int DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_ARRAYSIZE
Definition: cp_model.pb.h:211
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::LinearExpressionProto > * mutable_exprs()
virtual ~CumulativeConstraintProto()
static bool DomainReductionStrategy_Parse(const std::string &name, DomainReductionStrategy *value)
Definition: cp_model.pb.h:5075
void add_vars(::PROTOBUF_NAMESPACE_ID::int32 value)
double scaling_factor() const
const ::operations_research::sat::IntegerVariableProto & tightened_variables(int index) const
TableConstraintProto()
Definition: cp_model.pb.h:3150
IntegerVariableProto * New() const final
Definition: cp_model.pb.h:320
CpSolverResponse & operator=(CpSolverResponse &&from) noexcept
Definition: cp_model.pb.h:5633
DecisionStrategyProto_VariableSelectionStrategy
Definition: cp_model.pb.h:171
void clear_size()
void clear_vars()
::PROTOBUF_NAMESPACE_ID::int32 times(int index) const
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_demands()
RoutesConstraintProto()
Definition: cp_model.pb.h:2737
void add_solution_upper_bounds(::PROTOBUF_NAMESPACE_ID::int64 value)
double offset() const
void MergeFrom(const IntegerArgumentProto &from)
IntegerArgumentProto & operator=(IntegerArgumentProto &&from) noexcept
Definition: cp_model.pb.h:602
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_y_intervals()
void Swap(ElementConstraintProto *other)
Definition: cp_model.pb.h:1500
void Swap(PartialVariableAssignment *other)
Definition: cp_model.pb.h:5210
virtual ~InverseConstraintProto()
static const IntervalConstraintProto & default_instance()
void MergeFrom(const PartialVariableAssignment &from)
void set_domain_reduction_strategy(::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy value)
CpObjectiveProto & operator=(CpObjectiveProto &&from) noexcept
Definition: cp_model.pb.h:4530
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_x_intervals()
int tightened_variables_size() const
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_coeffs()
virtual ~IntegerArgumentProto()
ConstraintProto & operator=(const ConstraintProto &from)
Definition: cp_model.pb.h:3784
IntervalConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:1693
void MergeFrom(const LinearExpressionProto &from)
DecisionStrategyProto_AffineTransformation()
Definition: cp_model.pb.h:4740
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & nexts() const
::operations_research::sat::ConstraintProto * add_constraints()
void add_enforcement_literal(::PROTOBUF_NAMESPACE_ID::int32 value)
::PROTOBUF_NAMESPACE_ID::int32 f_inverse(int index) const
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_f_direct()
static const IntegerVariableProto * internal_default_instance()
Definition: cp_model.pb.h:294
void CopyFrom(const IntervalConstraintProto &from)
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & y_intervals() const
CumulativeConstraintProto & operator=(CumulativeConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2139
AutomatonConstraintProto()
Definition: cp_model.pb.h:3513
::PROTOBUF_NAMESPACE_ID::int32 demands(int index) const
::PROTOBUF_NAMESPACE_ID::int64 solution(int index) const
::PROTOBUF_NAMESPACE_ID::int64 max_level() const
@ DecisionStrategyProto_DomainReductionStrategy_DecisionStrategyProto_DomainReductionStrategy_INT_MAX_SENTINEL_DO_NOT_USE_
Definition: cp_model.pb.h:206
AutomatonConstraintProto(const AutomatonConstraintProto &from)
AllDifferentConstraintProto & operator=(AllDifferentConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1117
CumulativeConstraintProto(const CumulativeConstraintProto &from)
::operations_research::sat::IntegerVariableProto * mutable_variables(int index)
InverseConstraintProto()
Definition: cp_model.pb.h:3337
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & solution() const
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_times()
IntegerArgumentProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
void clear_name()
static const ::PROTOBUF_NAMESPACE_ID::uint32 offsets[]
Definition: cp_model.pb.h:55
void UnsafeArenaSwap(NoOverlapConstraintProto *other)
Definition: cp_model.pb.h:1840
void set_solution(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
static void InitAsDefaultInstance()
static const LinearExpressionProto * internal_default_instance()
Definition: cp_model.pb.h:785
static const NoOverlap2DConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:1973
void set_name(const char *value)
::PROTOBUF_NAMESPACE_ID::int64 capacity() const
@ DecisionStrategyProto_VariableSelectionStrategy_DecisionStrategyProto_VariableSelectionStrategy_INT_MIN_SENTINEL_DO_NOT_USE_
Definition: cp_model.pb.h:177
::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy domain_reduction_strategy() const
CircuitConstraintProto(CircuitConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2540
AllDifferentConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:1168
int final_states_size() const
void MergeFrom(const ElementConstraintProto &from)
InverseConstraintProto & operator=(const InverseConstraintProto &from)
Definition: cp_model.pb.h:3346
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_transition_tail()
CumulativeConstraintProto & operator=(const CumulativeConstraintProto &from)
Definition: cp_model.pb.h:2135
std::string * mutable_solution_info()
AutomatonConstraintProto & operator=(AutomatonConstraintProto &&from) noexcept
Definition: cp_model.pb.h:3526
::PROTOBUF_NAMESPACE_ID::int64 min_level() const
const ::operations_research::sat::DecisionStrategyProto_AffineTransformation & transformations(int index) const
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & f_direct() const
void MergeFrom(const CpObjectiveProto &from)
void clear_end()
void set_solution_info(const char *value, size_t size)
CircuitConstraintProto & operator=(const CircuitConstraintProto &from)
Definition: cp_model.pb.h:2545
void set_index(::PROTOBUF_NAMESPACE_ID::int32 value)
LinearArgumentProto(const LinearArgumentProto &from)
void set_offset(::PROTOBUF_NAMESPACE_ID::int64 value)
bool boxes_with_null_area_can_overlap() const
LinearConstraintProto(const LinearConstraintProto &from)
CpModelProto & operator=(const CpModelProto &from)
Definition: cp_model.pb.h:5351
void add_intervals(::PROTOBUF_NAMESPACE_ID::int32 value)
int transition_label_size() const
CpSolverResponse(::PROTOBUF_NAMESPACE_ID::Arena *arena)
void set_scaling_factor(double value)
int exprs_size() const
void add_solution_lower_bounds(::PROTOBUF_NAMESPACE_ID::int64 value)
static const CircuitConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:2570
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_solution_lower_bounds()
int f_direct_size() const
DecisionStrategyProto_VariableSelectionStrategy VariableSelectionStrategy
Definition: cp_model.pb.h:5008
ElementConstraintProtoDefaultTypeInternal _ElementConstraintProto_default_instance_
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_final_states()
static const TableConstraintProto & default_instance()
int transition_tail_size() const
bool has_target() const
CircuitCoveringConstraintProto(const CircuitCoveringConstraintProto &from)
::PROTOBUF_NAMESPACE_ID::int32 nexts(int index) const
static const ::PROTOBUF_NAMESPACE_ID::internal::FieldMetadata field_metadata[]
Definition: cp_model.pb.h:53
void set_positive_coeff(::PROTOBUF_NAMESPACE_ID::int64 value)
void CopyFrom(const InverseConstraintProto &from)
AllDifferentConstraintProto & operator=(const AllDifferentConstraintProto &from)
Definition: cp_model.pb.h:1113
friend void swap(ConstraintProto &a, ConstraintProto &b)
Definition: cp_model.pb.h:3845
@ DecisionStrategyProto_DomainReductionStrategy_SELECT_LOWER_HALF
Definition: cp_model.pb.h:202
const ::operations_research::sat::DecisionStrategyProto & search_strategy(int index) const
@ DecisionStrategyProto_DomainReductionStrategy_SELECT_MIN_VALUE
Definition: cp_model.pb.h:200
void clear_start()
void set_capacity(::PROTOBUF_NAMESPACE_ID::int64 value)
AllDifferentConstraintProto(AllDifferentConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1108
void Swap(IntervalConstraintProto *other)
Definition: cp_model.pb.h:1673
void clear_exprs()
void clear_constraints()
static const LinearConstraintProto & default_instance()
virtual ~LinearExpressionProto()
InverseConstraintProto & operator=(InverseConstraintProto &&from) noexcept
Definition: cp_model.pb.h:3350
::PROTOBUF_NAMESPACE_ID::int32 tails(int index) const
CpObjectiveProto(CpObjectiveProto &&from) noexcept
Definition: cp_model.pb.h:4521
const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation > & transformations() const
static const ::PROTOBUF_NAMESPACE_ID::internal::ParseTable schema[26] PROTOBUF_SECTION_VARIABLE(protodesc_cold)
void set_name(std::string &&value)
void MergeFrom(const AutomatonConstraintProto &from)
int nexts_size() const
void clear_boxes_with_null_area_can_overlap()
static const CircuitCoveringConstraintProto & default_instance()
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_coeffs()
virtual ~IntervalConstraintProto()
virtual ~CpObjectiveProto()
static bool VariableSelectionStrategy_Parse(const std::string &name, VariableSelectionStrategy *value)
Definition: cp_model.pb.h:5039
ElementConstraintProto(ElementConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1460
CumulativeConstraintProto(CumulativeConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2130
void Swap(IntegerArgumentProto *other)
Definition: cp_model.pb.h:633
int solution_size() const
void set_variables(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
IntegerVariableProtoDefaultTypeInternal _IntegerVariableProto_default_instance_
DecisionStrategyProto(const DecisionStrategyProto &from)
CpObjectiveProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:4581
::operations_research::sat::LinearExpressionProto * release_target()
CpModelProto(CpModelProto &&from) noexcept
Definition: cp_model.pb.h:5346
void clear_heads()
static const ConstraintProto & default_instance()
::PROTOBUF_NAMESPACE_ID::int64 transition_label(int index) const
::PROTOBUF_NAMESPACE_ID::int64 positive_coeff() const
void clear_solution()
void Swap(AllDifferentConstraintProto *other)
Definition: cp_model.pb.h:1148
int x_intervals_size() const
PartialVariableAssignment(PartialVariableAssignment &&from) noexcept
Definition: cp_model.pb.h:5170
DecisionStrategyProto_AffineTransformation & operator=(const DecisionStrategyProto_AffineTransformation &from)
Definition: cp_model.pb.h:4749
const std::string & DecisionStrategyProto_VariableSelectionStrategy_Name(T enum_t_value)
Definition: cp_model.pb.h:187
IntegerArgumentProto * New() const final
Definition: cp_model.pb.h:649
@ DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_HIGHEST_MAX
Definition: cp_model.pb.h:174
::PROTOBUF_NAMESPACE_ID::int32 x_intervals(int index) const
void CopyFrom(const PartialVariableAssignment &from)
void set_starting_state(::PROTOBUF_NAMESPACE_ID::int64 value)
virtual ~DecisionStrategyProto_AffineTransformation()
int intervals_size() const
static const CpObjectiveProto * internal_default_instance()
Definition: cp_model.pb.h:4551
void clear_coeffs()
const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto
void clear_solution_info()
void set_size(::PROTOBUF_NAMESPACE_ID::int32 value)
LinearExpressionProto()
Definition: cp_model.pb.h:751
IntegerVariableProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:324
void CopyFrom(const RoutesConstraintProto &from)
void UnsafeArenaSwap(IntervalConstraintProto *other)
Definition: cp_model.pb.h:1681
CircuitConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:2600
friend void swap(NoOverlap2DConstraintProto &a, NoOverlap2DConstraintProto &b)
Definition: cp_model.pb.h:1980
static const CircuitCoveringConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:3008
virtual ~CircuitConstraintProto()
void set_demands(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
friend void swap(CircuitConstraintProto &a, CircuitConstraintProto &b)
Definition: cp_model.pb.h:2577
DecisionStrategyProto_DomainReductionStrategy DomainReductionStrategy
Definition: cp_model.pb.h:5044
void set_variable_selection_strategy(::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy value)
CpModelProtoDefaultTypeInternal _CpModelProto_default_instance_
void Swap(CircuitCoveringConstraintProto *other)
Definition: cp_model.pb.h:3018
LinearConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
void MergeFrom(const InverseConstraintProto &from)
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_literals()
void add_tails(::PROTOBUF_NAMESPACE_ID::int32 value)
CircuitConstraintProto & operator=(CircuitConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2549
static bool DomainReductionStrategy_IsValid(int value)
Definition: cp_model.pb.h:5055
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_intervals()
static const RoutesConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:2771
AutomatonConstraintProto * New() const final
Definition: cp_model.pb.h:3573
DecisionStrategyProto()
Definition: cp_model.pb.h:4899
::PROTOBUF_NAMESPACE_ID::int64 solution_lower_bounds(int index) const
static const NoOverlapConstraintProto & default_instance()
@ DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_LOWEST_MIN
Definition: cp_model.pb.h:173
::PROTOBUF_NAMESPACE_ID::int64 transition_tail(int index) const
constexpr CpSolverStatus CpSolverStatus_MAX
Definition: cp_model.pb.h:238
@ DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_MIN_DOMAIN_SIZE
Definition: cp_model.pb.h:175
ReservoirConstraintProto * New() const final
Definition: cp_model.pb.h:2373
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & assumptions() const
IntegerVariableProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
friend void swap(AutomatonConstraintProto &a, AutomatonConstraintProto &b)
Definition: cp_model.pb.h:3554
ReservoirConstraintProto()
Definition: cp_model.pb.h:2313
CpSolverResponse(CpSolverResponse &&from) noexcept
Definition: cp_model.pb.h:5624
void set_literals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
virtual ~PartialVariableAssignment()
AutomatonConstraintProtoDefaultTypeInternal _AutomatonConstraintProto_default_instance_
void clear_var()
::PROTOBUF_NAMESPACE_ID::int32 index() const
void UnsafeArenaSwap(DecisionStrategyProto_AffineTransformation *other)
Definition: cp_model.pb.h:4792
void set_end(::PROTOBUF_NAMESPACE_ID::int32 value)
RoutesConstraintProto & operator=(const RoutesConstraintProto &from)
Definition: cp_model.pb.h:2746
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_demands()
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * VariableSelectionStrategy_descriptor()
Definition: cp_model.pb.h:5029
::PROTOBUF_NAMESPACE_ID::int64 domain(int index) const
DecisionStrategyProto_AffineTransformation * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:4804
void Swap(ReservoirConstraintProto *other)
Definition: cp_model.pb.h:2357
DecisionStrategyProto_AffineTransformation AffineTransformation
Definition: cp_model.pb.h:5006
void set_transition_tail(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
const ::operations_research::sat::LinearExpressionProto & target() const
CpObjectiveProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
CpSolverResponse * New() const final
Definition: cp_model.pb.h:5680
void clear_f_direct()
void add_values(::PROTOBUF_NAMESPACE_ID::int64 value)
void set_solution_info(const char *value)
constexpr CpSolverStatus CpSolverStatus_MIN
Definition: cp_model.pb.h:237
void set_transition_head(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
void clear_enforcement_literal()
void UnsafeArenaSwap(RoutesConstraintProto *other)
Definition: cp_model.pb.h:2789
void set_solution_info(const std::string &value)
void set_x_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
int solution_lower_bounds_size() const
LinearConstraintProto & operator=(LinearConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1268
std::string * release_solution_info()
void add_distinguished_nodes(::PROTOBUF_NAMESPACE_ID::int64 value)
void CopyFrom(const AutomatonConstraintProto &from)
void MergeFrom(const LinearConstraintProto &from)
static const ::PROTOBUF_NAMESPACE_ID::internal::SerializationTable serialization_table[]
Definition: cp_model.pb.h:54
LinearConstraintProto(LinearConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1259
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & sufficient_assumptions_for_infeasibility() const
NoOverlap2DConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:2003
InverseConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
static const CumulativeConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:2160
void MergeFrom(const DecisionStrategyProto_AffineTransformation &from)
DecisionStrategyProto_AffineTransformation(DecisionStrategyProto_AffineTransformation &&from) noexcept
Definition: cp_model.pb.h:4744
CpObjectiveProtoDefaultTypeInternal _CpObjectiveProto_default_instance_
IntegerVariableProto & operator=(IntegerVariableProto &&from) noexcept
Definition: cp_model.pb.h:273
IntegerArgumentProto(IntegerArgumentProto &&from) noexcept
Definition: cp_model.pb.h:593
static const CumulativeConstraintProto & default_instance()
NoOverlapConstraintProto(NoOverlapConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1792
void set_boxes_with_null_area_can_overlap(bool value)
int times_size() const
RoutesConstraintProto * New() const final
Definition: cp_model.pb.h:2797
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_domain()
::PROTOBUF_NAMESPACE_ID::int32 variables(int index) const
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_f_inverse()
void add_actives(::PROTOBUF_NAMESPACE_ID::int32 value)
void UnsafeArenaSwap(TableConstraintProto *other)
Definition: cp_model.pb.h:3202
const ::operations_research::sat::LinearExpressionProto & exprs(int index) const
void set_var(::PROTOBUF_NAMESPACE_ID::int32 value)
void set_solution_info(std::string &&value)
AutomatonConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:3577
void set_coeffs(int index, ::PROTOBUF_NAMESPACE_ID::int64 value)
LinearExpressionProto * New() const final
Definition: cp_model.pb.h:811
@ CpSolverStatus_INT_MAX_SENTINEL_DO_NOT_USE_
Definition: cp_model.pb.h:234
TableConstraintProto(TableConstraintProto &&from) noexcept
Definition: cp_model.pb.h:3154
int sufficient_assumptions_for_infeasibility_size() const
void clear_transition_label()
RoutesConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:2801
virtual ~AutomatonConstraintProto()
void set_tails(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
constexpr DecisionStrategyProto_VariableSelectionStrategy DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MIN
Definition: cp_model.pb.h:181
void Swap(CpSolverResponse *other)
Definition: cp_model.pb.h:5664
CpObjectiveProto * New() const final
Definition: cp_model.pb.h:4577
TableConstraintProtoDefaultTypeInternal _TableConstraintProto_default_instance_
::operations_research::sat::DecisionStrategyProto_AffineTransformation * add_transformations()
void set_capacity(::PROTOBUF_NAMESPACE_ID::int32 value)
bool negated() const
constexpr DecisionStrategyProto_VariableSelectionStrategy DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MAX
Definition: cp_model.pb.h:182
BoolArgumentProtoDefaultTypeInternal _BoolArgumentProto_default_instance_
void add_y_intervals(::PROTOBUF_NAMESPACE_ID::int32 value)
friend void swap(DecisionStrategyProto_AffineTransformation &a, DecisionStrategyProto_AffineTransformation &b)
Definition: cp_model.pb.h:4781
::PROTOBUF_NAMESPACE_ID::int32 start() const
void UnsafeArenaSwap(LinearArgumentProto *other)
Definition: cp_model.pb.h:990
void add_final_states(::PROTOBUF_NAMESPACE_ID::int64 value)
CircuitCoveringConstraintProto(CircuitCoveringConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2978
void set_name(const std::string &value)
void add_solution(::PROTOBUF_NAMESPACE_ID::int64 value)
void CopyFrom(const DecisionStrategyProto &from)
CpSolverResponse(const CpSolverResponse &from)
AutomatonConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
void Swap(DecisionStrategyProto_AffineTransformation *other)
Definition: cp_model.pb.h:4784
void clear_variables()
void clear_positive_coeff()
CircuitConstraintProto * New() const final
Definition: cp_model.pb.h:2596
::PROTOBUF_NAMESPACE_ID::int32 size() const
ConstraintProto()
Definition: cp_model.pb.h:3775
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & demands() const
ElementConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:1520
int coeffs_size() const
constexpr int DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_ARRAYSIZE
Definition: cp_model.pb.h:183
::operations_research::sat::IntegerVariableProto * add_variables()
void MergeFrom(const NoOverlapConstraintProto &from)
CpObjectiveProto()
Definition: cp_model.pb.h:4517
::PROTOBUF_NAMESPACE_ID::int32 intervals(int index) const
static const ::PROTOBUF_NAMESPACE_ID::internal::ParseTableField entries[] PROTOBUF_SECTION_VARIABLE(protodesc_cold)
void CopyFrom(const CpSolverResponse &from)
bool DecisionStrategyProto_VariableSelectionStrategy_IsValid(int value)
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_transition_head()
IntervalConstraintProto()
Definition: cp_model.pb.h:1629
int constraints_size() const
CpModelProto(const CpModelProto &from)
virtual ~ConstraintProto()
ElementConstraintProto & operator=(const ElementConstraintProto &from)
Definition: cp_model.pb.h:1465
NoOverlapConstraintProto & operator=(NoOverlapConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1801
void set_negated(bool value)
virtual ~ElementConstraintProto()
IntervalConstraintProtoDefaultTypeInternal _IntervalConstraintProto_default_instance_
::PROTOBUF_NAMESPACE_ID::int64 offset() const
LinearArgumentProto(LinearArgumentProto &&from) noexcept
Definition: cp_model.pb.h:942
std::string * mutable_name()
void UnsafeArenaSwap(ReservoirConstraintProto *other)
Definition: cp_model.pb.h:2365
void Swap(TableConstraintProto *other)
Definition: cp_model.pb.h:3194
LinearExpressionProto & operator=(LinearExpressionProto &&from) noexcept
Definition: cp_model.pb.h:764
CpSolverResponseDefaultTypeInternal _CpSolverResponse_default_instance_
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & values() const
void set_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
void CopyFrom(const NoOverlapConstraintProto &from)
PartialVariableAssignmentDefaultTypeInternal _PartialVariableAssignment_default_instance_
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & transition_head() const
void clear_values()
void UnsafeArenaSwap(NoOverlap2DConstraintProto *other)
Definition: cp_model.pb.h:1991
void clear_f_inverse()
LinearArgumentProtoDefaultTypeInternal _LinearArgumentProto_default_instance_
const std::string & solution_info() const
LinearArgumentProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
void MergeFrom(const CpModelProto &from)
void UnsafeArenaSwap(CircuitCoveringConstraintProto *other)
Definition: cp_model.pb.h:3026
void set_sufficient_assumptions_for_infeasibility(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
const ::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::ConstraintProto > & constraints() const
static const CpSolverResponse & default_instance()
void UnsafeArenaSwap(IntegerVariableProto *other)
Definition: cp_model.pb.h:312
Definition: boolean_problem.pb.h:39
void UnsafeArenaSwap(IntegerArgumentProto *other)
Definition: cp_model.pb.h:641
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_nexts()
void UnsafeArenaSwap(AllDifferentConstraintProto *other)
Definition: cp_model.pb.h:1156
ElementConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
void set_vars(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
int vars_size() const
void set_coeffs(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & coeffs() const
InverseConstraintProto(const InverseConstraintProto &from)
static bool VariableSelectionStrategy_IsValid(int value)
Definition: cp_model.pb.h:5019
void Swap(CpObjectiveProto *other)
Definition: cp_model.pb.h:4561
void CopyFrom(const ElementConstraintProto &from)
virtual ~BoolArgumentProto()
CircuitCoveringConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
friend void swap(ElementConstraintProto &a, ElementConstraintProto &b)
Definition: cp_model.pb.h:1497
bool DecisionStrategyProto_DomainReductionStrategy_Parse(const std::string &name, DecisionStrategyProto_DomainReductionStrategy *value)
Definition: cp_model.pb.h:222
CpModelProto * New() const final
Definition: cp_model.pb.h:5402
CumulativeConstraintProtoDefaultTypeInternal _CumulativeConstraintProto_default_instance_
::PROTOBUF_NAMESPACE_ID::int64 demands(int index) const
friend void swap(ReservoirConstraintProto &a, ReservoirConstraintProto &b)
Definition: cp_model.pb.h:2354
virtual ~RoutesConstraintProto()
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & variables() const
void clear_max_level()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * DecisionStrategyProto_DomainReductionStrategy_descriptor()
::PROTOBUF_NAMESPACE_ID::int64 values(int index) const
void MergeFrom(const CpSolverResponse &from)
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * DomainReductionStrategy_descriptor()
Definition: cp_model.pb.h:5065
LinearExpressionProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
void MergeFrom(const NoOverlap2DConstraintProto &from)
NoOverlapConstraintProto(const NoOverlapConstraintProto &from)
::PROTOBUF_NAMESPACE_ID::int64 coeffs(int index) const
@ DecisionStrategyProto_DomainReductionStrategy_SELECT_MEDIAN_VALUE
Definition: cp_model.pb.h:204
void add_f_inverse(::PROTOBUF_NAMESPACE_ID::int32 value)
void MergeFrom(const TableConstraintProto &from)
void Swap(CircuitConstraintProto *other)
Definition: cp_model.pb.h:2580
void CopyFrom(const IntegerVariableProto &from)
static const ConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:3838
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & actives() const
friend void swap(IntervalConstraintProto &a, IntervalConstraintProto &b)
Definition: cp_model.pb.h:1670
::operations_research::sat::ConstraintProto * mutable_constraints(int index)
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & solution_lower_bounds() const
void set_y_intervals(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
void clear_scaling_factor()
::PROTOBUF_NAMESPACE_ID::int64 starting_state() const
void CopyFrom(const DecisionStrategyProto_AffineTransformation &from)
BoolArgumentProto * New() const final
Definition: cp_model.pb.h:498
@ DecisionStrategyProto_DomainReductionStrategy_SELECT_UPPER_HALF
Definition: cp_model.pb.h:203
TableConstraintProto(const TableConstraintProto &from)
static const ElementConstraintProto & default_instance()
::PROTOBUF_NAMESPACE_ID::int64 distinguished_nodes(int index) const
void MergeFrom(const DecisionStrategyProto &from)
LinearExpressionProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:815
AllDifferentConstraintProto * New() const final
Definition: cp_model.pb.h:1164
::PROTOBUF_NAMESPACE_ID::RepeatedPtrField< ::operations_research::sat::DecisionStrategyProto_AffineTransformation > * mutable_transformations()
CircuitCoveringConstraintProtoDefaultTypeInternal _CircuitCoveringConstraintProto_default_instance_
LinearArgumentProto & operator=(LinearArgumentProto &&from) noexcept
Definition: cp_model.pb.h:951
virtual ~LinearArgumentProto()
static const AllDifferentConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:1138
BoolArgumentProto(BoolArgumentProto &&from) noexcept
Definition: cp_model.pb.h:442
void set_f_inverse(int index, ::PROTOBUF_NAMESPACE_ID::int32 value)
ReservoirConstraintProto & operator=(const ReservoirConstraintProto &from)
Definition: cp_model.pb.h:2322
CircuitCoveringConstraintProto & operator=(const CircuitCoveringConstraintProto &from)
Definition: cp_model.pb.h:2983
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > & times() const
TableConstraintProto(::PROTOBUF_NAMESPACE_ID::Arena *arena)
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_transition_label()
CumulativeConstraintProto()
Definition: cp_model.pb.h:2126
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & demands() const
void clear_assumptions()
PartialVariableAssignment * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:5230
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & distinguished_nodes() const
void clear_tightened_variables()
static const DecisionStrategyProto & default_instance()
CircuitCoveringConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:3038
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int32 > * mutable_heads()
static const ::PROTOBUF_NAMESPACE_ID::Reflection * GetReflection()
Definition: cp_model.pb.h:288
void clear_sufficient_assumptions_for_infeasibility()
void set_target(::PROTOBUF_NAMESPACE_ID::int32 value)
static const ::PROTOBUF_NAMESPACE_ID::internal::AuxillaryParseTableField aux[] PROTOBUF_SECTION_VARIABLE(protodesc_cold)
void Swap(AutomatonConstraintProto *other)
Definition: cp_model.pb.h:3557
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & transition_tail() const
void clear_final_states()
ReservoirConstraintProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:2377
CpSolverResponse()
Definition: cp_model.pb.h:5620
TableConstraintProto * New() const final
Definition: cp_model.pb.h:3210
virtual ~NoOverlapConstraintProto()
void UnsafeArenaSwap(LinearConstraintProto *other)
Definition: cp_model.pb.h:1307
bool DecisionStrategyProto_DomainReductionStrategy_IsValid(int value)
void MergeFrom(const ReservoirConstraintProto &from)
friend void swap(CpModelProto &a, CpModelProto &b)
Definition: cp_model.pb.h:5383
void Swap(LinearExpressionProto *other)
Definition: cp_model.pb.h:795
void MergeFrom(const LinearArgumentProto &from)
::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > * mutable_solution_upper_bounds()
friend void swap(PartialVariableAssignment &a, PartialVariableAssignment &b)
Definition: cp_model.pb.h:5207
void Swap(ConstraintProto *other)
Definition: cp_model.pb.h:3848
void MergeFrom(const CumulativeConstraintProto &from)
PartialVariableAssignment * New() const final
Definition: cp_model.pb.h:5226
void clear_transition_tail()
void add_coeffs(::PROTOBUF_NAMESPACE_ID::int32 value)
static const ReservoirConstraintProto * internal_default_instance()
Definition: cp_model.pb.h:2347
void clear_distinguished_nodes()
void UnsafeArenaSwap(BoolArgumentProto *other)
Definition: cp_model.pb.h:490
void add_nexts(::PROTOBUF_NAMESPACE_ID::int32 value)
::PROTOBUF_NAMESPACE_ID::int32 y_intervals(int index) const
static const InverseConstraintProto & default_instance()
virtual ~ReservoirConstraintProto()
CpModelProto * New(::PROTOBUF_NAMESPACE_ID::Arena *arena) const final
Definition: cp_model.pb.h:5406
NoOverlap2DConstraintProto & operator=(NoOverlap2DConstraintProto &&from) noexcept
Definition: cp_model.pb.h:1952
CircuitConstraintProtoDefaultTypeInternal _CircuitConstraintProto_default_instance_
constexpr int CpSolverStatus_ARRAYSIZE
Definition: cp_model.pb.h:239
const ::PROTOBUF_NAMESPACE_ID::RepeatedField< ::PROTOBUF_NAMESPACE_ID::int64 > & transition_label() const
::PROTOBUF_NAMESPACE_ID::int32 heads(int index) const
void set_min_level(::PROTOBUF_NAMESPACE_ID::int64 value)
int y_intervals_size() const
RoutesConstraintProto & operator=(RoutesConstraintProto &&from) noexcept
Definition: cp_model.pb.h:2750
NoOverlapConstraintProtoDefaultTypeInternal _NoOverlapConstraintProto_default_instance_
ConstraintProto & operator=(ConstraintProto &&from) noexcept
Definition: cp_model.pb.h:3788
void CopyFrom(const ConstraintProto &from)