Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
boolean_problem.pb.h
Go to the documentation of this file.
1// Generated by the protocol buffer compiler. DO NOT EDIT!
2// NO CHECKED-IN PROTOBUF GENCODE
3// source: ortools/sat/boolean_problem.proto
4// Protobuf C++ Version: 6.33.1
5
6#ifndef ortools_2fsat_2fboolean_5fproblem_2eproto_2epb_2eh
7#define ortools_2fsat_2fboolean_5fproblem_2eproto_2epb_2eh
8
9#include <limits>
10#include <string>
11#include <type_traits>
12#include <utility>
13
14#include "google/protobuf/runtime_version.h"
15#if PROTOBUF_VERSION != 6033001
16#error "Protobuf C++ gencode is built with an incompatible version of"
17#error "Protobuf C++ headers/runtime. See"
18#error "https://protobuf.dev/support/cross-version-runtime-guarantee/#cpp"
19#endif
20#include "google/protobuf/io/coded_stream.h"
21#include "google/protobuf/arena.h"
22#include "google/protobuf/arenastring.h"
23#include "google/protobuf/generated_message_tctable_decl.h"
24#include "google/protobuf/generated_message_util.h"
25#include "google/protobuf/metadata_lite.h"
26#include "google/protobuf/generated_message_reflection.h"
27#include "google/protobuf/message.h"
28#include "google/protobuf/message_lite.h"
29#include "google/protobuf/repeated_field.h" // IWYU pragma: export
30#include "google/protobuf/extension_set.h" // IWYU pragma: export
31#include "google/protobuf/unknown_field_set.h"
32// @@protoc_insertion_point(includes)
33
34// Must be included last.
35#include "google/protobuf/port_def.inc"
36
37#define PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2fboolean_5fproblem_2eproto OR_PROTO_DLL
38
39namespace google {
40namespace protobuf {
41namespace internal {
42template <typename T>
43::absl::string_view GetAnyMessageName();
44} // namespace internal
45} // namespace protobuf
46} // namespace google
47
48// Internal implementation detail -- do not use these members.
49struct OR_PROTO_DLL TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto {
50 static const ::uint32_t offsets[];
51};
52extern "C" {
53OR_PROTO_DLL extern const ::google::protobuf::internal::DescriptorTable descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto;
54} // extern "C"
55namespace operations_research {
56namespace sat {
57class BooleanAssignment;
58struct BooleanAssignmentDefaultTypeInternal;
59OR_PROTO_DLL extern BooleanAssignmentDefaultTypeInternal _BooleanAssignment_default_instance_;
60OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull BooleanAssignment_class_data_;
61class LinearBooleanConstraint;
62struct LinearBooleanConstraintDefaultTypeInternal;
63OR_PROTO_DLL extern LinearBooleanConstraintDefaultTypeInternal _LinearBooleanConstraint_default_instance_;
64OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LinearBooleanConstraint_class_data_;
65class LinearBooleanProblem;
66struct LinearBooleanProblemDefaultTypeInternal;
67OR_PROTO_DLL extern LinearBooleanProblemDefaultTypeInternal _LinearBooleanProblem_default_instance_;
68OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LinearBooleanProblem_class_data_;
69class LinearObjective;
70struct LinearObjectiveDefaultTypeInternal;
71OR_PROTO_DLL extern LinearObjectiveDefaultTypeInternal _LinearObjective_default_instance_;
72OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LinearObjective_class_data_;
73} // namespace sat
74} // namespace operations_research
75namespace google {
76namespace protobuf {
77} // namespace protobuf
78} // namespace google
79
80namespace operations_research {
81namespace sat {
82
83// ===================================================================
84
85
86// -------------------------------------------------------------------
87
88class OR_PROTO_DLL LinearObjective final : public ::google::protobuf::Message
89/* @@protoc_insertion_point(class_definition:operations_research.sat.LinearObjective) */ {
90 public:
91 inline LinearObjective() : LinearObjective(nullptr) {}
92 ~LinearObjective() PROTOBUF_FINAL;
93
94#if defined(PROTOBUF_CUSTOM_VTABLE)
95 void operator delete(LinearObjective* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {
96 SharedDtor(*msg);
97 ::google::protobuf::internal::SizedDelete(msg, sizeof(LinearObjective));
98 }
99#endif
100
101 template <typename = void>
102 explicit PROTOBUF_CONSTEXPR LinearObjective(::google::protobuf::internal::ConstantInitialized);
103
104 inline LinearObjective(const LinearObjective& from) : LinearObjective(nullptr, from) {}
105 inline LinearObjective(LinearObjective&& from) noexcept
106 : LinearObjective(nullptr, ::std::move(from)) {}
107 inline LinearObjective& operator=(const LinearObjective& from) {
108 CopyFrom(from);
109 return *this;
110 }
111 inline LinearObjective& operator=(LinearObjective&& from) noexcept {
112 if (this == &from) return *this;
113 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
114 InternalSwap(&from);
115 } else {
116 CopyFrom(from);
117 }
118 return *this;
119 }
120
121 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const
122 ABSL_ATTRIBUTE_LIFETIME_BOUND {
123 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);
124 }
125 inline ::google::protobuf::UnknownFieldSet* PROTOBUF_NONNULL mutable_unknown_fields()
126 ABSL_ATTRIBUTE_LIFETIME_BOUND {
127 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();
128 }
129
130 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {
131 return GetDescriptor();
132 }
133 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {
134 return default_instance().GetMetadata().descriptor;
135 }
136 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {
137 return default_instance().GetMetadata().reflection;
138 }
139 static const LinearObjective& default_instance() {
140 return *reinterpret_cast<const LinearObjective*>(
141 &_LinearObjective_default_instance_);
142 }
143 static constexpr int kIndexInFileMessages = 1;
144 friend void swap(LinearObjective& a, LinearObjective& b) { a.Swap(&b); }
145 inline void Swap(LinearObjective* PROTOBUF_NONNULL other) {
146 if (other == this) return;
147 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
148 InternalSwap(other);
149 } else {
150 ::google::protobuf::internal::GenericSwap(this, other);
151 }
152 }
153 void UnsafeArenaSwap(LinearObjective* PROTOBUF_NONNULL other) {
154 if (other == this) return;
155 ABSL_DCHECK(GetArena() == other->GetArena());
156 InternalSwap(other);
157 }
158
159 // implements Message ----------------------------------------------
160
161 LinearObjective* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena = nullptr) const {
162 return ::google::protobuf::Message::DefaultConstruct<LinearObjective>(arena);
163 }
164 using ::google::protobuf::Message::CopyFrom;
165 void CopyFrom(const LinearObjective& from);
166 using ::google::protobuf::Message::MergeFrom;
167 void MergeFrom(const LinearObjective& from) { LinearObjective::MergeImpl(*this, from); }
168
169 private:
170 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
171 const ::google::protobuf::MessageLite& from_msg);
172
173 public:
174 bool IsInitialized() const {
175 return true;
176 }
177 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;
178 #if defined(PROTOBUF_CUSTOM_VTABLE)
179 private:
180 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);
181 static ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
182 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,
183 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);
184
185 public:
186 ::size_t ByteSizeLong() const { return ByteSizeLong(*this); }
187 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
188 ::uint8_t* PROTOBUF_NONNULL target,
189 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {
190 return _InternalSerialize(*this, target, stream);
191 }
192 #else // PROTOBUF_CUSTOM_VTABLE
193 ::size_t ByteSizeLong() const final;
194 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
195 ::uint8_t* PROTOBUF_NONNULL target,
196 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;
197 #endif // PROTOBUF_CUSTOM_VTABLE
198 int GetCachedSize() const { return _impl_._cached_size_.Get(); }
199
200 private:
201 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
202 static void SharedDtor(MessageLite& self);
203 void InternalSwap(LinearObjective* PROTOBUF_NONNULL other);
204 private:
205 template <typename T>
206 friend ::absl::string_view(::google::protobuf::internal::GetAnyMessageName)();
207 static ::absl::string_view FullMessageName() { return "operations_research.sat.LinearObjective"; }
208
209 explicit LinearObjective(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
210 LinearObjective(::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const LinearObjective& from);
211 LinearObjective(
212 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, LinearObjective&& from) noexcept
213 : LinearObjective(arena) {
214 *this = ::std::move(from);
215 }
216 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;
217 static void* PROTOBUF_NONNULL PlacementNew_(
218 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,
219 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
220 static constexpr auto InternalNewImpl_();
221
222 public:
223 static constexpr auto InternalGenerateClassData_();
224
225 ::google::protobuf::Metadata GetMetadata() const;
226 // nested types ----------------------------------------------------
227
228 // accessors -------------------------------------------------------
229 enum : int {
230 kLiteralsFieldNumber = 1,
231 kCoefficientsFieldNumber = 2,
232 kOffsetFieldNumber = 3,
233 kScalingFactorFieldNumber = 4,
234 };
235 // repeated int32 literals = 1;
236 int literals_size() const;
237 private:
238 int _internal_literals_size() const;
239
240 public:
241 void clear_literals() ;
242 ::int32_t literals(int index) const;
243 void set_literals(int index, ::int32_t value);
244 void add_literals(::int32_t value);
245 const ::google::protobuf::RepeatedField<::int32_t>& literals() const;
246 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL mutable_literals();
247
248 private:
249 const ::google::protobuf::RepeatedField<::int32_t>& _internal_literals() const;
250 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL _internal_mutable_literals();
251
252 public:
253 // repeated int64 coefficients = 2;
254 int coefficients_size() const;
255 private:
256 int _internal_coefficients_size() const;
257
258 public:
259 void clear_coefficients() ;
260 ::int64_t coefficients(int index) const;
261 void set_coefficients(int index, ::int64_t value);
262 void add_coefficients(::int64_t value);
263 const ::google::protobuf::RepeatedField<::int64_t>& coefficients() const;
264 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL mutable_coefficients();
265
266 private:
267 const ::google::protobuf::RepeatedField<::int64_t>& _internal_coefficients() const;
268 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL _internal_mutable_coefficients();
269
270 public:
271 // optional double offset = 3 [default = 0];
272 bool has_offset() const;
273 void clear_offset() ;
274 double offset() const;
275 void set_offset(double value);
276
277 private:
278 double _internal_offset() const;
279 void _internal_set_offset(double value);
280
281 public:
282 // optional double scaling_factor = 4 [default = 1];
283 bool has_scaling_factor() const;
284 void clear_scaling_factor() ;
285 double scaling_factor() const;
286 void set_scaling_factor(double value);
287
288 private:
289 double _internal_scaling_factor() const;
290 void _internal_set_scaling_factor(double value);
291
292 public:
293 // @@protoc_insertion_point(class_scope:operations_research.sat.LinearObjective)
294 private:
295 class _Internal;
296 friend class ::google::protobuf::internal::TcParser;
297 static const ::google::protobuf::internal::TcParseTable<2, 4,
298 0, 0,
299 2>
300 _table_;
301
302 friend class ::google::protobuf::MessageLite;
303 friend class ::google::protobuf::Arena;
304 template <typename T>
305 friend class ::google::protobuf::Arena::InternalHelper;
306 using InternalArenaConstructable_ = void;
307 using DestructorSkippable_ = void;
308 struct Impl_ {
309 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;
310 inline explicit Impl_(
311 ::google::protobuf::internal::InternalVisibility visibility,
312 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
313 inline explicit Impl_(
314 ::google::protobuf::internal::InternalVisibility visibility,
315 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,
316 const LinearObjective& from_msg);
317 ::google::protobuf::internal::HasBits<1> _has_bits_;
318 ::google::protobuf::internal::CachedSize _cached_size_;
319 ::google::protobuf::RepeatedField<::int32_t> literals_;
320 ::google::protobuf::RepeatedField<::int64_t> coefficients_;
321 double offset_;
322 double scaling_factor_;
323 PROTOBUF_TSAN_DECLARE_MEMBER
324 };
325 union { Impl_ _impl_; };
326 friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto;
327};
328
329OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LinearObjective_class_data_;
330// -------------------------------------------------------------------
331
332class OR_PROTO_DLL LinearBooleanConstraint final : public ::google::protobuf::Message
333/* @@protoc_insertion_point(class_definition:operations_research.sat.LinearBooleanConstraint) */ {
334 public:
335 inline LinearBooleanConstraint() : LinearBooleanConstraint(nullptr) {}
336 ~LinearBooleanConstraint() PROTOBUF_FINAL;
337
338#if defined(PROTOBUF_CUSTOM_VTABLE)
339 void operator delete(LinearBooleanConstraint* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {
340 SharedDtor(*msg);
341 ::google::protobuf::internal::SizedDelete(msg, sizeof(LinearBooleanConstraint));
342 }
343#endif
344
345 template <typename = void>
346 explicit PROTOBUF_CONSTEXPR LinearBooleanConstraint(::google::protobuf::internal::ConstantInitialized);
347
348 inline LinearBooleanConstraint(const LinearBooleanConstraint& from) : LinearBooleanConstraint(nullptr, from) {}
349 inline LinearBooleanConstraint(LinearBooleanConstraint&& from) noexcept
350 : LinearBooleanConstraint(nullptr, ::std::move(from)) {}
351 inline LinearBooleanConstraint& operator=(const LinearBooleanConstraint& from) {
352 CopyFrom(from);
353 return *this;
354 }
355 inline LinearBooleanConstraint& operator=(LinearBooleanConstraint&& from) noexcept {
356 if (this == &from) return *this;
357 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
358 InternalSwap(&from);
359 } else {
360 CopyFrom(from);
361 }
362 return *this;
363 }
364
365 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const
366 ABSL_ATTRIBUTE_LIFETIME_BOUND {
367 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);
368 }
369 inline ::google::protobuf::UnknownFieldSet* PROTOBUF_NONNULL mutable_unknown_fields()
370 ABSL_ATTRIBUTE_LIFETIME_BOUND {
371 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();
372 }
373
374 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {
375 return GetDescriptor();
376 }
377 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {
378 return default_instance().GetMetadata().descriptor;
379 }
380 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {
381 return default_instance().GetMetadata().reflection;
382 }
386 }
387 static constexpr int kIndexInFileMessages = 0;
388 friend void swap(LinearBooleanConstraint& a, LinearBooleanConstraint& b) { a.Swap(&b); }
389 inline void Swap(LinearBooleanConstraint* PROTOBUF_NONNULL other) {
390 if (other == this) return;
391 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
392 InternalSwap(other);
393 } else {
394 ::google::protobuf::internal::GenericSwap(this, other);
395 }
396 }
397 void UnsafeArenaSwap(LinearBooleanConstraint* PROTOBUF_NONNULL other) {
398 if (other == this) return;
399 ABSL_DCHECK(GetArena() == other->GetArena());
400 InternalSwap(other);
401 }
402
403 // implements Message ----------------------------------------------
404
405 LinearBooleanConstraint* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena = nullptr) const {
406 return ::google::protobuf::Message::DefaultConstruct<LinearBooleanConstraint>(arena);
407 }
408 using ::google::protobuf::Message::CopyFrom;
409 void CopyFrom(const LinearBooleanConstraint& from);
410 using ::google::protobuf::Message::MergeFrom;
411 void MergeFrom(const LinearBooleanConstraint& from) { LinearBooleanConstraint::MergeImpl(*this, from); }
412
413 private:
414 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
415 const ::google::protobuf::MessageLite& from_msg);
416
417 public:
418 bool IsInitialized() const {
419 return true;
420 }
421 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;
422 #if defined(PROTOBUF_CUSTOM_VTABLE)
423 private:
424 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);
425 static ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
426 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,
427 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);
428
429 public:
430 ::size_t ByteSizeLong() const { return ByteSizeLong(*this); }
431 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
432 ::uint8_t* PROTOBUF_NONNULL target,
433 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {
434 return _InternalSerialize(*this, target, stream);
435 }
436 #else // PROTOBUF_CUSTOM_VTABLE
437 ::size_t ByteSizeLong() const final;
438 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
439 ::uint8_t* PROTOBUF_NONNULL target,
440 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;
441 #endif // PROTOBUF_CUSTOM_VTABLE
442 int GetCachedSize() const { return _impl_._cached_size_.Get(); }
443
444 private:
445 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
446 static void SharedDtor(MessageLite& self);
447 void InternalSwap(LinearBooleanConstraint* PROTOBUF_NONNULL other);
448 private:
449 template <typename T>
450 friend ::absl::string_view(::google::protobuf::internal::GetAnyMessageName)();
451 static ::absl::string_view FullMessageName() { return "operations_research.sat.LinearBooleanConstraint"; }
452
453 explicit LinearBooleanConstraint(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
454 LinearBooleanConstraint(::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const LinearBooleanConstraint& from);
455 LinearBooleanConstraint(
456 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, LinearBooleanConstraint&& from) noexcept
457 : LinearBooleanConstraint(arena) {
458 *this = ::std::move(from);
459 }
460 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;
461 static void* PROTOBUF_NONNULL PlacementNew_(
462 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,
463 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
464 static constexpr auto InternalNewImpl_();
465
466 public:
467 static constexpr auto InternalGenerateClassData_();
468
469 ::google::protobuf::Metadata GetMetadata() const;
470 // nested types ----------------------------------------------------
471
472 // accessors -------------------------------------------------------
473 enum : int {
474 kLiteralsFieldNumber = 1,
475 kCoefficientsFieldNumber = 2,
476 kNameFieldNumber = 5,
477 kLowerBoundFieldNumber = 3,
478 kUpperBoundFieldNumber = 4,
479 };
480 // repeated int32 literals = 1;
481 int literals_size() const;
482 private:
483 int _internal_literals_size() const;
484
485 public:
486 void clear_literals() ;
487 ::int32_t literals(int index) const;
488 void set_literals(int index, ::int32_t value);
489 void add_literals(::int32_t value);
490 const ::google::protobuf::RepeatedField<::int32_t>& literals() const;
491 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL mutable_literals();
492
493 private:
494 const ::google::protobuf::RepeatedField<::int32_t>& _internal_literals() const;
495 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL _internal_mutable_literals();
496
497 public:
498 // repeated int64 coefficients = 2;
499 int coefficients_size() const;
500 private:
501 int _internal_coefficients_size() const;
502
503 public:
504 void clear_coefficients() ;
505 ::int64_t coefficients(int index) const;
506 void set_coefficients(int index, ::int64_t value);
507 void add_coefficients(::int64_t value);
508 const ::google::protobuf::RepeatedField<::int64_t>& coefficients() const;
509 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL mutable_coefficients();
510
511 private:
512 const ::google::protobuf::RepeatedField<::int64_t>& _internal_coefficients() const;
513 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL _internal_mutable_coefficients();
514
515 public:
516 // optional string name = 5 [default = ""];
517 bool has_name() const;
518 void clear_name() ;
519 const ::std::string& name() const;
520 template <typename Arg_ = const ::std::string&, typename... Args_>
521 void set_name(Arg_&& arg, Args_... args);
522 ::std::string* PROTOBUF_NONNULL mutable_name();
523 [[nodiscard]] ::std::string* PROTOBUF_NULLABLE release_name();
524 void set_allocated_name(::std::string* PROTOBUF_NULLABLE value);
525
526 private:
527 const ::std::string& _internal_name() const;
528 PROTOBUF_ALWAYS_INLINE void _internal_set_name(const ::std::string& value);
529 ::std::string* PROTOBUF_NONNULL _internal_mutable_name();
530
531 public:
532 // optional int64 lower_bound = 3;
533 bool has_lower_bound() const;
534 void clear_lower_bound() ;
535 ::int64_t lower_bound() const;
536 void set_lower_bound(::int64_t value);
537
538 private:
539 ::int64_t _internal_lower_bound() const;
540 void _internal_set_lower_bound(::int64_t value);
541
542 public:
543 // optional int64 upper_bound = 4;
544 bool has_upper_bound() const;
545 void clear_upper_bound() ;
546 ::int64_t upper_bound() const;
547 void set_upper_bound(::int64_t value);
548
549 private:
550 ::int64_t _internal_upper_bound() const;
551 void _internal_set_upper_bound(::int64_t value);
552
553 public:
554 // @@protoc_insertion_point(class_scope:operations_research.sat.LinearBooleanConstraint)
555 private:
556 class _Internal;
557 friend class ::google::protobuf::internal::TcParser;
558 static const ::google::protobuf::internal::TcParseTable<3, 5,
559 0, 0,
560 2>
561 _table_;
562
563 friend class ::google::protobuf::MessageLite;
564 friend class ::google::protobuf::Arena;
565 template <typename T>
566 friend class ::google::protobuf::Arena::InternalHelper;
567 using InternalArenaConstructable_ = void;
568 using DestructorSkippable_ = void;
569 struct Impl_ {
570 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;
571 inline explicit Impl_(
572 ::google::protobuf::internal::InternalVisibility visibility,
573 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
574 inline explicit Impl_(
575 ::google::protobuf::internal::InternalVisibility visibility,
576 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,
577 const LinearBooleanConstraint& from_msg);
578 ::google::protobuf::internal::HasBits<1> _has_bits_;
579 ::google::protobuf::internal::CachedSize _cached_size_;
580 ::google::protobuf::RepeatedField<::int32_t> literals_;
581 ::google::protobuf::RepeatedField<::int64_t> coefficients_;
582 ::google::protobuf::internal::ArenaStringPtr name_;
583 ::int64_t lower_bound_;
584 ::int64_t upper_bound_;
585 PROTOBUF_TSAN_DECLARE_MEMBER
586 };
587 union { Impl_ _impl_; };
588 friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto;
589};
590
591OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LinearBooleanConstraint_class_data_;
592// -------------------------------------------------------------------
593
594class OR_PROTO_DLL BooleanAssignment final : public ::google::protobuf::Message
595/* @@protoc_insertion_point(class_definition:operations_research.sat.BooleanAssignment) */ {
596 public:
597 inline BooleanAssignment() : BooleanAssignment(nullptr) {}
598 ~BooleanAssignment() PROTOBUF_FINAL;
599
600#if defined(PROTOBUF_CUSTOM_VTABLE)
601 void operator delete(BooleanAssignment* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {
602 SharedDtor(*msg);
603 ::google::protobuf::internal::SizedDelete(msg, sizeof(BooleanAssignment));
604 }
605#endif
606
607 template <typename = void>
608 explicit PROTOBUF_CONSTEXPR BooleanAssignment(::google::protobuf::internal::ConstantInitialized);
609
610 inline BooleanAssignment(const BooleanAssignment& from) : BooleanAssignment(nullptr, from) {}
611 inline BooleanAssignment(BooleanAssignment&& from) noexcept
612 : BooleanAssignment(nullptr, ::std::move(from)) {}
613 inline BooleanAssignment& operator=(const BooleanAssignment& from) {
614 CopyFrom(from);
615 return *this;
616 }
617 inline BooleanAssignment& operator=(BooleanAssignment&& from) noexcept {
618 if (this == &from) return *this;
619 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
620 InternalSwap(&from);
621 } else {
622 CopyFrom(from);
623 }
624 return *this;
625 }
626
627 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const
628 ABSL_ATTRIBUTE_LIFETIME_BOUND {
629 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);
630 }
631 inline ::google::protobuf::UnknownFieldSet* PROTOBUF_NONNULL mutable_unknown_fields()
632 ABSL_ATTRIBUTE_LIFETIME_BOUND {
633 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();
634 }
635
636 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {
637 return GetDescriptor();
638 }
639 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {
640 return default_instance().GetMetadata().descriptor;
641 }
642 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {
643 return default_instance().GetMetadata().reflection;
644 }
645 static const BooleanAssignment& default_instance() {
646 return *reinterpret_cast<const BooleanAssignment*>(
647 &_BooleanAssignment_default_instance_);
648 }
649 static constexpr int kIndexInFileMessages = 2;
650 friend void swap(BooleanAssignment& a, BooleanAssignment& b) { a.Swap(&b); }
651 inline void Swap(BooleanAssignment* PROTOBUF_NONNULL other) {
652 if (other == this) return;
653 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
654 InternalSwap(other);
655 } else {
656 ::google::protobuf::internal::GenericSwap(this, other);
657 }
658 }
659 void UnsafeArenaSwap(BooleanAssignment* PROTOBUF_NONNULL other) {
660 if (other == this) return;
661 ABSL_DCHECK(GetArena() == other->GetArena());
662 InternalSwap(other);
663 }
664
665 // implements Message ----------------------------------------------
666
667 BooleanAssignment* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena = nullptr) const {
668 return ::google::protobuf::Message::DefaultConstruct<BooleanAssignment>(arena);
669 }
670 using ::google::protobuf::Message::CopyFrom;
671 void CopyFrom(const BooleanAssignment& from);
672 using ::google::protobuf::Message::MergeFrom;
673 void MergeFrom(const BooleanAssignment& from) { BooleanAssignment::MergeImpl(*this, from); }
674
675 private:
676 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
677 const ::google::protobuf::MessageLite& from_msg);
678
679 public:
680 bool IsInitialized() const {
681 return true;
682 }
683 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;
684 #if defined(PROTOBUF_CUSTOM_VTABLE)
685 private:
686 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);
687 static ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
688 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,
689 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);
690
691 public:
692 ::size_t ByteSizeLong() const { return ByteSizeLong(*this); }
693 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
694 ::uint8_t* PROTOBUF_NONNULL target,
695 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {
696 return _InternalSerialize(*this, target, stream);
697 }
698 #else // PROTOBUF_CUSTOM_VTABLE
699 ::size_t ByteSizeLong() const final;
700 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
701 ::uint8_t* PROTOBUF_NONNULL target,
702 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;
703 #endif // PROTOBUF_CUSTOM_VTABLE
704 int GetCachedSize() const { return _impl_._cached_size_.Get(); }
705
706 private:
707 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
708 static void SharedDtor(MessageLite& self);
709 void InternalSwap(BooleanAssignment* PROTOBUF_NONNULL other);
710 private:
711 template <typename T>
712 friend ::absl::string_view(::google::protobuf::internal::GetAnyMessageName)();
713 static ::absl::string_view FullMessageName() { return "operations_research.sat.BooleanAssignment"; }
714
715 explicit BooleanAssignment(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
716 BooleanAssignment(::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const BooleanAssignment& from);
717 BooleanAssignment(
718 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, BooleanAssignment&& from) noexcept
719 : BooleanAssignment(arena) {
720 *this = ::std::move(from);
721 }
722 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;
723 static void* PROTOBUF_NONNULL PlacementNew_(
724 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,
725 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
726 static constexpr auto InternalNewImpl_();
727
728 public:
729 static constexpr auto InternalGenerateClassData_();
730
731 ::google::protobuf::Metadata GetMetadata() const;
732 // nested types ----------------------------------------------------
733
734 // accessors -------------------------------------------------------
735 enum : int {
736 kLiteralsFieldNumber = 1,
737 };
738 // repeated int32 literals = 1;
739 int literals_size() const;
740 private:
741 int _internal_literals_size() const;
742
743 public:
744 void clear_literals() ;
745 ::int32_t literals(int index) const;
746 void set_literals(int index, ::int32_t value);
747 void add_literals(::int32_t value);
748 const ::google::protobuf::RepeatedField<::int32_t>& literals() const;
749 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL mutable_literals();
750
751 private:
752 const ::google::protobuf::RepeatedField<::int32_t>& _internal_literals() const;
753 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL _internal_mutable_literals();
754
755 public:
756 // @@protoc_insertion_point(class_scope:operations_research.sat.BooleanAssignment)
757 private:
758 class _Internal;
759 friend class ::google::protobuf::internal::TcParser;
760 static const ::google::protobuf::internal::TcParseTable<0, 1,
761 0, 0,
762 2>
763 _table_;
764
765 friend class ::google::protobuf::MessageLite;
766 friend class ::google::protobuf::Arena;
767 template <typename T>
768 friend class ::google::protobuf::Arena::InternalHelper;
769 using InternalArenaConstructable_ = void;
770 using DestructorSkippable_ = void;
771 struct Impl_ {
772 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;
773 inline explicit Impl_(
774 ::google::protobuf::internal::InternalVisibility visibility,
775 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
776 inline explicit Impl_(
777 ::google::protobuf::internal::InternalVisibility visibility,
778 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,
779 const BooleanAssignment& from_msg);
780 ::google::protobuf::internal::HasBits<1> _has_bits_;
781 ::google::protobuf::internal::CachedSize _cached_size_;
782 ::google::protobuf::RepeatedField<::int32_t> literals_;
783 PROTOBUF_TSAN_DECLARE_MEMBER
784 };
785 union { Impl_ _impl_; };
786 friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto;
787};
788
789OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull BooleanAssignment_class_data_;
790// -------------------------------------------------------------------
791
792class OR_PROTO_DLL LinearBooleanProblem final : public ::google::protobuf::Message
793/* @@protoc_insertion_point(class_definition:operations_research.sat.LinearBooleanProblem) */ {
794 public:
795 inline LinearBooleanProblem() : LinearBooleanProblem(nullptr) {}
796 ~LinearBooleanProblem() PROTOBUF_FINAL;
797
798#if defined(PROTOBUF_CUSTOM_VTABLE)
799 void operator delete(LinearBooleanProblem* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {
800 SharedDtor(*msg);
801 ::google::protobuf::internal::SizedDelete(msg, sizeof(LinearBooleanProblem));
802 }
803#endif
804
805 template <typename = void>
806 explicit PROTOBUF_CONSTEXPR LinearBooleanProblem(::google::protobuf::internal::ConstantInitialized);
807
808 inline LinearBooleanProblem(const LinearBooleanProblem& from) : LinearBooleanProblem(nullptr, from) {}
809 inline LinearBooleanProblem(LinearBooleanProblem&& from) noexcept
810 : LinearBooleanProblem(nullptr, ::std::move(from)) {}
811 inline LinearBooleanProblem& operator=(const LinearBooleanProblem& from) {
812 CopyFrom(from);
813 return *this;
814 }
815 inline LinearBooleanProblem& operator=(LinearBooleanProblem&& from) noexcept {
816 if (this == &from) return *this;
817 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
818 InternalSwap(&from);
819 } else {
820 CopyFrom(from);
821 }
822 return *this;
823 }
824
825 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const
826 ABSL_ATTRIBUTE_LIFETIME_BOUND {
827 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);
828 }
829 inline ::google::protobuf::UnknownFieldSet* PROTOBUF_NONNULL mutable_unknown_fields()
830 ABSL_ATTRIBUTE_LIFETIME_BOUND {
831 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();
832 }
833
834 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {
835 return GetDescriptor();
836 }
837 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {
838 return default_instance().GetMetadata().descriptor;
839 }
840 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {
841 return default_instance().GetMetadata().reflection;
842 }
843 static const LinearBooleanProblem& default_instance() {
844 return *reinterpret_cast<const LinearBooleanProblem*>(
845 &_LinearBooleanProblem_default_instance_);
846 }
847 static constexpr int kIndexInFileMessages = 3;
848 friend void swap(LinearBooleanProblem& a, LinearBooleanProblem& b) { a.Swap(&b); }
849 inline void Swap(LinearBooleanProblem* PROTOBUF_NONNULL other) {
850 if (other == this) return;
851 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
852 InternalSwap(other);
853 } else {
854 ::google::protobuf::internal::GenericSwap(this, other);
855 }
856 }
857 void UnsafeArenaSwap(LinearBooleanProblem* PROTOBUF_NONNULL other) {
858 if (other == this) return;
859 ABSL_DCHECK(GetArena() == other->GetArena());
860 InternalSwap(other);
861 }
862
863 // implements Message ----------------------------------------------
864
865 LinearBooleanProblem* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena = nullptr) const {
866 return ::google::protobuf::Message::DefaultConstruct<LinearBooleanProblem>(arena);
867 }
868 using ::google::protobuf::Message::CopyFrom;
869 void CopyFrom(const LinearBooleanProblem& from);
870 using ::google::protobuf::Message::MergeFrom;
871 void MergeFrom(const LinearBooleanProblem& from) { LinearBooleanProblem::MergeImpl(*this, from); }
872
873 private:
874 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
875 const ::google::protobuf::MessageLite& from_msg);
876
877 public:
878 bool IsInitialized() const {
879 return true;
880 }
881 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;
882 #if defined(PROTOBUF_CUSTOM_VTABLE)
883 private:
884 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);
885 static ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
886 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,
887 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);
888
889 public:
890 ::size_t ByteSizeLong() const { return ByteSizeLong(*this); }
891 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
892 ::uint8_t* PROTOBUF_NONNULL target,
893 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {
894 return _InternalSerialize(*this, target, stream);
895 }
896 #else // PROTOBUF_CUSTOM_VTABLE
897 ::size_t ByteSizeLong() const final;
898 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
899 ::uint8_t* PROTOBUF_NONNULL target,
900 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;
901 #endif // PROTOBUF_CUSTOM_VTABLE
902 int GetCachedSize() const { return _impl_._cached_size_.Get(); }
903
904 private:
905 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
906 static void SharedDtor(MessageLite& self);
907 void InternalSwap(LinearBooleanProblem* PROTOBUF_NONNULL other);
908 private:
909 template <typename T>
910 friend ::absl::string_view(::google::protobuf::internal::GetAnyMessageName)();
911 static ::absl::string_view FullMessageName() { return "operations_research.sat.LinearBooleanProblem"; }
912
913 explicit LinearBooleanProblem(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
914 LinearBooleanProblem(::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const LinearBooleanProblem& from);
915 LinearBooleanProblem(
916 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, LinearBooleanProblem&& from) noexcept
917 : LinearBooleanProblem(arena) {
918 *this = ::std::move(from);
919 }
920 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;
921 static void* PROTOBUF_NONNULL PlacementNew_(
922 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,
923 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
924 static constexpr auto InternalNewImpl_();
925
926 public:
927 static constexpr auto InternalGenerateClassData_();
928
929 ::google::protobuf::Metadata GetMetadata() const;
930 // nested types ----------------------------------------------------
931
932 // accessors -------------------------------------------------------
933 enum : int {
934 kConstraintsFieldNumber = 4,
935 kVarNamesFieldNumber = 6,
936 kNameFieldNumber = 1,
937 kObjectiveFieldNumber = 5,
938 kAssignmentFieldNumber = 7,
939 kNumVariablesFieldNumber = 3,
940 kOriginalNumVariablesFieldNumber = 8,
941 };
942 // repeated .operations_research.sat.LinearBooleanConstraint constraints = 4;
943 int constraints_size() const;
944 private:
945 int _internal_constraints_size() const;
946
947 public:
948 void clear_constraints() ;
949 ::operations_research::sat::LinearBooleanConstraint* PROTOBUF_NONNULL mutable_constraints(int index);
950 ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>* PROTOBUF_NONNULL mutable_constraints();
951
952 private:
953 const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>& _internal_constraints() const;
954 ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>* PROTOBUF_NONNULL _internal_mutable_constraints();
955 public:
956 const ::operations_research::sat::LinearBooleanConstraint& constraints(int index) const;
957 ::operations_research::sat::LinearBooleanConstraint* PROTOBUF_NONNULL add_constraints();
958 const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>& constraints() const;
959 // repeated string var_names = 6;
960 int var_names_size() const;
961 private:
962 int _internal_var_names_size() const;
963
964 public:
965 void clear_var_names() ;
966 const ::std::string& var_names(int index) const;
967 ::std::string* PROTOBUF_NONNULL mutable_var_names(int index);
968 template <typename Arg_ = const ::std::string&, typename... Args_>
969 void set_var_names(int index, Arg_&& value, Args_... args);
970 ::std::string* PROTOBUF_NONNULL add_var_names();
971 template <typename Arg_ = const ::std::string&, typename... Args_>
972 void add_var_names(Arg_&& value, Args_... args);
973 const ::google::protobuf::RepeatedPtrField<::std::string>& var_names() const;
974 ::google::protobuf::RepeatedPtrField<::std::string>* PROTOBUF_NONNULL mutable_var_names();
975
976 private:
977 const ::google::protobuf::RepeatedPtrField<::std::string>& _internal_var_names() const;
978 ::google::protobuf::RepeatedPtrField<::std::string>* PROTOBUF_NONNULL _internal_mutable_var_names();
979
980 public:
981 // optional string name = 1 [default = ""];
982 bool has_name() const;
983 void clear_name() ;
984 const ::std::string& name() const;
985 template <typename Arg_ = const ::std::string&, typename... Args_>
986 void set_name(Arg_&& arg, Args_... args);
987 ::std::string* PROTOBUF_NONNULL mutable_name();
988 [[nodiscard]] ::std::string* PROTOBUF_NULLABLE release_name();
989 void set_allocated_name(::std::string* PROTOBUF_NULLABLE value);
990
991 private:
992 const ::std::string& _internal_name() const;
993 PROTOBUF_ALWAYS_INLINE void _internal_set_name(const ::std::string& value);
994 ::std::string* PROTOBUF_NONNULL _internal_mutable_name();
995
996 public:
997 // optional .operations_research.sat.LinearObjective objective = 5;
998 bool has_objective() const;
999 void clear_objective() ;
1000 const ::operations_research::sat::LinearObjective& objective() const;
1001 [[nodiscard]] ::operations_research::sat::LinearObjective* PROTOBUF_NULLABLE release_objective();
1002 ::operations_research::sat::LinearObjective* PROTOBUF_NONNULL mutable_objective();
1003 void set_allocated_objective(::operations_research::sat::LinearObjective* PROTOBUF_NULLABLE value);
1004 void unsafe_arena_set_allocated_objective(::operations_research::sat::LinearObjective* PROTOBUF_NULLABLE value);
1005 ::operations_research::sat::LinearObjective* PROTOBUF_NULLABLE unsafe_arena_release_objective();
1006
1007 private:
1008 const ::operations_research::sat::LinearObjective& _internal_objective() const;
1009 ::operations_research::sat::LinearObjective* PROTOBUF_NONNULL _internal_mutable_objective();
1010
1011 public:
1012 // optional .operations_research.sat.BooleanAssignment assignment = 7;
1013 bool has_assignment() const;
1014 void clear_assignment() ;
1015 const ::operations_research::sat::BooleanAssignment& assignment() const;
1016 [[nodiscard]] ::operations_research::sat::BooleanAssignment* PROTOBUF_NULLABLE release_assignment();
1017 ::operations_research::sat::BooleanAssignment* PROTOBUF_NONNULL mutable_assignment();
1018 void set_allocated_assignment(::operations_research::sat::BooleanAssignment* PROTOBUF_NULLABLE value);
1019 void unsafe_arena_set_allocated_assignment(::operations_research::sat::BooleanAssignment* PROTOBUF_NULLABLE value);
1020 ::operations_research::sat::BooleanAssignment* PROTOBUF_NULLABLE unsafe_arena_release_assignment();
1021
1022 private:
1023 const ::operations_research::sat::BooleanAssignment& _internal_assignment() const;
1024 ::operations_research::sat::BooleanAssignment* PROTOBUF_NONNULL _internal_mutable_assignment();
1025
1026 public:
1027 // optional int32 num_variables = 3;
1028 bool has_num_variables() const;
1029 void clear_num_variables() ;
1030 ::int32_t num_variables() const;
1031 void set_num_variables(::int32_t value);
1032
1033 private:
1034 ::int32_t _internal_num_variables() const;
1035 void _internal_set_num_variables(::int32_t value);
1036
1037 public:
1038 // optional int32 original_num_variables = 8;
1039 bool has_original_num_variables() const;
1040 void clear_original_num_variables() ;
1041 ::int32_t original_num_variables() const;
1042 void set_original_num_variables(::int32_t value);
1043
1044 private:
1045 ::int32_t _internal_original_num_variables() const;
1046 void _internal_set_original_num_variables(::int32_t value);
1047
1048 public:
1049 // @@protoc_insertion_point(class_scope:operations_research.sat.LinearBooleanProblem)
1050 private:
1051 class _Internal;
1052 friend class ::google::protobuf::internal::TcParser;
1053 static const ::google::protobuf::internal::TcParseTable<3, 7,
1054 3, 0,
1055 2>
1056 _table_;
1057
1058 friend class ::google::protobuf::MessageLite;
1059 friend class ::google::protobuf::Arena;
1060 template <typename T>
1061 friend class ::google::protobuf::Arena::InternalHelper;
1062 using InternalArenaConstructable_ = void;
1063 using DestructorSkippable_ = void;
1064 struct Impl_ {
1065 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;
1066 inline explicit Impl_(
1067 ::google::protobuf::internal::InternalVisibility visibility,
1068 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
1069 inline explicit Impl_(
1070 ::google::protobuf::internal::InternalVisibility visibility,
1071 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,
1072 const LinearBooleanProblem& from_msg);
1073 ::google::protobuf::internal::HasBits<1> _has_bits_;
1074 ::google::protobuf::internal::CachedSize _cached_size_;
1075 ::google::protobuf::RepeatedPtrField< ::operations_research::sat::LinearBooleanConstraint > constraints_;
1076 ::google::protobuf::RepeatedPtrField<::std::string> var_names_;
1077 ::google::protobuf::internal::ArenaStringPtr name_;
1078 ::operations_research::sat::LinearObjective* PROTOBUF_NULLABLE objective_;
1079 ::operations_research::sat::BooleanAssignment* PROTOBUF_NULLABLE assignment_;
1080 ::int32_t num_variables_;
1081 ::int32_t original_num_variables_;
1082 PROTOBUF_TSAN_DECLARE_MEMBER
1083 };
1084 union { Impl_ _impl_; };
1085 friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto;
1086};
1087
1088OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LinearBooleanProblem_class_data_;
1089
1090// ===================================================================
1091
1092
1093
1094
1095// ===================================================================
1096
1097
1098#ifdef __GNUC__
1099#pragma GCC diagnostic push
1100#pragma GCC diagnostic ignored "-Wstrict-aliasing"
1101#endif // __GNUC__
1102// -------------------------------------------------------------------
1103
1104// LinearBooleanConstraint
1105
1106// repeated int32 literals = 1;
1107inline int LinearBooleanConstraint::_internal_literals_size() const {
1108 return _internal_literals().size();
1109}
1110inline int LinearBooleanConstraint::literals_size() const {
1111 return _internal_literals_size();
1112}
1113inline void LinearBooleanConstraint::clear_literals() {
1114 ::google::protobuf::internal::TSanWrite(&_impl_);
1115 _impl_.literals_.Clear();
1116 ClearHasBitForRepeated(_impl_._has_bits_[0],
1117 0x00000001U);
1118}
1119inline ::int32_t LinearBooleanConstraint::literals(int index) const {
1120 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanConstraint.literals)
1121 return _internal_literals().Get(index);
1122}
1123inline void LinearBooleanConstraint::set_literals(int index, ::int32_t value) {
1124 _internal_mutable_literals()->Set(index, value);
1125 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanConstraint.literals)
1126}
1127inline void LinearBooleanConstraint::add_literals(::int32_t value) {
1128 ::google::protobuf::internal::TSanWrite(&_impl_);
1129 _internal_mutable_literals()->Add(value);
1130 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1131 // @@protoc_insertion_point(field_add:operations_research.sat.LinearBooleanConstraint.literals)
1132}
1133inline const ::google::protobuf::RepeatedField<::int32_t>& LinearBooleanConstraint::literals() const
1134 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1135 // @@protoc_insertion_point(field_list:operations_research.sat.LinearBooleanConstraint.literals)
1136 return _internal_literals();
1137}
1138inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL LinearBooleanConstraint::mutable_literals()
1139 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1140 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1141 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearBooleanConstraint.literals)
1142 ::google::protobuf::internal::TSanWrite(&_impl_);
1143 return _internal_mutable_literals();
1144}
1145inline const ::google::protobuf::RepeatedField<::int32_t>&
1146LinearBooleanConstraint::_internal_literals() const {
1147 ::google::protobuf::internal::TSanRead(&_impl_);
1148 return _impl_.literals_;
1149}
1150inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL
1151LinearBooleanConstraint::_internal_mutable_literals() {
1152 ::google::protobuf::internal::TSanRead(&_impl_);
1153 return &_impl_.literals_;
1154}
1155
1156// repeated int64 coefficients = 2;
1157inline int LinearBooleanConstraint::_internal_coefficients_size() const {
1158 return _internal_coefficients().size();
1159}
1160inline int LinearBooleanConstraint::coefficients_size() const {
1161 return _internal_coefficients_size();
1162}
1163inline void LinearBooleanConstraint::clear_coefficients() {
1164 ::google::protobuf::internal::TSanWrite(&_impl_);
1165 _impl_.coefficients_.Clear();
1166 ClearHasBitForRepeated(_impl_._has_bits_[0],
1167 0x00000002U);
1168}
1169inline ::int64_t LinearBooleanConstraint::coefficients(int index) const {
1170 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanConstraint.coefficients)
1171 return _internal_coefficients().Get(index);
1172}
1173inline void LinearBooleanConstraint::set_coefficients(int index, ::int64_t value) {
1174 _internal_mutable_coefficients()->Set(index, value);
1175 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanConstraint.coefficients)
1176}
1177inline void LinearBooleanConstraint::add_coefficients(::int64_t value) {
1178 ::google::protobuf::internal::TSanWrite(&_impl_);
1179 _internal_mutable_coefficients()->Add(value);
1180 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);
1181 // @@protoc_insertion_point(field_add:operations_research.sat.LinearBooleanConstraint.coefficients)
1182}
1183inline const ::google::protobuf::RepeatedField<::int64_t>& LinearBooleanConstraint::coefficients() const
1184 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1185 // @@protoc_insertion_point(field_list:operations_research.sat.LinearBooleanConstraint.coefficients)
1186 return _internal_coefficients();
1187}
1188inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL LinearBooleanConstraint::mutable_coefficients()
1189 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1190 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);
1191 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearBooleanConstraint.coefficients)
1192 ::google::protobuf::internal::TSanWrite(&_impl_);
1193 return _internal_mutable_coefficients();
1194}
1195inline const ::google::protobuf::RepeatedField<::int64_t>&
1196LinearBooleanConstraint::_internal_coefficients() const {
1197 ::google::protobuf::internal::TSanRead(&_impl_);
1198 return _impl_.coefficients_;
1199}
1200inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL
1201LinearBooleanConstraint::_internal_mutable_coefficients() {
1202 ::google::protobuf::internal::TSanRead(&_impl_);
1203 return &_impl_.coefficients_;
1204}
1205
1206// optional int64 lower_bound = 3;
1207inline bool LinearBooleanConstraint::has_lower_bound() const {
1208 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000008U);
1209 return value;
1210}
1211inline void LinearBooleanConstraint::clear_lower_bound() {
1212 ::google::protobuf::internal::TSanWrite(&_impl_);
1213 _impl_.lower_bound_ = ::int64_t{0};
1214 ClearHasBit(_impl_._has_bits_[0],
1215 0x00000008U);
1216}
1217inline ::int64_t LinearBooleanConstraint::lower_bound() const {
1218 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanConstraint.lower_bound)
1219 return _internal_lower_bound();
1220}
1221inline void LinearBooleanConstraint::set_lower_bound(::int64_t value) {
1222 _internal_set_lower_bound(value);
1223 SetHasBit(_impl_._has_bits_[0], 0x00000008U);
1224 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanConstraint.lower_bound)
1225}
1226inline ::int64_t LinearBooleanConstraint::_internal_lower_bound() const {
1227 ::google::protobuf::internal::TSanRead(&_impl_);
1228 return _impl_.lower_bound_;
1229}
1230inline void LinearBooleanConstraint::_internal_set_lower_bound(::int64_t value) {
1231 ::google::protobuf::internal::TSanWrite(&_impl_);
1232 _impl_.lower_bound_ = value;
1233}
1234
1235// optional int64 upper_bound = 4;
1236inline bool LinearBooleanConstraint::has_upper_bound() const {
1237 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000010U);
1238 return value;
1239}
1240inline void LinearBooleanConstraint::clear_upper_bound() {
1241 ::google::protobuf::internal::TSanWrite(&_impl_);
1242 _impl_.upper_bound_ = ::int64_t{0};
1243 ClearHasBit(_impl_._has_bits_[0],
1244 0x00000010U);
1245}
1246inline ::int64_t LinearBooleanConstraint::upper_bound() const {
1247 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanConstraint.upper_bound)
1248 return _internal_upper_bound();
1249}
1250inline void LinearBooleanConstraint::set_upper_bound(::int64_t value) {
1251 _internal_set_upper_bound(value);
1252 SetHasBit(_impl_._has_bits_[0], 0x00000010U);
1253 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanConstraint.upper_bound)
1254}
1255inline ::int64_t LinearBooleanConstraint::_internal_upper_bound() const {
1256 ::google::protobuf::internal::TSanRead(&_impl_);
1257 return _impl_.upper_bound_;
1258}
1259inline void LinearBooleanConstraint::_internal_set_upper_bound(::int64_t value) {
1260 ::google::protobuf::internal::TSanWrite(&_impl_);
1261 _impl_.upper_bound_ = value;
1262}
1263
1264// optional string name = 5 [default = ""];
1265inline bool LinearBooleanConstraint::has_name() const {
1266 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000004U);
1267 return value;
1268}
1269inline void LinearBooleanConstraint::clear_name() {
1270 ::google::protobuf::internal::TSanWrite(&_impl_);
1271 _impl_.name_.ClearToEmpty();
1272 ClearHasBit(_impl_._has_bits_[0],
1273 0x00000004U);
1274}
1275inline const ::std::string& LinearBooleanConstraint::name() const
1276 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1277 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanConstraint.name)
1278 return _internal_name();
1279}
1280template <typename Arg_, typename... Args_>
1281PROTOBUF_ALWAYS_INLINE void LinearBooleanConstraint::set_name(Arg_&& arg, Args_... args) {
1282 ::google::protobuf::internal::TSanWrite(&_impl_);
1283 SetHasBit(_impl_._has_bits_[0], 0x00000004U);
1284 _impl_.name_.Set(static_cast<Arg_&&>(arg), args..., GetArena());
1285 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanConstraint.name)
1286}
1287inline ::std::string* PROTOBUF_NONNULL LinearBooleanConstraint::mutable_name()
1288 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1289 SetHasBit(_impl_._has_bits_[0], 0x00000004U);
1290 ::std::string* _s = _internal_mutable_name();
1291 // @@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanConstraint.name)
1292 return _s;
1293}
1294inline const ::std::string& LinearBooleanConstraint::_internal_name() const {
1295 ::google::protobuf::internal::TSanRead(&_impl_);
1296 return _impl_.name_.Get();
1297}
1298inline void LinearBooleanConstraint::_internal_set_name(const ::std::string& value) {
1299 ::google::protobuf::internal::TSanWrite(&_impl_);
1300 _impl_.name_.Set(value, GetArena());
1301}
1302inline ::std::string* PROTOBUF_NONNULL LinearBooleanConstraint::_internal_mutable_name() {
1303 ::google::protobuf::internal::TSanWrite(&_impl_);
1304 return _impl_.name_.Mutable( GetArena());
1305}
1306inline ::std::string* PROTOBUF_NULLABLE LinearBooleanConstraint::release_name() {
1307 ::google::protobuf::internal::TSanWrite(&_impl_);
1308 // @@protoc_insertion_point(field_release:operations_research.sat.LinearBooleanConstraint.name)
1309 if (!CheckHasBit(_impl_._has_bits_[0], 0x00000004U)) {
1310 return nullptr;
1311 }
1312 ClearHasBit(_impl_._has_bits_[0], 0x00000004U);
1313 auto* released = _impl_.name_.Release();
1314 if (::google::protobuf::internal::DebugHardenForceCopyDefaultString()) {
1315 _impl_.name_.Set("", GetArena());
1316 }
1317 return released;
1318}
1319inline void LinearBooleanConstraint::set_allocated_name(::std::string* PROTOBUF_NULLABLE value) {
1320 ::google::protobuf::internal::TSanWrite(&_impl_);
1321 if (value != nullptr) {
1322 SetHasBit(_impl_._has_bits_[0], 0x00000004U);
1323 } else {
1324 ClearHasBit(_impl_._has_bits_[0], 0x00000004U);
1325 }
1326 _impl_.name_.SetAllocated(value, GetArena());
1327 if (::google::protobuf::internal::DebugHardenForceCopyDefaultString() && _impl_.name_.IsDefault()) {
1328 _impl_.name_.Set("", GetArena());
1329 }
1330 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.LinearBooleanConstraint.name)
1331}
1332
1333// -------------------------------------------------------------------
1334
1335// LinearObjective
1336
1337// repeated int32 literals = 1;
1338inline int LinearObjective::_internal_literals_size() const {
1339 return _internal_literals().size();
1340}
1341inline int LinearObjective::literals_size() const {
1342 return _internal_literals_size();
1343}
1344inline void LinearObjective::clear_literals() {
1345 ::google::protobuf::internal::TSanWrite(&_impl_);
1346 _impl_.literals_.Clear();
1347 ClearHasBitForRepeated(_impl_._has_bits_[0],
1348 0x00000001U);
1349}
1350inline ::int32_t LinearObjective::literals(int index) const {
1351 // @@protoc_insertion_point(field_get:operations_research.sat.LinearObjective.literals)
1352 return _internal_literals().Get(index);
1353}
1354inline void LinearObjective::set_literals(int index, ::int32_t value) {
1355 _internal_mutable_literals()->Set(index, value);
1356 // @@protoc_insertion_point(field_set:operations_research.sat.LinearObjective.literals)
1357}
1358inline void LinearObjective::add_literals(::int32_t value) {
1359 ::google::protobuf::internal::TSanWrite(&_impl_);
1360 _internal_mutable_literals()->Add(value);
1361 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1362 // @@protoc_insertion_point(field_add:operations_research.sat.LinearObjective.literals)
1363}
1364inline const ::google::protobuf::RepeatedField<::int32_t>& LinearObjective::literals() const
1365 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1366 // @@protoc_insertion_point(field_list:operations_research.sat.LinearObjective.literals)
1367 return _internal_literals();
1368}
1369inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL LinearObjective::mutable_literals()
1370 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1371 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1372 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearObjective.literals)
1373 ::google::protobuf::internal::TSanWrite(&_impl_);
1374 return _internal_mutable_literals();
1375}
1376inline const ::google::protobuf::RepeatedField<::int32_t>&
1377LinearObjective::_internal_literals() const {
1378 ::google::protobuf::internal::TSanRead(&_impl_);
1379 return _impl_.literals_;
1380}
1381inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL
1382LinearObjective::_internal_mutable_literals() {
1383 ::google::protobuf::internal::TSanRead(&_impl_);
1384 return &_impl_.literals_;
1385}
1386
1387// repeated int64 coefficients = 2;
1388inline int LinearObjective::_internal_coefficients_size() const {
1389 return _internal_coefficients().size();
1390}
1391inline int LinearObjective::coefficients_size() const {
1392 return _internal_coefficients_size();
1393}
1394inline void LinearObjective::clear_coefficients() {
1395 ::google::protobuf::internal::TSanWrite(&_impl_);
1396 _impl_.coefficients_.Clear();
1397 ClearHasBitForRepeated(_impl_._has_bits_[0],
1398 0x00000002U);
1399}
1400inline ::int64_t LinearObjective::coefficients(int index) const {
1401 // @@protoc_insertion_point(field_get:operations_research.sat.LinearObjective.coefficients)
1402 return _internal_coefficients().Get(index);
1403}
1404inline void LinearObjective::set_coefficients(int index, ::int64_t value) {
1405 _internal_mutable_coefficients()->Set(index, value);
1406 // @@protoc_insertion_point(field_set:operations_research.sat.LinearObjective.coefficients)
1407}
1408inline void LinearObjective::add_coefficients(::int64_t value) {
1409 ::google::protobuf::internal::TSanWrite(&_impl_);
1410 _internal_mutable_coefficients()->Add(value);
1411 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);
1412 // @@protoc_insertion_point(field_add:operations_research.sat.LinearObjective.coefficients)
1413}
1414inline const ::google::protobuf::RepeatedField<::int64_t>& LinearObjective::coefficients() const
1415 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1416 // @@protoc_insertion_point(field_list:operations_research.sat.LinearObjective.coefficients)
1417 return _internal_coefficients();
1418}
1419inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL LinearObjective::mutable_coefficients()
1420 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1421 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);
1422 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearObjective.coefficients)
1423 ::google::protobuf::internal::TSanWrite(&_impl_);
1424 return _internal_mutable_coefficients();
1425}
1426inline const ::google::protobuf::RepeatedField<::int64_t>&
1427LinearObjective::_internal_coefficients() const {
1428 ::google::protobuf::internal::TSanRead(&_impl_);
1429 return _impl_.coefficients_;
1430}
1431inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL
1432LinearObjective::_internal_mutable_coefficients() {
1433 ::google::protobuf::internal::TSanRead(&_impl_);
1434 return &_impl_.coefficients_;
1435}
1436
1437// optional double offset = 3 [default = 0];
1438inline bool LinearObjective::has_offset() const {
1439 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000004U);
1440 return value;
1441}
1442inline void LinearObjective::clear_offset() {
1443 ::google::protobuf::internal::TSanWrite(&_impl_);
1444 _impl_.offset_ = 0;
1445 ClearHasBit(_impl_._has_bits_[0],
1446 0x00000004U);
1447}
1448inline double LinearObjective::offset() const {
1449 // @@protoc_insertion_point(field_get:operations_research.sat.LinearObjective.offset)
1450 return _internal_offset();
1451}
1452inline void LinearObjective::set_offset(double value) {
1453 _internal_set_offset(value);
1454 SetHasBit(_impl_._has_bits_[0], 0x00000004U);
1455 // @@protoc_insertion_point(field_set:operations_research.sat.LinearObjective.offset)
1456}
1457inline double LinearObjective::_internal_offset() const {
1458 ::google::protobuf::internal::TSanRead(&_impl_);
1459 return _impl_.offset_;
1460}
1461inline void LinearObjective::_internal_set_offset(double value) {
1462 ::google::protobuf::internal::TSanWrite(&_impl_);
1463 _impl_.offset_ = value;
1464}
1465
1466// optional double scaling_factor = 4 [default = 1];
1467inline bool LinearObjective::has_scaling_factor() const {
1468 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000008U);
1469 return value;
1470}
1471inline void LinearObjective::clear_scaling_factor() {
1472 ::google::protobuf::internal::TSanWrite(&_impl_);
1473 _impl_.scaling_factor_ = 1;
1474 ClearHasBit(_impl_._has_bits_[0],
1475 0x00000008U);
1476}
1477inline double LinearObjective::scaling_factor() const {
1478 // @@protoc_insertion_point(field_get:operations_research.sat.LinearObjective.scaling_factor)
1479 return _internal_scaling_factor();
1480}
1481inline void LinearObjective::set_scaling_factor(double value) {
1482 _internal_set_scaling_factor(value);
1483 SetHasBit(_impl_._has_bits_[0], 0x00000008U);
1484 // @@protoc_insertion_point(field_set:operations_research.sat.LinearObjective.scaling_factor)
1485}
1486inline double LinearObjective::_internal_scaling_factor() const {
1487 ::google::protobuf::internal::TSanRead(&_impl_);
1488 return _impl_.scaling_factor_;
1489}
1490inline void LinearObjective::_internal_set_scaling_factor(double value) {
1491 ::google::protobuf::internal::TSanWrite(&_impl_);
1492 _impl_.scaling_factor_ = value;
1493}
1494
1495// -------------------------------------------------------------------
1496
1497// BooleanAssignment
1498
1499// repeated int32 literals = 1;
1500inline int BooleanAssignment::_internal_literals_size() const {
1501 return _internal_literals().size();
1502}
1503inline int BooleanAssignment::literals_size() const {
1504 return _internal_literals_size();
1505}
1506inline void BooleanAssignment::clear_literals() {
1507 ::google::protobuf::internal::TSanWrite(&_impl_);
1508 _impl_.literals_.Clear();
1509 ClearHasBitForRepeated(_impl_._has_bits_[0],
1510 0x00000001U);
1511}
1512inline ::int32_t BooleanAssignment::literals(int index) const {
1513 // @@protoc_insertion_point(field_get:operations_research.sat.BooleanAssignment.literals)
1514 return _internal_literals().Get(index);
1515}
1516inline void BooleanAssignment::set_literals(int index, ::int32_t value) {
1517 _internal_mutable_literals()->Set(index, value);
1518 // @@protoc_insertion_point(field_set:operations_research.sat.BooleanAssignment.literals)
1519}
1520inline void BooleanAssignment::add_literals(::int32_t value) {
1521 ::google::protobuf::internal::TSanWrite(&_impl_);
1522 _internal_mutable_literals()->Add(value);
1523 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1524 // @@protoc_insertion_point(field_add:operations_research.sat.BooleanAssignment.literals)
1525}
1526inline const ::google::protobuf::RepeatedField<::int32_t>& BooleanAssignment::literals() const
1527 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1528 // @@protoc_insertion_point(field_list:operations_research.sat.BooleanAssignment.literals)
1529 return _internal_literals();
1530}
1531inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL BooleanAssignment::mutable_literals()
1532 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1533 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1534 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.BooleanAssignment.literals)
1535 ::google::protobuf::internal::TSanWrite(&_impl_);
1536 return _internal_mutable_literals();
1537}
1538inline const ::google::protobuf::RepeatedField<::int32_t>&
1539BooleanAssignment::_internal_literals() const {
1540 ::google::protobuf::internal::TSanRead(&_impl_);
1541 return _impl_.literals_;
1542}
1543inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL
1544BooleanAssignment::_internal_mutable_literals() {
1545 ::google::protobuf::internal::TSanRead(&_impl_);
1546 return &_impl_.literals_;
1547}
1548
1549// -------------------------------------------------------------------
1550
1551// LinearBooleanProblem
1552
1553// optional string name = 1 [default = ""];
1554inline bool LinearBooleanProblem::has_name() const {
1555 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000004U);
1556 return value;
1557}
1558inline void LinearBooleanProblem::clear_name() {
1559 ::google::protobuf::internal::TSanWrite(&_impl_);
1560 _impl_.name_.ClearToEmpty();
1561 ClearHasBit(_impl_._has_bits_[0],
1562 0x00000004U);
1563}
1564inline const ::std::string& LinearBooleanProblem::name() const
1565 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1566 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.name)
1567 return _internal_name();
1568}
1569template <typename Arg_, typename... Args_>
1570PROTOBUF_ALWAYS_INLINE void LinearBooleanProblem::set_name(Arg_&& arg, Args_... args) {
1571 ::google::protobuf::internal::TSanWrite(&_impl_);
1572 SetHasBit(_impl_._has_bits_[0], 0x00000004U);
1573 _impl_.name_.Set(static_cast<Arg_&&>(arg), args..., GetArena());
1574 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanProblem.name)
1575}
1576inline ::std::string* PROTOBUF_NONNULL LinearBooleanProblem::mutable_name()
1577 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1578 SetHasBit(_impl_._has_bits_[0], 0x00000004U);
1579 ::std::string* _s = _internal_mutable_name();
1580 // @@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanProblem.name)
1581 return _s;
1582}
1583inline const ::std::string& LinearBooleanProblem::_internal_name() const {
1584 ::google::protobuf::internal::TSanRead(&_impl_);
1585 return _impl_.name_.Get();
1586}
1587inline void LinearBooleanProblem::_internal_set_name(const ::std::string& value) {
1588 ::google::protobuf::internal::TSanWrite(&_impl_);
1589 _impl_.name_.Set(value, GetArena());
1590}
1591inline ::std::string* PROTOBUF_NONNULL LinearBooleanProblem::_internal_mutable_name() {
1592 ::google::protobuf::internal::TSanWrite(&_impl_);
1593 return _impl_.name_.Mutable( GetArena());
1594}
1595inline ::std::string* PROTOBUF_NULLABLE LinearBooleanProblem::release_name() {
1596 ::google::protobuf::internal::TSanWrite(&_impl_);
1597 // @@protoc_insertion_point(field_release:operations_research.sat.LinearBooleanProblem.name)
1598 if (!CheckHasBit(_impl_._has_bits_[0], 0x00000004U)) {
1599 return nullptr;
1600 }
1601 ClearHasBit(_impl_._has_bits_[0], 0x00000004U);
1602 auto* released = _impl_.name_.Release();
1603 if (::google::protobuf::internal::DebugHardenForceCopyDefaultString()) {
1604 _impl_.name_.Set("", GetArena());
1605 }
1606 return released;
1607}
1608inline void LinearBooleanProblem::set_allocated_name(::std::string* PROTOBUF_NULLABLE value) {
1609 ::google::protobuf::internal::TSanWrite(&_impl_);
1610 if (value != nullptr) {
1611 SetHasBit(_impl_._has_bits_[0], 0x00000004U);
1612 } else {
1613 ClearHasBit(_impl_._has_bits_[0], 0x00000004U);
1614 }
1615 _impl_.name_.SetAllocated(value, GetArena());
1616 if (::google::protobuf::internal::DebugHardenForceCopyDefaultString() && _impl_.name_.IsDefault()) {
1617 _impl_.name_.Set("", GetArena());
1618 }
1619 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.LinearBooleanProblem.name)
1620}
1621
1622// optional int32 num_variables = 3;
1623inline bool LinearBooleanProblem::has_num_variables() const {
1624 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000020U);
1625 return value;
1626}
1627inline void LinearBooleanProblem::clear_num_variables() {
1628 ::google::protobuf::internal::TSanWrite(&_impl_);
1629 _impl_.num_variables_ = 0;
1630 ClearHasBit(_impl_._has_bits_[0],
1631 0x00000020U);
1632}
1633inline ::int32_t LinearBooleanProblem::num_variables() const {
1634 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.num_variables)
1635 return _internal_num_variables();
1636}
1637inline void LinearBooleanProblem::set_num_variables(::int32_t value) {
1638 _internal_set_num_variables(value);
1639 SetHasBit(_impl_._has_bits_[0], 0x00000020U);
1640 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanProblem.num_variables)
1641}
1642inline ::int32_t LinearBooleanProblem::_internal_num_variables() const {
1643 ::google::protobuf::internal::TSanRead(&_impl_);
1644 return _impl_.num_variables_;
1645}
1646inline void LinearBooleanProblem::_internal_set_num_variables(::int32_t value) {
1647 ::google::protobuf::internal::TSanWrite(&_impl_);
1648 _impl_.num_variables_ = value;
1649}
1650
1651// repeated .operations_research.sat.LinearBooleanConstraint constraints = 4;
1652inline int LinearBooleanProblem::_internal_constraints_size() const {
1653 return _internal_constraints().size();
1654}
1655inline int LinearBooleanProblem::constraints_size() const {
1656 return _internal_constraints_size();
1657}
1658inline void LinearBooleanProblem::clear_constraints() {
1659 ::google::protobuf::internal::TSanWrite(&_impl_);
1660 _impl_.constraints_.Clear();
1661 ClearHasBitForRepeated(_impl_._has_bits_[0],
1662 0x00000001U);
1663}
1664inline ::operations_research::sat::LinearBooleanConstraint* PROTOBUF_NONNULL LinearBooleanProblem::mutable_constraints(int index)
1665 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1666 // @@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanProblem.constraints)
1667 return _internal_mutable_constraints()->Mutable(index);
1668}
1669inline ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>* PROTOBUF_NONNULL LinearBooleanProblem::mutable_constraints()
1670 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1671 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1672 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearBooleanProblem.constraints)
1673 ::google::protobuf::internal::TSanWrite(&_impl_);
1674 return _internal_mutable_constraints();
1675}
1676inline const ::operations_research::sat::LinearBooleanConstraint& LinearBooleanProblem::constraints(int index) const
1677 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1678 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.constraints)
1679 return _internal_constraints().Get(index);
1680}
1681inline ::operations_research::sat::LinearBooleanConstraint* PROTOBUF_NONNULL LinearBooleanProblem::add_constraints()
1682 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1683 ::google::protobuf::internal::TSanWrite(&_impl_);
1684 ::operations_research::sat::LinearBooleanConstraint* _add =
1685 _internal_mutable_constraints()->InternalAddWithArena(
1686 ::google::protobuf::MessageLite::internal_visibility(), GetArena());
1687 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1688 // @@protoc_insertion_point(field_add:operations_research.sat.LinearBooleanProblem.constraints)
1689 return _add;
1690}
1691inline const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>& LinearBooleanProblem::constraints() const
1692 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1693 // @@protoc_insertion_point(field_list:operations_research.sat.LinearBooleanProblem.constraints)
1694 return _internal_constraints();
1695}
1696inline const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>&
1697LinearBooleanProblem::_internal_constraints() const {
1698 ::google::protobuf::internal::TSanRead(&_impl_);
1699 return _impl_.constraints_;
1700}
1701inline ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>* PROTOBUF_NONNULL
1702LinearBooleanProblem::_internal_mutable_constraints() {
1703 ::google::protobuf::internal::TSanRead(&_impl_);
1704 return &_impl_.constraints_;
1705}
1706
1707// optional .operations_research.sat.LinearObjective objective = 5;
1708inline bool LinearBooleanProblem::has_objective() const {
1709 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000008U);
1710 PROTOBUF_ASSUME(!value || _impl_.objective_ != nullptr);
1711 return value;
1712}
1713inline void LinearBooleanProblem::clear_objective() {
1714 ::google::protobuf::internal::TSanWrite(&_impl_);
1715 if (_impl_.objective_ != nullptr) _impl_.objective_->Clear();
1716 ClearHasBit(_impl_._has_bits_[0],
1717 0x00000008U);
1718}
1719inline const ::operations_research::sat::LinearObjective& LinearBooleanProblem::_internal_objective() const {
1720 ::google::protobuf::internal::TSanRead(&_impl_);
1721 const ::operations_research::sat::LinearObjective* p = _impl_.objective_;
1722 return p != nullptr ? *p : reinterpret_cast<const ::operations_research::sat::LinearObjective&>(::operations_research::sat::_LinearObjective_default_instance_);
1723}
1724inline const ::operations_research::sat::LinearObjective& LinearBooleanProblem::objective() const ABSL_ATTRIBUTE_LIFETIME_BOUND {
1725 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.objective)
1726 return _internal_objective();
1727}
1728inline void LinearBooleanProblem::unsafe_arena_set_allocated_objective(
1729 ::operations_research::sat::LinearObjective* PROTOBUF_NULLABLE value) {
1730 ::google::protobuf::internal::TSanWrite(&_impl_);
1731 if (GetArena() == nullptr) {
1732 delete reinterpret_cast<::google::protobuf::MessageLite*>(_impl_.objective_);
1733 }
1734 _impl_.objective_ = reinterpret_cast<::operations_research::sat::LinearObjective*>(value);
1735 if (value != nullptr) {
1736 SetHasBit(_impl_._has_bits_[0], 0x00000008U);
1737 } else {
1738 ClearHasBit(_impl_._has_bits_[0], 0x00000008U);
1739 }
1740 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.LinearBooleanProblem.objective)
1741}
1742inline ::operations_research::sat::LinearObjective* PROTOBUF_NULLABLE LinearBooleanProblem::release_objective() {
1743 ::google::protobuf::internal::TSanWrite(&_impl_);
1744
1745 ClearHasBit(_impl_._has_bits_[0], 0x00000008U);
1746 ::operations_research::sat::LinearObjective* released = _impl_.objective_;
1747 _impl_.objective_ = nullptr;
1748 if (::google::protobuf::internal::DebugHardenForceCopyInRelease()) {
1749 auto* old = reinterpret_cast<::google::protobuf::MessageLite*>(released);
1750 released = ::google::protobuf::internal::DuplicateIfNonNull(released);
1751 if (GetArena() == nullptr) {
1752 delete old;
1753 }
1754 } else {
1755 if (GetArena() != nullptr) {
1756 released = ::google::protobuf::internal::DuplicateIfNonNull(released);
1757 }
1758 }
1759 return released;
1760}
1761inline ::operations_research::sat::LinearObjective* PROTOBUF_NULLABLE LinearBooleanProblem::unsafe_arena_release_objective() {
1762 ::google::protobuf::internal::TSanWrite(&_impl_);
1763 // @@protoc_insertion_point(field_release:operations_research.sat.LinearBooleanProblem.objective)
1764
1765 ClearHasBit(_impl_._has_bits_[0], 0x00000008U);
1766 ::operations_research::sat::LinearObjective* temp = _impl_.objective_;
1767 _impl_.objective_ = nullptr;
1768 return temp;
1769}
1770inline ::operations_research::sat::LinearObjective* PROTOBUF_NONNULL LinearBooleanProblem::_internal_mutable_objective() {
1771 ::google::protobuf::internal::TSanWrite(&_impl_);
1772 if (_impl_.objective_ == nullptr) {
1773 auto* p = ::google::protobuf::Message::DefaultConstruct<::operations_research::sat::LinearObjective>(GetArena());
1774 _impl_.objective_ = reinterpret_cast<::operations_research::sat::LinearObjective*>(p);
1775 }
1776 return _impl_.objective_;
1777}
1778inline ::operations_research::sat::LinearObjective* PROTOBUF_NONNULL LinearBooleanProblem::mutable_objective()
1779 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1780 SetHasBit(_impl_._has_bits_[0], 0x00000008U);
1781 ::operations_research::sat::LinearObjective* _msg = _internal_mutable_objective();
1782 // @@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanProblem.objective)
1783 return _msg;
1784}
1785inline void LinearBooleanProblem::set_allocated_objective(::operations_research::sat::LinearObjective* PROTOBUF_NULLABLE value) {
1786 ::google::protobuf::Arena* message_arena = GetArena();
1787 ::google::protobuf::internal::TSanWrite(&_impl_);
1788 if (message_arena == nullptr) {
1789 delete reinterpret_cast<::google::protobuf::MessageLite*>(_impl_.objective_);
1790 }
1791
1792 if (value != nullptr) {
1793 ::google::protobuf::Arena* submessage_arena = value->GetArena();
1794 if (message_arena != submessage_arena) {
1795 value = ::google::protobuf::internal::GetOwnedMessage(message_arena, value, submessage_arena);
1796 }
1797 SetHasBit(_impl_._has_bits_[0], 0x00000008U);
1798 } else {
1799 ClearHasBit(_impl_._has_bits_[0], 0x00000008U);
1800 }
1801
1802 _impl_.objective_ = reinterpret_cast<::operations_research::sat::LinearObjective*>(value);
1803 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.LinearBooleanProblem.objective)
1804}
1805
1806// repeated string var_names = 6;
1807inline int LinearBooleanProblem::_internal_var_names_size() const {
1808 return _internal_var_names().size();
1809}
1810inline int LinearBooleanProblem::var_names_size() const {
1811 return _internal_var_names_size();
1812}
1813inline void LinearBooleanProblem::clear_var_names() {
1814 ::google::protobuf::internal::TSanWrite(&_impl_);
1815 _impl_.var_names_.Clear();
1816 ClearHasBitForRepeated(_impl_._has_bits_[0],
1817 0x00000002U);
1818}
1819inline ::std::string* PROTOBUF_NONNULL LinearBooleanProblem::add_var_names()
1820 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1821 ::google::protobuf::internal::TSanWrite(&_impl_);
1822 ::std::string* _s =
1823 _internal_mutable_var_names()->InternalAddWithArena(
1824 ::google::protobuf::MessageLite::internal_visibility(), GetArena());
1825 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);
1826 // @@protoc_insertion_point(field_add_mutable:operations_research.sat.LinearBooleanProblem.var_names)
1827 return _s;
1828}
1829inline const ::std::string& LinearBooleanProblem::var_names(int index) const
1830 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1831 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.var_names)
1832 return _internal_var_names().Get(index);
1833}
1834inline ::std::string* PROTOBUF_NONNULL LinearBooleanProblem::mutable_var_names(int index)
1835 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1836 // @@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanProblem.var_names)
1837 return _internal_mutable_var_names()->Mutable(index);
1838}
1839template <typename Arg_, typename... Args_>
1840inline void LinearBooleanProblem::set_var_names(int index, Arg_&& value, Args_... args) {
1841 ::google::protobuf::internal::AssignToString(*_internal_mutable_var_names()->Mutable(index), ::std::forward<Arg_>(value),
1842 args... );
1843 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanProblem.var_names)
1844}
1845template <typename Arg_, typename... Args_>
1846inline void LinearBooleanProblem::add_var_names(Arg_&& value, Args_... args) {
1847 ::google::protobuf::internal::TSanWrite(&_impl_);
1848 ::google::protobuf::internal::AddToRepeatedPtrField(
1849 ::google::protobuf::MessageLite::internal_visibility(), GetArena(),
1850 *_internal_mutable_var_names(), ::std::forward<Arg_>(value),
1851 args... );
1852 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);
1853 // @@protoc_insertion_point(field_add:operations_research.sat.LinearBooleanProblem.var_names)
1854}
1855inline const ::google::protobuf::RepeatedPtrField<::std::string>& LinearBooleanProblem::var_names()
1856 const ABSL_ATTRIBUTE_LIFETIME_BOUND {
1857 // @@protoc_insertion_point(field_list:operations_research.sat.LinearBooleanProblem.var_names)
1858 return _internal_var_names();
1859}
1860inline ::google::protobuf::RepeatedPtrField<::std::string>* PROTOBUF_NONNULL
1861LinearBooleanProblem::mutable_var_names() ABSL_ATTRIBUTE_LIFETIME_BOUND {
1862 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);
1863 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LinearBooleanProblem.var_names)
1864 ::google::protobuf::internal::TSanWrite(&_impl_);
1865 return _internal_mutable_var_names();
1866}
1867inline const ::google::protobuf::RepeatedPtrField<::std::string>&
1868LinearBooleanProblem::_internal_var_names() const {
1869 ::google::protobuf::internal::TSanRead(&_impl_);
1870 return _impl_.var_names_;
1871}
1872inline ::google::protobuf::RepeatedPtrField<::std::string>* PROTOBUF_NONNULL
1873LinearBooleanProblem::_internal_mutable_var_names() {
1874 ::google::protobuf::internal::TSanRead(&_impl_);
1875 return &_impl_.var_names_;
1876}
1877
1878// optional .operations_research.sat.BooleanAssignment assignment = 7;
1879inline bool LinearBooleanProblem::has_assignment() const {
1880 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000010U);
1881 PROTOBUF_ASSUME(!value || _impl_.assignment_ != nullptr);
1882 return value;
1883}
1884inline void LinearBooleanProblem::clear_assignment() {
1885 ::google::protobuf::internal::TSanWrite(&_impl_);
1886 if (_impl_.assignment_ != nullptr) _impl_.assignment_->Clear();
1887 ClearHasBit(_impl_._has_bits_[0],
1888 0x00000010U);
1889}
1890inline const ::operations_research::sat::BooleanAssignment& LinearBooleanProblem::_internal_assignment() const {
1891 ::google::protobuf::internal::TSanRead(&_impl_);
1892 const ::operations_research::sat::BooleanAssignment* p = _impl_.assignment_;
1893 return p != nullptr ? *p : reinterpret_cast<const ::operations_research::sat::BooleanAssignment&>(::operations_research::sat::_BooleanAssignment_default_instance_);
1894}
1895inline const ::operations_research::sat::BooleanAssignment& LinearBooleanProblem::assignment() const ABSL_ATTRIBUTE_LIFETIME_BOUND {
1896 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.assignment)
1897 return _internal_assignment();
1898}
1899inline void LinearBooleanProblem::unsafe_arena_set_allocated_assignment(
1900 ::operations_research::sat::BooleanAssignment* PROTOBUF_NULLABLE value) {
1901 ::google::protobuf::internal::TSanWrite(&_impl_);
1902 if (GetArena() == nullptr) {
1903 delete reinterpret_cast<::google::protobuf::MessageLite*>(_impl_.assignment_);
1904 }
1905 _impl_.assignment_ = reinterpret_cast<::operations_research::sat::BooleanAssignment*>(value);
1906 if (value != nullptr) {
1907 SetHasBit(_impl_._has_bits_[0], 0x00000010U);
1908 } else {
1909 ClearHasBit(_impl_._has_bits_[0], 0x00000010U);
1910 }
1911 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.LinearBooleanProblem.assignment)
1912}
1913inline ::operations_research::sat::BooleanAssignment* PROTOBUF_NULLABLE LinearBooleanProblem::release_assignment() {
1914 ::google::protobuf::internal::TSanWrite(&_impl_);
1915
1916 ClearHasBit(_impl_._has_bits_[0], 0x00000010U);
1917 ::operations_research::sat::BooleanAssignment* released = _impl_.assignment_;
1918 _impl_.assignment_ = nullptr;
1919 if (::google::protobuf::internal::DebugHardenForceCopyInRelease()) {
1920 auto* old = reinterpret_cast<::google::protobuf::MessageLite*>(released);
1921 released = ::google::protobuf::internal::DuplicateIfNonNull(released);
1922 if (GetArena() == nullptr) {
1923 delete old;
1924 }
1925 } else {
1926 if (GetArena() != nullptr) {
1927 released = ::google::protobuf::internal::DuplicateIfNonNull(released);
1928 }
1929 }
1930 return released;
1931}
1932inline ::operations_research::sat::BooleanAssignment* PROTOBUF_NULLABLE LinearBooleanProblem::unsafe_arena_release_assignment() {
1933 ::google::protobuf::internal::TSanWrite(&_impl_);
1934 // @@protoc_insertion_point(field_release:operations_research.sat.LinearBooleanProblem.assignment)
1935
1936 ClearHasBit(_impl_._has_bits_[0], 0x00000010U);
1937 ::operations_research::sat::BooleanAssignment* temp = _impl_.assignment_;
1938 _impl_.assignment_ = nullptr;
1939 return temp;
1940}
1941inline ::operations_research::sat::BooleanAssignment* PROTOBUF_NONNULL LinearBooleanProblem::_internal_mutable_assignment() {
1942 ::google::protobuf::internal::TSanWrite(&_impl_);
1943 if (_impl_.assignment_ == nullptr) {
1944 auto* p = ::google::protobuf::Message::DefaultConstruct<::operations_research::sat::BooleanAssignment>(GetArena());
1945 _impl_.assignment_ = reinterpret_cast<::operations_research::sat::BooleanAssignment*>(p);
1946 }
1947 return _impl_.assignment_;
1948}
1949inline ::operations_research::sat::BooleanAssignment* PROTOBUF_NONNULL LinearBooleanProblem::mutable_assignment()
1950 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1951 SetHasBit(_impl_._has_bits_[0], 0x00000010U);
1952 ::operations_research::sat::BooleanAssignment* _msg = _internal_mutable_assignment();
1953 // @@protoc_insertion_point(field_mutable:operations_research.sat.LinearBooleanProblem.assignment)
1954 return _msg;
1955}
1956inline void LinearBooleanProblem::set_allocated_assignment(::operations_research::sat::BooleanAssignment* PROTOBUF_NULLABLE value) {
1957 ::google::protobuf::Arena* message_arena = GetArena();
1958 ::google::protobuf::internal::TSanWrite(&_impl_);
1959 if (message_arena == nullptr) {
1960 delete reinterpret_cast<::google::protobuf::MessageLite*>(_impl_.assignment_);
1961 }
1962
1963 if (value != nullptr) {
1964 ::google::protobuf::Arena* submessage_arena = value->GetArena();
1965 if (message_arena != submessage_arena) {
1966 value = ::google::protobuf::internal::GetOwnedMessage(message_arena, value, submessage_arena);
1967 }
1968 SetHasBit(_impl_._has_bits_[0], 0x00000010U);
1969 } else {
1970 ClearHasBit(_impl_._has_bits_[0], 0x00000010U);
1971 }
1972
1973 _impl_.assignment_ = reinterpret_cast<::operations_research::sat::BooleanAssignment*>(value);
1974 // @@protoc_insertion_point(field_set_allocated:operations_research.sat.LinearBooleanProblem.assignment)
1975}
1976
1977// optional int32 original_num_variables = 8;
1978inline bool LinearBooleanProblem::has_original_num_variables() const {
1979 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000040U);
1980 return value;
1981}
1982inline void LinearBooleanProblem::clear_original_num_variables() {
1983 ::google::protobuf::internal::TSanWrite(&_impl_);
1984 _impl_.original_num_variables_ = 0;
1985 ClearHasBit(_impl_._has_bits_[0],
1986 0x00000040U);
1987}
1988inline ::int32_t LinearBooleanProblem::original_num_variables() const {
1989 // @@protoc_insertion_point(field_get:operations_research.sat.LinearBooleanProblem.original_num_variables)
1990 return _internal_original_num_variables();
1991}
1992inline void LinearBooleanProblem::set_original_num_variables(::int32_t value) {
1993 _internal_set_original_num_variables(value);
1994 SetHasBit(_impl_._has_bits_[0], 0x00000040U);
1995 // @@protoc_insertion_point(field_set:operations_research.sat.LinearBooleanProblem.original_num_variables)
1996}
1997inline ::int32_t LinearBooleanProblem::_internal_original_num_variables() const {
1998 ::google::protobuf::internal::TSanRead(&_impl_);
1999 return _impl_.original_num_variables_;
2000}
2001inline void LinearBooleanProblem::_internal_set_original_num_variables(::int32_t value) {
2002 ::google::protobuf::internal::TSanWrite(&_impl_);
2003 _impl_.original_num_variables_ = value;
2004}
2005
2006#ifdef __GNUC__
2007#pragma GCC diagnostic pop
2008#endif // __GNUC__
2009
2010// @@protoc_insertion_point(namespace_scope)
2011} // namespace sat
2012} // namespace operations_research
2013
2014
2015// @@protoc_insertion_point(global_scope)
2016
2017#include "google/protobuf/port_undef.inc"
2018
2019#endif // ortools_2fsat_2fboolean_5fproblem_2eproto_2epb_2eh
descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto
PROTOBUF_CONSTINITconst ::_pbi::DescriptorTable descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto
Definition boolean_problem.pb.cc:238
operations_research::bop::LinearBooleanConstraint::LinearBooleanConstraint
LinearBooleanConstraint()
Definition boolean_problem.pb.h:338
operations_research::bop::LinearBooleanProblem::LinearBooleanProblem
LinearBooleanProblem()
Definition boolean_problem.pb.h:800
operations_research::bop::LinearObjective::LinearObjective
LinearObjective()
Definition boolean_problem.pb.h:93
operations_research::sat::BooleanAssignment::_Internal
Definition boolean_problem.pb.cc:1043
operations_research::sat::BooleanAssignment
Definition boolean_problem.pb.h:599
operations_research::sat::BooleanAssignment::clear_literals
void clear_literals()
Definition boolean_problem.pb.h:1516
operations_research::sat::BooleanAssignment::GetDescriptor
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor()
Definition boolean_problem.pb.h:643
operations_research::sat::BooleanAssignment::MessageLite
friend class ::google::protobuf::MessageLite
Definition boolean_problem.pb.h:769
operations_research::sat::BooleanAssignment::swap
friend void swap(BooleanAssignment &a, BooleanAssignment &b)
Definition boolean_problem.pb.h:654
operations_research::sat::BooleanAssignment::mutable_literals
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_literals()
Definition boolean_problem.pb.h:1541
operations_research::sat::BooleanAssignment::literals_size
int literals_size() const
Definition boolean_problem.pb.h:1513
operations_research::sat::BooleanAssignment::operator=
BooleanAssignment & operator=(const BooleanAssignment &from)
Definition boolean_problem.pb.h:617
operations_research::sat::BooleanAssignment::add_literals
void add_literals(::int32_t value)
Definition boolean_problem.pb.h:1530
operations_research::sat::BooleanAssignment::descriptor
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL descriptor()
Definition boolean_problem.pb.h:640
operations_research::sat::BooleanAssignment::_impl_
Impl_ _impl_
Definition boolean_problem.pb.h:789
operations_research::sat::BooleanAssignment::kIndexInFileMessages
static constexpr int kIndexInFileMessages
Definition boolean_problem.pb.h:653
operations_research::sat::BooleanAssignment::Clear
ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL
Definition boolean_problem.pb.cc:1195
operations_research::sat::BooleanAssignment::mutable_unknown_fields
inline ::google::protobuf::UnknownFieldSet *PROTOBUF_NONNULL mutable_unknown_fields() ABSL_ATTRIBUTE_LIFETIME_BOUND
Definition boolean_problem.pb.h:635
operations_research::sat::BooleanAssignment::Swap
void Swap(BooleanAssignment *PROTOBUF_NONNULL other)
Definition boolean_problem.pb.h:655
operations_research::sat::BooleanAssignment::BooleanAssignment
BooleanAssignment()
Definition boolean_problem.pb.h:601
operations_research::sat::BooleanAssignment::MergeFrom
void MergeFrom(const BooleanAssignment &from)
Definition boolean_problem.pb.h:677
operations_research::sat::BooleanAssignment::CopyFrom
void CopyFrom(const BooleanAssignment &from)
Definition boolean_problem.pb.cc:1299
operations_research::sat::BooleanAssignment::IsInitialized
bool IsInitialized() const
Definition boolean_problem.pb.h:684
operations_research::sat::BooleanAssignment::_InternalSerialize
::uint8_t *PROTOBUF_NONNULL _InternalSerialize(::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
Definition boolean_problem.pb.cc:1216
operations_research::sat::BooleanAssignment::set_literals
void set_literals(int index, ::int32_t value)
Definition boolean_problem.pb.h:1526
operations_research::sat::BooleanAssignment::literals
const ::google::protobuf::RepeatedField<::int32_t > & literals() const
Definition boolean_problem.pb.h:1536
operations_research::sat::BooleanAssignment::BooleanAssignment
PROTOBUF_CONSTEXPR BooleanAssignment(::google::protobuf::internal::ConstantInitialized)
operations_research::sat::BooleanAssignment::unknown_fields
const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND
Definition boolean_problem.pb.h:631
operations_research::sat::BooleanAssignment::literals
::int32_t literals(int index) const
Definition boolean_problem.pb.h:1522
operations_research::sat::BooleanAssignment::ByteSizeLong
::size_t ByteSizeLong() const final
Definition boolean_problem.pb.cc:1251
operations_research::sat::BooleanAssignment::default_instance
static const BooleanAssignment & default_instance()
Definition boolean_problem.pb.h:649
operations_research::sat::LinearBooleanConstraint::_Internal
Definition boolean_problem.pb.cc:259
operations_research::sat::LinearBooleanConstraint
Definition boolean_problem.pb.h:336
operations_research::sat::LinearBooleanConstraint::set_coefficients
void set_coefficients(int index, ::int64_t value)
Definition boolean_problem.pb.h:1181
operations_research::sat::LinearBooleanConstraint::set_allocated_name
void set_allocated_name(::std::string *PROTOBUF_NULLABLE value)
Definition boolean_problem.pb.h:1327
operations_research::sat::LinearBooleanConstraint::IsInitialized
bool IsInitialized() const
Definition boolean_problem.pb.h:421
operations_research::sat::LinearBooleanConstraint::MessageLite
friend class ::google::protobuf::MessageLite
Definition boolean_problem.pb.h:566
operations_research::sat::LinearBooleanConstraint::literals_size
int literals_size() const
Definition boolean_problem.pb.h:1118
operations_research::sat::LinearBooleanConstraint::default_instance
static const LinearBooleanConstraint & default_instance()
Definition boolean_problem.pb.h:386
operations_research::sat::LinearBooleanConstraint::clear_literals
void clear_literals()
Definition boolean_problem.pb.h:1121
operations_research::sat::LinearBooleanConstraint::release_name
::std::string *PROTOBUF_NULLABLE release_name()
Definition boolean_problem.pb.h:1314
operations_research::sat::LinearBooleanConstraint::Clear
ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL
Definition boolean_problem.pb.cc:460
operations_research::sat::LinearBooleanConstraint::coefficients_size
int coefficients_size() const
Definition boolean_problem.pb.h:1168
operations_research::sat::LinearBooleanConstraint::LinearBooleanConstraint
PROTOBUF_CONSTEXPR LinearBooleanConstraint(::google::protobuf::internal::ConstantInitialized)
operations_research::sat::LinearBooleanConstraint::set_upper_bound
void set_upper_bound(::int64_t value)
Definition boolean_problem.pb.h:1258
operations_research::sat::LinearBooleanConstraint::GetDescriptor
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor()
Definition boolean_problem.pb.h:380
operations_research::sat::LinearBooleanConstraint::set_literals
void set_literals(int index, ::int32_t value)
Definition boolean_problem.pb.h:1131
operations_research::sat::LinearBooleanConstraint::mutable_coefficients
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_coefficients()
Definition boolean_problem.pb.h:1196
operations_research::sat::LinearBooleanConstraint::set_name
void set_name(Arg_ &&arg, Args_... args)
operations_research::sat::LinearBooleanConstraint::GetReflection
static const ::google::protobuf::Reflection *PROTOBUF_NONNULL GetReflection()
Definition boolean_problem.pb.h:383
operations_research::sat::LinearBooleanConstraint::set_lower_bound
void set_lower_bound(::int64_t value)
Definition boolean_problem.pb.h:1229
operations_research::sat::LinearBooleanConstraint::clear_coefficients
void clear_coefficients()
Definition boolean_problem.pb.h:1171
operations_research::sat::LinearBooleanConstraint::literals
::int32_t literals(int index) const
Definition boolean_problem.pb.h:1127
operations_research::sat::LinearBooleanConstraint::has_name
bool has_name() const
Definition boolean_problem.pb.h:1273
operations_research::sat::LinearBooleanConstraint::mutable_literals
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_literals()
Definition boolean_problem.pb.h:1146
operations_research::sat::LinearBooleanConstraint::CopyFrom
void CopyFrom(const LinearBooleanConstraint &from)
Definition boolean_problem.pb.cc:643
operations_research::sat::LinearBooleanConstraint::kLowerBoundFieldNumber
@ kLowerBoundFieldNumber
Definition boolean_problem.pb.h:480
operations_research::sat::LinearBooleanConstraint::kUpperBoundFieldNumber
@ kUpperBoundFieldNumber
Definition boolean_problem.pb.h:481
operations_research::sat::LinearBooleanConstraint::has_lower_bound
bool has_lower_bound() const
Definition boolean_problem.pb.h:1215
operations_research::sat::LinearBooleanConstraint::name
const ::std::string & name() const
Definition boolean_problem.pb.h:1283
operations_research::sat::LinearBooleanConstraint::literals
const ::google::protobuf::RepeatedField<::int32_t > & literals() const
Definition boolean_problem.pb.h:1141
operations_research::sat::LinearBooleanConstraint::lower_bound
::int64_t lower_bound() const
Definition boolean_problem.pb.h:1225
operations_research::sat::LinearBooleanConstraint::clear_name
void clear_name()
Definition boolean_problem.pb.h:1277
operations_research::sat::LinearBooleanConstraint::has_upper_bound
bool has_upper_bound() const
Definition boolean_problem.pb.h:1244
operations_research::sat::LinearBooleanConstraint::clear_upper_bound
void clear_upper_bound()
Definition boolean_problem.pb.h:1248
operations_research::sat::LinearBooleanConstraint::coefficients
const ::google::protobuf::RepeatedField<::int64_t > & coefficients() const
Definition boolean_problem.pb.h:1191
operations_research::sat::LinearBooleanConstraint::operator=
LinearBooleanConstraint & operator=(const LinearBooleanConstraint &from)
Definition boolean_problem.pb.h:354
operations_research::sat::LinearBooleanConstraint::upper_bound
::int64_t upper_bound() const
Definition boolean_problem.pb.h:1254
operations_research::sat::LinearBooleanConstraint::LinearBooleanConstraint
LinearBooleanConstraint()
Definition boolean_problem.pb.h:338
operations_research::sat::LinearBooleanConstraint::add_literals
void add_literals(::int32_t value)
Definition boolean_problem.pb.h:1135
operations_research::sat::LinearBooleanConstraint::clear_lower_bound
void clear_lower_bound()
Definition boolean_problem.pb.h:1219
operations_research::sat::LinearBooleanConstraint::Swap
void Swap(LinearBooleanConstraint *PROTOBUF_NONNULL other)
Definition boolean_problem.pb.h:392
operations_research::sat::LinearBooleanConstraint::coefficients
::int64_t coefficients(int index) const
Definition boolean_problem.pb.h:1177
operations_research::sat::LinearBooleanConstraint::ByteSizeLong
::size_t ByteSizeLong() const final
Definition boolean_problem.pb.cc:558
operations_research::sat::LinearBooleanConstraint::_InternalSerialize
::uint8_t *PROTOBUF_NONNULL _InternalSerialize(::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
Definition boolean_problem.pb.cc:494
operations_research::sat::LinearBooleanConstraint::MergeFrom
void MergeFrom(const LinearBooleanConstraint &from)
Definition boolean_problem.pb.h:414
operations_research::sat::LinearBooleanConstraint::_impl_
Impl_ _impl_
Definition boolean_problem.pb.h:590
operations_research::sat::LinearBooleanConstraint::unknown_fields
const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND
Definition boolean_problem.pb.h:368
operations_research::sat::LinearBooleanConstraint::mutable_name
::std::string *PROTOBUF_NONNULL mutable_name()
Definition boolean_problem.pb.h:1295
operations_research::sat::LinearBooleanConstraint::add_coefficients
void add_coefficients(::int64_t value)
Definition boolean_problem.pb.h:1185
operations_research::sat::LinearBooleanProblem::_Internal
Definition boolean_problem.pb.cc:1320
operations_research::sat::LinearBooleanProblem
Definition boolean_problem.pb.h:798
operations_research::sat::LinearBooleanProblem::mutable_assignment
::operations_research::sat::BooleanAssignment *PROTOBUF_NONNULL mutable_assignment()
Definition boolean_problem.pb.h:1960
operations_research::sat::LinearBooleanProblem::set_name
void set_name(Arg_ &&arg, Args_... args)
operations_research::sat::LinearBooleanProblem::has_objective
bool has_objective() const
Definition boolean_problem.pb.h:1719
operations_research::sat::LinearBooleanProblem::add_constraints
::operations_research::sat::LinearBooleanConstraint *PROTOBUF_NONNULL add_constraints()
Definition boolean_problem.pb.h:1692
operations_research::sat::LinearBooleanProblem::constraints
const ::operations_research::sat::LinearBooleanConstraint & constraints(int index) const
Definition boolean_problem.pb.h:1687
operations_research::sat::LinearBooleanProblem::release_objective
::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE release_objective()
Definition boolean_problem.pb.h:1753
operations_research::sat::LinearBooleanProblem::clear_objective
void clear_objective()
Definition boolean_problem.pb.h:1724
operations_research::sat::LinearBooleanProblem::objective
const ::operations_research::sat::LinearObjective & objective() const
Definition boolean_problem.pb.h:1735
operations_research::sat::LinearBooleanProblem::CopyFrom
void CopyFrom(const LinearBooleanProblem &from)
Definition boolean_problem.pb.cc:1783
operations_research::sat::LinearBooleanProblem::unsafe_arena_release_assignment
::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE unsafe_arena_release_assignment()
Definition boolean_problem.pb.h:1943
operations_research::sat::LinearBooleanProblem::MergeFrom
void MergeFrom(const LinearBooleanProblem &from)
Definition boolean_problem.pb.h:876
operations_research::sat::LinearBooleanProblem::clear_num_variables
void clear_num_variables()
Definition boolean_problem.pb.h:1638
operations_research::sat::LinearBooleanProblem::mutable_constraints
::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint > *PROTOBUF_NONNULL mutable_constraints()
Definition boolean_problem.pb.h:1680
operations_research::sat::LinearBooleanProblem::clear_assignment
void clear_assignment()
Definition boolean_problem.pb.h:1895
operations_research::sat::LinearBooleanProblem::IsInitialized
bool IsInitialized() const
Definition boolean_problem.pb.h:883
operations_research::sat::LinearBooleanProblem::set_num_variables
void set_num_variables(::int32_t value)
Definition boolean_problem.pb.h:1648
operations_research::sat::LinearBooleanProblem::set_allocated_name
void set_allocated_name(::std::string *PROTOBUF_NULLABLE value)
Definition boolean_problem.pb.h:1619
operations_research::sat::LinearBooleanProblem::mutable_var_names
::google::protobuf::RepeatedPtrField<::std::string > *PROTOBUF_NONNULL mutable_var_names()
Definition boolean_problem.pb.h:1872
operations_research::sat::LinearBooleanProblem::constraints
const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint > & constraints() const
Definition boolean_problem.pb.h:1702
operations_research::sat::LinearBooleanProblem::var_names
const ::google::protobuf::RepeatedPtrField<::std::string > & var_names() const
Definition boolean_problem.pb.h:1866
operations_research::sat::LinearBooleanProblem::set_allocated_objective
void set_allocated_objective(::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE value)
Definition boolean_problem.pb.h:1796
operations_research::sat::LinearBooleanProblem::has_assignment
bool has_assignment() const
Definition boolean_problem.pb.h:1890
operations_research::sat::LinearBooleanProblem::name
const ::std::string & name() const
Definition boolean_problem.pb.h:1575
operations_research::sat::LinearBooleanProblem::release_assignment
::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE release_assignment()
Definition boolean_problem.pb.h:1924
operations_research::sat::LinearBooleanProblem::original_num_variables
::int32_t original_num_variables() const
Definition boolean_problem.pb.h:1999
operations_research::sat::LinearBooleanProblem::Swap
void Swap(LinearBooleanProblem *PROTOBUF_NONNULL other)
Definition boolean_problem.pb.h:854
operations_research::sat::LinearBooleanProblem::mutable_var_names
::std::string *PROTOBUF_NONNULL mutable_var_names(int index)
Definition boolean_problem.pb.h:1845
operations_research::sat::LinearBooleanProblem::_impl_
Impl_ _impl_
Definition boolean_problem.pb.h:1089
operations_research::sat::LinearBooleanProblem::set_var_names
void set_var_names(int index, Arg_ &&value, Args_... args)
Definition boolean_problem.pb.h:1851
operations_research::sat::LinearBooleanProblem::mutable_name
::std::string *PROTOBUF_NONNULL mutable_name()
Definition boolean_problem.pb.h:1587
operations_research::sat::LinearBooleanProblem::kNumVariablesFieldNumber
@ kNumVariablesFieldNumber
Definition boolean_problem.pb.h:944
operations_research::sat::LinearBooleanProblem::kOriginalNumVariablesFieldNumber
@ kOriginalNumVariablesFieldNumber
Definition boolean_problem.pb.h:945
operations_research::sat::LinearBooleanProblem::clear_original_num_variables
void clear_original_num_variables()
Definition boolean_problem.pb.h:1993
operations_research::sat::LinearBooleanProblem::constraints_size
int constraints_size() const
Definition boolean_problem.pb.h:1666
operations_research::sat::LinearBooleanProblem::add_var_names
::std::string *PROTOBUF_NONNULL add_var_names()
Definition boolean_problem.pb.h:1830
operations_research::sat::LinearBooleanProblem::set_allocated_assignment
void set_allocated_assignment(::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE value)
Definition boolean_problem.pb.h:1967
operations_research::sat::LinearBooleanProblem::LinearBooleanProblem
LinearBooleanProblem()
Definition boolean_problem.pb.h:800
operations_research::sat::LinearBooleanProblem::unknown_fields
const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND
Definition boolean_problem.pb.h:830
operations_research::sat::LinearBooleanProblem::var_names
const ::std::string & var_names(int index) const
Definition boolean_problem.pb.h:1840
operations_research::sat::LinearBooleanProblem::release_name
::std::string *PROTOBUF_NULLABLE release_name()
Definition boolean_problem.pb.h:1606
operations_research::sat::LinearBooleanProblem::unsafe_arena_set_allocated_objective
void unsafe_arena_set_allocated_objective(::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE value)
Definition boolean_problem.pb.h:1739
operations_research::sat::LinearBooleanProblem::clear_constraints
void clear_constraints()
Definition boolean_problem.pb.h:1669
operations_research::sat::LinearBooleanProblem::has_num_variables
bool has_num_variables() const
Definition boolean_problem.pb.h:1634
operations_research::sat::LinearBooleanProblem::num_variables
::int32_t num_variables() const
Definition boolean_problem.pb.h:1644
operations_research::sat::LinearBooleanProblem::var_names_size
int var_names_size() const
Definition boolean_problem.pb.h:1821
operations_research::sat::LinearBooleanProblem::_InternalSerialize
::uint8_t *PROTOBUF_NONNULL _InternalSerialize(::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
Definition boolean_problem.pb.cc:1586
operations_research::sat::LinearBooleanProblem::unsafe_arena_release_objective
::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE unsafe_arena_release_objective()
Definition boolean_problem.pb.h:1772
operations_research::sat::LinearBooleanProblem::mutable_objective
::operations_research::sat::LinearObjective *PROTOBUF_NONNULL mutable_objective()
Definition boolean_problem.pb.h:1789
operations_research::sat::LinearBooleanProblem::operator=
LinearBooleanProblem & operator=(const LinearBooleanProblem &from)
Definition boolean_problem.pb.h:816
operations_research::sat::LinearBooleanProblem::descriptor
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL descriptor()
Definition boolean_problem.pb.h:839
operations_research::sat::LinearBooleanProblem::GetDescriptor
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor()
Definition boolean_problem.pb.h:842
operations_research::sat::LinearBooleanProblem::mutable_constraints
::operations_research::sat::LinearBooleanConstraint *PROTOBUF_NONNULL mutable_constraints(int index)
Definition boolean_problem.pb.h:1675
operations_research::sat::LinearBooleanProblem::ByteSizeLong
::size_t ByteSizeLong() const final
Definition boolean_problem.pb.cc:1667
operations_research::sat::LinearBooleanProblem::has_name
bool has_name() const
Definition boolean_problem.pb.h:1565
operations_research::sat::LinearBooleanProblem::unsafe_arena_set_allocated_assignment
void unsafe_arena_set_allocated_assignment(::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE value)
Definition boolean_problem.pb.h:1910
operations_research::sat::LinearBooleanProblem::assignment
const ::operations_research::sat::BooleanAssignment & assignment() const
Definition boolean_problem.pb.h:1906
operations_research::sat::LinearBooleanProblem::set_original_num_variables
void set_original_num_variables(::int32_t value)
Definition boolean_problem.pb.h:2003
operations_research::sat::LinearBooleanProblem::New
LinearBooleanProblem *PROTOBUF_NONNULL New(::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
Definition boolean_problem.pb.h:870
operations_research::sat::LinearBooleanProblem::clear_var_names
void clear_var_names()
Definition boolean_problem.pb.h:1824
operations_research::sat::LinearBooleanProblem::has_original_num_variables
bool has_original_num_variables() const
Definition boolean_problem.pb.h:1989
operations_research::sat::LinearBooleanProblem::swap
friend void swap(LinearBooleanProblem &a, LinearBooleanProblem &b)
Definition boolean_problem.pb.h:853
operations_research::sat::LinearBooleanProblem::clear_name
void clear_name()
Definition boolean_problem.pb.h:1569
operations_research::sat::LinearObjective::_Internal
Definition boolean_problem.pb.cc:674
operations_research::sat::LinearObjective
Definition boolean_problem.pb.h:91
operations_research::sat::LinearObjective::MessageLite
friend class ::google::protobuf::MessageLite
Definition boolean_problem.pb.h:304
operations_research::sat::LinearObjective::literals
const ::google::protobuf::RepeatedField<::int32_t > & literals() const
Definition boolean_problem.pb.h:1373
operations_research::sat::LinearObjective::LinearObjective
LinearObjective()
Definition boolean_problem.pb.h:93
operations_research::sat::LinearObjective::literals_size
int literals_size() const
Definition boolean_problem.pb.h:1350
operations_research::sat::LinearObjective::_impl_
Impl_ _impl_
Definition boolean_problem.pb.h:327
operations_research::sat::LinearObjective::has_scaling_factor
bool has_scaling_factor() const
Definition boolean_problem.pb.h:1476
operations_research::sat::LinearObjective::clear_offset
void clear_offset()
Definition boolean_problem.pb.h:1451
operations_research::sat::LinearObjective::coefficients
const ::google::protobuf::RepeatedField<::int64_t > & coefficients() const
Definition boolean_problem.pb.h:1423
operations_research::sat::LinearObjective::add_literals
void add_literals(::int32_t value)
Definition boolean_problem.pb.h:1367
operations_research::sat::LinearObjective::has_offset
bool has_offset() const
Definition boolean_problem.pb.h:1447
operations_research::sat::LinearObjective::clear_coefficients
void clear_coefficients()
Definition boolean_problem.pb.h:1403
operations_research::sat::LinearObjective::unknown_fields
const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND
Definition boolean_problem.pb.h:123
operations_research::sat::LinearObjective::set_literals
void set_literals(int index, ::int32_t value)
Definition boolean_problem.pb.h:1363
operations_research::sat::LinearObjective::add_coefficients
void add_coefficients(::int64_t value)
Definition boolean_problem.pb.h:1417
operations_research::sat::LinearObjective::clear_scaling_factor
void clear_scaling_factor()
Definition boolean_problem.pb.h:1480
operations_research::sat::LinearObjective::coefficients
::int64_t coefficients(int index) const
Definition boolean_problem.pb.h:1409
operations_research::sat::LinearObjective::clear_literals
void clear_literals()
Definition boolean_problem.pb.h:1353
operations_research::sat::LinearObjective::set_scaling_factor
void set_scaling_factor(double value)
Definition boolean_problem.pb.h:1490
operations_research::sat::LinearObjective::mutable_literals
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_literals()
Definition boolean_problem.pb.h:1378
operations_research::sat::LinearObjective::scaling_factor
double scaling_factor() const
Definition boolean_problem.pb.h:1486
operations_research::sat::LinearObjective::literals
::int32_t literals(int index) const
Definition boolean_problem.pb.h:1359
operations_research::sat::LinearObjective::mutable_coefficients
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_coefficients()
Definition boolean_problem.pb.h:1428
operations_research::sat::LinearObjective::LinearObjective
LinearObjective(const LinearObjective &from)
Definition boolean_problem.pb.h:106
operations_research::sat::LinearObjective::LinearObjective
PROTOBUF_CONSTEXPR LinearObjective(::google::protobuf::internal::ConstantInitialized)
operations_research::sat::LinearObjective::Clear
ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL
Definition boolean_problem.pb.cc:859
operations_research::sat::LinearObjective::kOffsetFieldNumber
@ kOffsetFieldNumber
Definition boolean_problem.pb.h:234
operations_research::sat::LinearObjective::kScalingFactorFieldNumber
@ kScalingFactorFieldNumber
Definition boolean_problem.pb.h:235
operations_research::sat::LinearObjective::CopyFrom
void CopyFrom(const LinearObjective &from)
Definition boolean_problem.pb.cc:1015
operations_research::sat::LinearObjective::offset
double offset() const
Definition boolean_problem.pb.h:1457
operations_research::sat::LinearObjective::Swap
void Swap(LinearObjective *PROTOBUF_NONNULL other)
Definition boolean_problem.pb.h:147
operations_research::sat::LinearObjective::set_coefficients
void set_coefficients(int index, ::int64_t value)
Definition boolean_problem.pb.h:1413
operations_research::sat::LinearObjective::set_offset
void set_offset(double value)
Definition boolean_problem.pb.h:1461
operations_research::sat::LinearObjective::IsInitialized
bool IsInitialized() const
Definition boolean_problem.pb.h:176
operations_research::sat::LinearObjective::coefficients_size
int coefficients_size() const
Definition boolean_problem.pb.h:1400
operations_research::sat::LinearObjective::operator=
LinearObjective & operator=(const LinearObjective &from)
Definition boolean_problem.pb.h:109
google::protobuf::internal::GetAnyMessageName
::absl::string_view GetAnyMessageName()
operations_research::sat
Definition routing_sat.cc:45
operations_research::sat::BooleanAssignment_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull BooleanAssignment_class_data_
Definition boolean_problem.pb.cc:1152
operations_research::sat::_BooleanAssignment_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 BooleanAssignmentDefaultTypeInternal _BooleanAssignment_default_instance_
Definition boolean_problem.pb.cc:112
operations_research::sat::_LinearBooleanProblem_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LinearBooleanProblemDefaultTypeInternal _LinearBooleanProblem_default_instance_
Definition boolean_problem.pb.cc:145
operations_research::sat::LinearObjective_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull LinearObjective_class_data_
Definition boolean_problem.pb.cc:798
operations_research::sat::LinearBooleanProblem_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull LinearBooleanProblem_class_data_
Definition boolean_problem.pb.cc:1460
operations_research::sat::LinearBooleanConstraint_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull LinearBooleanConstraint_class_data_
Definition boolean_problem.pb.cc:390
operations_research::sat::_LinearBooleanConstraint_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LinearBooleanConstraintDefaultTypeInternal _LinearBooleanConstraint_default_instance_
Definition boolean_problem.pb.cc:87
operations_research::sat::_LinearObjective_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LinearObjectiveDefaultTypeInternal _LinearObjective_default_instance_
Definition boolean_problem.pb.cc:56
operations_research::sat::b
for b[i][j]
Definition diophantine.h:100
operations_research
OR-Tools root namespace.
Definition binary_indexed_tree.h:21
TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto
Definition boolean_problem.pb.h:49
TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto::offsets
static const ::uint32_t offsets[]
Definition boolean_problem.pb.h:50
operations_research::sat::BooleanAssignmentDefaultTypeInternal
Definition boolean_problem.pb.cc:103
operations_research::sat::LinearBooleanConstraintDefaultTypeInternal
Definition boolean_problem.pb.cc:78
operations_research::sat::LinearBooleanProblemDefaultTypeInternal
Definition boolean_problem.pb.cc:136
operations_research::sat::LinearObjectiveDefaultTypeInternal
Definition boolean_problem.pb.cc:47