C++ Reference

C++ Reference: CP-SAT

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