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