6#ifndef ortools_2fsat_2fboolean_5fproblem_2eproto_2epb_2eh
7#define ortools_2fsat_2fboolean_5fproblem_2eproto_2epb_2eh
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"
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"
30#include "google/protobuf/extension_set.h"
31#include "google/protobuf/unknown_field_set.h"
35#include "google/protobuf/port_def.inc"
37#define PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2fboolean_5fproblem_2eproto OR_PROTO_DLL
88class OR_PROTO_DLL
LinearObjective final :
public ::google::protobuf::Message
94#if defined(PROTOBUF_CUSTOM_VTABLE)
95 void operator delete(
LinearObjective* PROTOBUF_NONNULL msg, std::destroying_delete_t) {
97 ::google::protobuf::internal::SizedDelete(msg,
sizeof(
LinearObjective));
101 template <
typename =
void>
102 explicit PROTOBUF_CONSTEXPR
LinearObjective(::google::protobuf::internal::ConstantInitialized);
112 if (
this == &from)
return *
this;
113 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
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);
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>();
130 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {
131 return GetDescriptor();
133 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {
134 return default_instance().GetMetadata().descriptor;
136 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {
137 return default_instance().GetMetadata().reflection;
143 static constexpr int kIndexInFileMessages = 1;
146 if (other ==
this)
return;
147 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
150 ::google::protobuf::internal::GenericSwap(
this, other);
153 void UnsafeArenaSwap(LinearObjective* PROTOBUF_NONNULL other) {
154 if (other ==
this)
return;
155 ABSL_DCHECK(GetArena() == other->GetArena());
161 LinearObjective* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena =
nullptr)
const {
162 return ::google::protobuf::Message::DefaultConstruct<LinearObjective>(arena);
164 using ::google::protobuf::Message::CopyFrom;
166 using ::google::protobuf::Message::MergeFrom;
167 void MergeFrom(
const LinearObjective& from) { LinearObjective::MergeImpl(*
this, from); }
170 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
171 const ::google::protobuf::MessageLite& from_msg);
177 ABSL_ATTRIBUTE_REINITIALIZES
void Clear() PROTOBUF_FINAL;
178 #if defined(PROTOBUF_CUSTOM_VTABLE)
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);
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);
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;
198 int GetCachedSize()
const {
return _impl_._cached_size_.Get(); }
201 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
205 template <
typename T>
207 static ::absl::string_view FullMessageName() {
return "operations_research.sat.LinearObjective"; }
210 explicit LinearObjective(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
213 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena,
LinearObjective&& from) noexcept
215 *
this = ::std::move(from);
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_();
224 static constexpr auto InternalGenerateClassData_();
226 ::
google::protobuf::Metadata GetMetadata() const;
231 kLiteralsFieldNumber = 1,
232 kCoefficientsFieldNumber = 2,
239 int _internal_literals_size()
const;
243 ::int32_t
literals(
int index)
const;
246 const ::google::protobuf::RepeatedField<::int32_t>&
literals()
const;
247 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL
mutable_literals();
250 const ::google::protobuf::RepeatedField<::int32_t>& _internal_literals()
const;
251 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL _internal_mutable_literals();
257 int _internal_coefficients_size()
const;
264 const ::google::protobuf::RepeatedField<::int64_t>&
coefficients()
const;
268 const ::google::protobuf::RepeatedField<::int64_t>& _internal_coefficients()
const;
269 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL _internal_mutable_coefficients();
279 double _internal_offset()
const;
280 void _internal_set_offset(
double value);
290 double _internal_scaling_factor()
const;
291 void _internal_set_scaling_factor(
double value);
297 friend class ::google::protobuf::internal::TcParser;
298 static const ::google::protobuf::internal::TcParseTable<2, 4,
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;
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,
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_;
323 double scaling_factor_;
324 PROTOBUF_TSAN_DECLARE_MEMBER
326 union { Impl_ _impl_; };
327 friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto;
339#if defined(PROTOBUF_CUSTOM_VTABLE)
346 template <
typename =
void>
357 if (
this == &from)
return *
this;
358 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
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);
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>();
375 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {
376 return GetDescriptor();
378 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL
GetDescriptor() {
381 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL
GetReflection() {
388 static constexpr int kIndexInFileMessages = 0;
390 inline void Swap(LinearBooleanConstraint* PROTOBUF_NONNULL other) {
391 if (other ==
this)
return;
392 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
395 ::google::protobuf::internal::GenericSwap(
this, other);
398 void UnsafeArenaSwap(LinearBooleanConstraint* PROTOBUF_NONNULL other) {
399 if (other ==
this)
return;
400 ABSL_DCHECK(GetArena() == other->GetArena());
406 LinearBooleanConstraint* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena =
nullptr)
const {
407 return ::google::protobuf::Message::DefaultConstruct<LinearBooleanConstraint>(arena);
409 using ::google::protobuf::Message::CopyFrom;
411 using ::google::protobuf::Message::MergeFrom;
415 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
416 const ::google::protobuf::MessageLite& from_msg);
422 ABSL_ATTRIBUTE_REINITIALIZES
void Clear() PROTOBUF_FINAL;
423 #if defined(PROTOBUF_CUSTOM_VTABLE)
425 static ::size_t
ByteSizeLong(const ::google::protobuf::MessageLite& msg);
427 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,
428 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);
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);
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;
443 int GetCachedSize()
const {
return _impl_._cached_size_.Get(); }
446 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
450 template <
typename T>
452 static ::absl::string_view FullMessageName() {
return "operations_research.sat.LinearBooleanConstraint"; }
460 *
this = ::std::move(from);
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_();
469 static constexpr auto InternalGenerateClassData_();
471 ::
google::protobuf::Metadata GetMetadata() const;
476 kLiteralsFieldNumber = 1,
477 kCoefficientsFieldNumber = 2,
478 kNameFieldNumber = 5,
485 int _internal_literals_size()
const;
489 ::int32_t
literals(
int index)
const;
492 const ::google::protobuf::RepeatedField<::int32_t>&
literals()
const;
493 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL
mutable_literals();
496 const ::google::protobuf::RepeatedField<::int32_t>& _internal_literals()
const;
497 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL _internal_mutable_literals();
503 int _internal_coefficients_size()
const;
510 const ::google::protobuf::RepeatedField<::int64_t>&
coefficients()
const;
514 const ::google::protobuf::RepeatedField<::int64_t>& _internal_coefficients()
const;
515 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL _internal_mutable_coefficients();
521 const ::std::string&
name()
const;
522 template <
typename Arg_ = const ::std::string&,
typename... Args_>
523 void set_name(Arg_&& arg, Args_... args);
525 [[nodiscard]] ::std::string* PROTOBUF_NULLABLE
release_name();
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();
541 ::int64_t _internal_lower_bound()
const;
542 void _internal_set_lower_bound(::int64_t value);
552 ::int64_t _internal_upper_bound()
const;
553 void _internal_set_upper_bound(::int64_t value);
559 friend class ::google::protobuf::internal::TcParser;
560 static const ::google::protobuf::internal::TcParseTable<3, 5,
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;
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,
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
589 union { Impl_ _impl_; };
590 friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto;
602#if defined(PROTOBUF_CUSTOM_VTABLE)
609 template <
typename =
void>
610 explicit PROTOBUF_CONSTEXPR
BooleanAssignment(::google::protobuf::internal::ConstantInitialized);
613 inline BooleanAssignment(BooleanAssignment&& from) noexcept
620 if (
this == &from)
return *
this;
621 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
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);
634 ABSL_ATTRIBUTE_LIFETIME_BOUND {
635 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();
638 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL
descriptor() {
641 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {
644 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {
654 if (other ==
this)
return;
655 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
658 ::google::protobuf::internal::GenericSwap(
this, other);
661 void UnsafeArenaSwap(BooleanAssignment* PROTOBUF_NONNULL other) {
662 if (other ==
this)
return;
663 ABSL_DCHECK(GetArena() == other->GetArena());
669 BooleanAssignment* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena =
nullptr)
const {
670 return ::google::protobuf::Message::DefaultConstruct<BooleanAssignment>(arena);
672 using ::google::protobuf::Message::CopyFrom;
674 using ::google::protobuf::Message::MergeFrom;
678 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
679 const ::google::protobuf::MessageLite& from_msg);
685 ABSL_ATTRIBUTE_REINITIALIZES
void Clear() PROTOBUF_FINAL;
686 #if defined(PROTOBUF_CUSTOM_VTABLE)
688 static ::size_t
ByteSizeLong(const ::google::protobuf::MessageLite& msg);
690 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,
691 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);
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);
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;
706 int GetCachedSize()
const {
return _impl_._cached_size_.Get(); }
709 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
713 template <
typename T>
715 static ::absl::string_view FullMessageName() {
return "operations_research.sat.BooleanAssignment"; }
721 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena,
BooleanAssignment&& from) noexcept
723 *
this = ::std::move(from);
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_();
732 static constexpr auto InternalGenerateClassData_();
734 ::
google::protobuf::Metadata GetMetadata() const;
739 kLiteralsFieldNumber = 1,
742 int literals_size()
const;
744 int _internal_literals_size()
const;
748 ::int32_t
literals(
int index)
const;
751 const ::google::protobuf::RepeatedField<::int32_t>&
literals()
const;
752 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL
mutable_literals();
755 const ::google::protobuf::RepeatedField<::int32_t>& _internal_literals()
const;
756 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL _internal_mutable_literals();
762 friend class ::google::protobuf::internal::TcParser;
763 static const ::google::protobuf::internal::TcParseTable<0, 1,
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;
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,
783 ::google::protobuf::RepeatedField<::int32_t> literals_;
784 ::google::protobuf::internal::CachedSize _cached_size_;
785 PROTOBUF_TSAN_DECLARE_MEMBER
787 union { Impl_ _impl_; };
788 friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto;
800#if defined(PROTOBUF_CUSTOM_VTABLE)
807 template <
typename =
void>
808 explicit PROTOBUF_CONSTEXPR
LinearBooleanProblem(::google::protobuf::internal::ConstantInitialized);
811 inline LinearBooleanProblem(LinearBooleanProblem&& from) noexcept
812 : LinearBooleanProblem(
nullptr, ::std::move(from)) {}
818 if (
this == &from)
return *
this;
819 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
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);
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>();
836 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL
descriptor() {
839 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {
840 return default_instance().GetMetadata().descriptor;
842 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {
843 return default_instance().GetMetadata().reflection;
849 static constexpr int kIndexInFileMessages = 3;
852 if (other ==
this)
return;
853 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
856 ::google::protobuf::internal::GenericSwap(
this, other);
859 void UnsafeArenaSwap(LinearBooleanProblem* PROTOBUF_NONNULL other) {
860 if (other ==
this)
return;
861 ABSL_DCHECK(GetArena() == other->GetArena());
867 LinearBooleanProblem* PROTOBUF_NONNULL
New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena =
nullptr)
const {
868 return ::google::protobuf::Message::DefaultConstruct<LinearBooleanProblem>(arena);
870 using ::google::protobuf::Message::CopyFrom;
872 using ::google::protobuf::Message::MergeFrom;
876 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
877 const ::google::protobuf::MessageLite& from_msg);
883 ABSL_ATTRIBUTE_REINITIALIZES
void Clear() PROTOBUF_FINAL;
884 #if defined(PROTOBUF_CUSTOM_VTABLE)
886 static ::size_t
ByteSizeLong(const ::google::protobuf::MessageLite& msg);
888 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,
889 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);
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);
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;
904 int GetCachedSize()
const {
return _impl_._cached_size_.Get(); }
907 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
908 static void SharedDtor(MessageLite& self);
911 template <
typename T>
913 static ::absl::string_view FullMessageName() {
return "operations_research.sat.LinearBooleanProblem"; }
921 *
this = ::std::move(from);
923 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL
GetClassData() const PROTOBUF_FINAL;
925 const
void* PROTOBUF_NONNULL,
void* PROTOBUF_NONNULL mem,
926 ::
google::protobuf::
Arena* PROTOBUF_NULLABLE arena);
948 int _internal_constraints_size()
const;
953 ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>* PROTOBUF_NONNULL
mutable_constraints();
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();
959 const ::operations_research::sat::LinearBooleanConstraint&
constraints(
int index)
const;
961 const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>&
constraints()
const;
965 int _internal_var_names_size()
const;
969 const ::std::string&
var_names(
int index)
const;
971 template <
typename Arg_ = const ::std::string&,
typename... Args_>
974 template <
typename Arg_ = const ::std::string&,
typename... Args_>
976 const ::google::protobuf::RepeatedPtrField<::std::string>&
var_names()
const;
977 ::google::protobuf::RepeatedPtrField<::std::string>* PROTOBUF_NONNULL
mutable_var_names();
980 const ::google::protobuf::RepeatedPtrField<::std::string>& _internal_var_names()
const;
981 ::google::protobuf::RepeatedPtrField<::std::string>* PROTOBUF_NONNULL _internal_mutable_var_names();
987 const ::std::string&
name()
const;
988 template <
typename Arg_ = const ::std::string&,
typename... Args_>
989 void set_name(Arg_&& arg, Args_... args);
991 [[nodiscard]] ::std::string* PROTOBUF_NULLABLE
release_name();
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();
1003 const ::operations_research::sat::LinearObjective&
objective()
const;
1011 const ::operations_research::sat::LinearObjective& _internal_objective()
const;
1018 const ::operations_research::sat::BooleanAssignment&
assignment()
const;
1026 const ::operations_research::sat::BooleanAssignment& _internal_assignment()
const;
1037 ::int32_t _internal_num_variables()
const;
1038 void _internal_set_num_variables(::int32_t value);
1048 ::int32_t _internal_original_num_variables()
const;
1049 void _internal_set_original_num_variables(::int32_t value);
1055 friend class ::google::protobuf::internal::TcParser;
1056 static const ::google::protobuf::internal::TcParseTable<3, 7,
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;
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,
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_;
1083 ::int32_t num_variables_;
1084 ::int32_t original_num_variables_;
1085 PROTOBUF_TSAN_DECLARE_MEMBER
1087 union { Impl_ _impl_; };
1088 friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto;
1102#pragma GCC diagnostic push
1103#pragma GCC diagnostic ignored "-Wstrict-aliasing"
1110inline int LinearBooleanConstraint::_internal_literals_size()
const {
1111 return _internal_literals().size();
1114 return _internal_literals_size();
1117 ::google::protobuf::internal::TSanWrite(&
_impl_);
1118 _impl_.literals_.Clear();
1122 return _internal_literals().Get(index);
1125 _internal_mutable_literals()->Set(index, value);
1129 ::google::protobuf::internal::TSanWrite(&
_impl_);
1130 _internal_mutable_literals()->Add(value);
1134 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1136 return _internal_literals();
1139 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1141 ::google::protobuf::internal::TSanWrite(&
_impl_);
1142 return _internal_mutable_literals();
1144inline const ::google::protobuf::RepeatedField<::int32_t>&
1145LinearBooleanConstraint::_internal_literals()
const {
1146 ::google::protobuf::internal::TSanRead(&
_impl_);
1149inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL
1150LinearBooleanConstraint::_internal_mutable_literals() {
1151 ::google::protobuf::internal::TSanRead(&
_impl_);
1152 return &
_impl_.literals_;
1156inline int LinearBooleanConstraint::_internal_coefficients_size()
const {
1157 return _internal_coefficients().size();
1160 return _internal_coefficients_size();
1163 ::google::protobuf::internal::TSanWrite(&
_impl_);
1164 _impl_.coefficients_.Clear();
1168 return _internal_coefficients().Get(index);
1171 _internal_mutable_coefficients()->Set(index, value);
1175 ::google::protobuf::internal::TSanWrite(&
_impl_);
1176 _internal_mutable_coefficients()->Add(value);
1180 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1182 return _internal_coefficients();
1185 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1187 ::google::protobuf::internal::TSanWrite(&
_impl_);
1188 return _internal_mutable_coefficients();
1190inline const ::google::protobuf::RepeatedField<::int64_t>&
1191LinearBooleanConstraint::_internal_coefficients()
const {
1192 ::google::protobuf::internal::TSanRead(&
_impl_);
1193 return _impl_.coefficients_;
1195inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL
1196LinearBooleanConstraint::_internal_mutable_coefficients() {
1197 ::google::protobuf::internal::TSanRead(&
_impl_);
1198 return &
_impl_.coefficients_;
1203 bool value = (
_impl_._has_bits_[0] & 0x00000002u) != 0;
1207 ::google::protobuf::internal::TSanWrite(&
_impl_);
1208 _impl_.lower_bound_ = ::int64_t{0};
1209 _impl_._has_bits_[0] &= ~0x00000002u;
1213 return _internal_lower_bound();
1216 _internal_set_lower_bound(value);
1217 _impl_._has_bits_[0] |= 0x00000002u;
1220inline ::int64_t LinearBooleanConstraint::_internal_lower_bound()
const {
1221 ::google::protobuf::internal::TSanRead(&
_impl_);
1222 return _impl_.lower_bound_;
1224inline void LinearBooleanConstraint::_internal_set_lower_bound(::int64_t value) {
1225 ::google::protobuf::internal::TSanWrite(&
_impl_);
1226 _impl_.lower_bound_ = value;
1231 bool value = (
_impl_._has_bits_[0] & 0x00000004u) != 0;
1235 ::google::protobuf::internal::TSanWrite(&
_impl_);
1236 _impl_.upper_bound_ = ::int64_t{0};
1237 _impl_._has_bits_[0] &= ~0x00000004u;
1241 return _internal_upper_bound();
1244 _internal_set_upper_bound(value);
1245 _impl_._has_bits_[0] |= 0x00000004u;
1248inline ::int64_t LinearBooleanConstraint::_internal_upper_bound()
const {
1249 ::google::protobuf::internal::TSanRead(&
_impl_);
1250 return _impl_.upper_bound_;
1252inline void LinearBooleanConstraint::_internal_set_upper_bound(::int64_t value) {
1253 ::google::protobuf::internal::TSanWrite(&
_impl_);
1254 _impl_.upper_bound_ = value;
1259 bool value = (
_impl_._has_bits_[0] & 0x00000001u) != 0;
1263 ::google::protobuf::internal::TSanWrite(&
_impl_);
1264 _impl_.name_.ClearToEmpty();
1265 _impl_._has_bits_[0] &= ~0x00000001u;
1268 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1270 return _internal_name();
1272template <
typename Arg_,
typename... Args_>
1274 ::google::protobuf::internal::TSanWrite(&
_impl_);
1276 _impl_.name_.Set(
static_cast<Arg_&&
>(arg), args..., GetArena());
1280 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1281 ::std::string* _s = _internal_mutable_name();
1285inline const ::std::string& LinearBooleanConstraint::_internal_name()
const {
1286 ::google::protobuf::internal::TSanRead(&
_impl_);
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());
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());
1300 ::google::protobuf::internal::TSanWrite(&
_impl_);
1302 if ((
_impl_._has_bits_[0] & 0x00000001u) == 0) {
1305 _impl_._has_bits_[0] &= ~0x00000001u;
1306 auto* released =
_impl_.name_.Release();
1307 if (::google::protobuf::internal::DebugHardenForceCopyDefaultString()) {
1308 _impl_.name_.Set(
"", GetArena());
1313 ::google::protobuf::internal::TSanWrite(&
_impl_);
1314 if (value !=
nullptr) {
1315 _impl_._has_bits_[0] |= 0x00000001u;
1317 _impl_._has_bits_[0] &= ~0x00000001u;
1319 _impl_.name_.SetAllocated(value, GetArena());
1320 if (::google::protobuf::internal::DebugHardenForceCopyDefaultString() &&
_impl_.name_.IsDefault()) {
1321 _impl_.name_.Set(
"", GetArena());
1331inline int LinearObjective::_internal_literals_size()
const {
1332 return _internal_literals().size();
1335 return _internal_literals_size();
1338 ::google::protobuf::internal::TSanWrite(&
_impl_);
1339 _impl_.literals_.Clear();
1343 return _internal_literals().Get(index);
1346 _internal_mutable_literals()->Set(index, value);
1350 ::google::protobuf::internal::TSanWrite(&
_impl_);
1351 _internal_mutable_literals()->Add(value);
1355 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1357 return _internal_literals();
1360 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1362 ::google::protobuf::internal::TSanWrite(&
_impl_);
1363 return _internal_mutable_literals();
1365inline const ::google::protobuf::RepeatedField<::int32_t>&
1366LinearObjective::_internal_literals()
const {
1367 ::google::protobuf::internal::TSanRead(&
_impl_);
1370inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL
1371LinearObjective::_internal_mutable_literals() {
1372 ::google::protobuf::internal::TSanRead(&
_impl_);
1373 return &
_impl_.literals_;
1377inline int LinearObjective::_internal_coefficients_size()
const {
1378 return _internal_coefficients().size();
1381 return _internal_coefficients_size();
1384 ::google::protobuf::internal::TSanWrite(&
_impl_);
1385 _impl_.coefficients_.Clear();
1389 return _internal_coefficients().Get(index);
1392 _internal_mutable_coefficients()->Set(index, value);
1396 ::google::protobuf::internal::TSanWrite(&
_impl_);
1397 _internal_mutable_coefficients()->Add(value);
1401 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1403 return _internal_coefficients();
1406 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1408 ::google::protobuf::internal::TSanWrite(&
_impl_);
1409 return _internal_mutable_coefficients();
1411inline const ::google::protobuf::RepeatedField<::int64_t>&
1412LinearObjective::_internal_coefficients()
const {
1413 ::google::protobuf::internal::TSanRead(&
_impl_);
1416inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL
1417LinearObjective::_internal_mutable_coefficients() {
1418 ::google::protobuf::internal::TSanRead(&
_impl_);
1419 return &
_impl_.coefficients_;
1424 bool value = (
_impl_._has_bits_[0] & 0x00000001u) != 0;
1428 ::google::protobuf::internal::TSanWrite(&
_impl_);
1430 _impl_._has_bits_[0] &= ~0x00000001u;
1434 return _internal_offset();
1437 _internal_set_offset(value);
1438 _impl_._has_bits_[0] |= 0x00000001u;
1441inline double LinearObjective::_internal_offset()
const {
1442 ::google::protobuf::internal::TSanRead(&
_impl_);
1445inline void LinearObjective::_internal_set_offset(
double value) {
1446 ::google::protobuf::internal::TSanWrite(&
_impl_);
1452 bool value = (
_impl_._has_bits_[0] & 0x00000002u) != 0;
1456 ::google::protobuf::internal::TSanWrite(&
_impl_);
1457 _impl_.scaling_factor_ = 1;
1458 _impl_._has_bits_[0] &= ~0x00000002u;
1462 return _internal_scaling_factor();
1465 _internal_set_scaling_factor(value);
1466 _impl_._has_bits_[0] |= 0x00000002u;
1469inline double LinearObjective::_internal_scaling_factor()
const {
1470 ::google::protobuf::internal::TSanRead(&
_impl_);
1471 return _impl_.scaling_factor_;
1473inline void LinearObjective::_internal_set_scaling_factor(
double value) {
1474 ::google::protobuf::internal::TSanWrite(&
_impl_);
1475 _impl_.scaling_factor_ = value;
1483inline int BooleanAssignment::_internal_literals_size()
const {
1484 return _internal_literals().size();
1487 return _internal_literals_size();
1490 ::google::protobuf::internal::TSanWrite(&
_impl_);
1491 _impl_.literals_.Clear();
1495 return _internal_literals().Get(index);
1498 _internal_mutable_literals()->Set(index, value);
1502 ::google::protobuf::internal::TSanWrite(&
_impl_);
1503 _internal_mutable_literals()->Add(value);
1507 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1509 return _internal_literals();
1512 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1514 ::google::protobuf::internal::TSanWrite(&
_impl_);
1515 return _internal_mutable_literals();
1517inline const ::google::protobuf::RepeatedField<::int32_t>&
1518BooleanAssignment::_internal_literals()
const {
1519 ::google::protobuf::internal::TSanRead(&
_impl_);
1522inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL
1523BooleanAssignment::_internal_mutable_literals() {
1524 ::google::protobuf::internal::TSanRead(&
_impl_);
1525 return &
_impl_.literals_;
1534 bool value = (
_impl_._has_bits_[0] & 0x00000001u) != 0;
1538 ::google::protobuf::internal::TSanWrite(&
_impl_);
1539 _impl_.name_.ClearToEmpty();
1540 _impl_._has_bits_[0] &= ~0x00000001u;
1543 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1545 return _internal_name();
1547template <
typename Arg_,
typename... Args_>
1549 ::google::protobuf::internal::TSanWrite(&
_impl_);
1550 _impl_._has_bits_[0] |= 0x00000001u;
1551 _impl_.name_.Set(
static_cast<Arg_&&
>(arg), args..., GetArena());
1555 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1556 ::std::string* _s = _internal_mutable_name();
1560inline const ::std::string& LinearBooleanProblem::_internal_name()
const {
1561 ::google::protobuf::internal::TSanRead(&
_impl_);
1562 return _impl_.name_.Get();
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());
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());
1575 ::google::protobuf::internal::TSanWrite(&
_impl_);
1577 if ((
_impl_._has_bits_[0] & 0x00000001u) == 0) {
1580 _impl_._has_bits_[0] &= ~0x00000001u;
1581 auto* released =
_impl_.name_.Release();
1582 if (::google::protobuf::internal::DebugHardenForceCopyDefaultString()) {
1583 _impl_.name_.Set(
"", GetArena());
1588 ::google::protobuf::internal::TSanWrite(&
_impl_);
1589 if (value !=
nullptr) {
1590 _impl_._has_bits_[0] |= 0x00000001u;
1592 _impl_._has_bits_[0] &= ~0x00000001u;
1594 _impl_.name_.SetAllocated(value, GetArena());
1595 if (::google::protobuf::internal::DebugHardenForceCopyDefaultString() &&
_impl_.name_.IsDefault()) {
1596 _impl_.name_.Set(
"", GetArena());
1603 bool value = (
_impl_._has_bits_[0] & 0x00000008u) != 0;
1607 ::google::protobuf::internal::TSanWrite(&
_impl_);
1608 _impl_.num_variables_ = 0;
1609 _impl_._has_bits_[0] &= ~0x00000008u;
1613 return _internal_num_variables();
1616 _internal_set_num_variables(value);
1620inline ::int32_t LinearBooleanProblem::_internal_num_variables()
const {
1621 ::google::protobuf::internal::TSanRead(&
_impl_);
1624inline void LinearBooleanProblem::_internal_set_num_variables(::int32_t value) {
1625 ::google::protobuf::internal::TSanWrite(&
_impl_);
1630inline int LinearBooleanProblem::_internal_constraints_size()
const {
1631 return _internal_constraints().size();
1634 return _internal_constraints_size();
1637 ::google::protobuf::internal::TSanWrite(&
_impl_);
1638 _impl_.constraints_.Clear();
1641 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1643 return _internal_mutable_constraints()->Mutable(index);
1646 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1648 ::google::protobuf::internal::TSanWrite(&
_impl_);
1649 return _internal_mutable_constraints();
1652 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1654 return _internal_constraints().Get(index);
1657 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1658 ::google::protobuf::internal::TSanWrite(&
_impl_);
1664 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1666 return _internal_constraints();
1668inline const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>&
1669LinearBooleanProblem::_internal_constraints()
const {
1670 ::google::protobuf::internal::TSanRead(&
_impl_);
1671 return _impl_.constraints_;
1673inline ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>* PROTOBUF_NONNULL
1674LinearBooleanProblem::_internal_mutable_constraints() {
1675 ::google::protobuf::internal::TSanRead(&
_impl_);
1676 return &
_impl_.constraints_;
1681 bool value = (
_impl_._has_bits_[0] & 0x00000002u) != 0;
1682 PROTOBUF_ASSUME(!value ||
_impl_.objective_ !=
nullptr);
1686 ::google::protobuf::internal::TSanWrite(&
_impl_);
1688 _impl_._has_bits_[0] &= ~0x00000002u;
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_;
1697 return _internal_objective();
1701 ::google::protobuf::internal::TSanWrite(&
_impl_);
1702 if (GetArena() ==
nullptr) {
1703 delete reinterpret_cast<::google::protobuf::MessageLite*
>(
_impl_.objective_);
1706 if (value !=
nullptr) {
1707 _impl_._has_bits_[0] |= 0x00000002u;
1709 _impl_._has_bits_[0] &= ~0x00000002u;
1714 ::google::protobuf::internal::TSanWrite(&
_impl_);
1716 _impl_._has_bits_[0] &= ~0x00000002u;
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) {
1726 if (GetArena() !=
nullptr) {
1727 released = ::google::protobuf::internal::DuplicateIfNonNull(released);
1733 ::google::protobuf::internal::TSanWrite(&
_impl_);
1736 _impl_._has_bits_[0] &= ~0x00000002u;
1737 ::operations_research::sat::LinearObjective* temp =
_impl_.objective_;
1738 _impl_.objective_ =
nullptr;
1741inline ::operations_research::sat::LinearObjective* PROTOBUF_NONNULL LinearBooleanProblem::_internal_mutable_objective() {
1742 ::google::protobuf::internal::TSanWrite(&
_impl_);
1744 auto* p = ::google::protobuf::Message::DefaultConstruct<::operations_research::sat::LinearObjective>(GetArena());
1747 return _impl_.objective_;
1750 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1751 _impl_._has_bits_[0] |= 0x00000002u;
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_);
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);
1768 _impl_._has_bits_[0] |= 0x00000002u;
1770 _impl_._has_bits_[0] &= ~0x00000002u;
1778inline int LinearBooleanProblem::_internal_var_names_size()
const {
1779 return _internal_var_names().size();
1782 return _internal_var_names_size();
1785 ::google::protobuf::internal::TSanWrite(&
_impl_);
1786 _impl_.var_names_.Clear();
1789 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1790 ::google::protobuf::internal::TSanWrite(&
_impl_);
1791 ::std::string* _s = _internal_mutable_var_names()->Add();
1796 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1798 return _internal_var_names().Get(index);
1801 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1803 return _internal_mutable_var_names()->Mutable(index);
1805template <
typename Arg_,
typename... Args_>
1807 ::google::protobuf::internal::AssignToString(*_internal_mutable_var_names()->Mutable(index), ::std::forward<Arg_>(value),
1811template <
typename Arg_,
typename... Args_>
1813 ::google::protobuf::internal::TSanWrite(&
_impl_);
1814 ::google::protobuf::internal::AddToRepeatedPtrField(*_internal_mutable_var_names(),
1815 ::std::forward<Arg_>(value),
1820 const ABSL_ATTRIBUTE_LIFETIME_BOUND {
1822 return _internal_var_names();
1824inline ::google::protobuf::RepeatedPtrField<::std::string>* PROTOBUF_NONNULL
1827 ::google::protobuf::internal::TSanWrite(&
_impl_);
1828 return _internal_mutable_var_names();
1830inline const ::google::protobuf::RepeatedPtrField<::std::string>&
1831LinearBooleanProblem::_internal_var_names()
const {
1832 ::google::protobuf::internal::TSanRead(&
_impl_);
1833 return _impl_.var_names_;
1835inline ::google::protobuf::RepeatedPtrField<::std::string>* PROTOBUF_NONNULL
1836LinearBooleanProblem::_internal_mutable_var_names() {
1837 ::google::protobuf::internal::TSanRead(&
_impl_);
1838 return &
_impl_.var_names_;
1843 bool value = (
_impl_._has_bits_[0] & 0x00000004u) != 0;
1844 PROTOBUF_ASSUME(!value ||
_impl_.assignment_ !=
nullptr);
1848 ::google::protobuf::internal::TSanWrite(&
_impl_);
1850 _impl_._has_bits_[0] &= ~0x00000004u;
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_;
1859 return _internal_assignment();
1863 ::google::protobuf::internal::TSanWrite(&
_impl_);
1864 if (GetArena() ==
nullptr) {
1865 delete reinterpret_cast<::google::protobuf::MessageLite*
>(
_impl_.assignment_);
1868 if (value !=
nullptr) {
1869 _impl_._has_bits_[0] |= 0x00000004u;
1871 _impl_._has_bits_[0] &= ~0x00000004u;
1876 ::google::protobuf::internal::TSanWrite(&
_impl_);
1878 _impl_._has_bits_[0] &= ~0x00000004u;
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) {
1888 if (GetArena() !=
nullptr) {
1889 released = ::google::protobuf::internal::DuplicateIfNonNull(released);
1895 ::google::protobuf::internal::TSanWrite(&
_impl_);
1898 _impl_._has_bits_[0] &= ~0x00000004u;
1899 ::operations_research::sat::BooleanAssignment* temp =
_impl_.assignment_;
1900 _impl_.assignment_ =
nullptr;
1903inline ::operations_research::sat::BooleanAssignment* PROTOBUF_NONNULL LinearBooleanProblem::_internal_mutable_assignment() {
1904 ::google::protobuf::internal::TSanWrite(&
_impl_);
1906 auto* p = ::google::protobuf::Message::DefaultConstruct<::operations_research::sat::BooleanAssignment>(GetArena());
1909 return _impl_.assignment_;
1912 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1913 _impl_._has_bits_[0] |= 0x00000004u;
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_);
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);
1930 _impl_._has_bits_[0] |= 0x00000004u;
1932 _impl_._has_bits_[0] &= ~0x00000004u;
1941 bool value = (
_impl_._has_bits_[0] & 0x00000010u) != 0;
1945 ::google::protobuf::internal::TSanWrite(&
_impl_);
1946 _impl_.original_num_variables_ = 0;
1947 _impl_._has_bits_[0] &= ~0x00000010u;
1951 return _internal_original_num_variables();
1954 _internal_set_original_num_variables(value);
1958inline ::int32_t LinearBooleanProblem::_internal_original_num_variables()
const {
1959 ::google::protobuf::internal::TSanRead(&
_impl_);
1962inline void LinearBooleanProblem::_internal_set_original_num_variables(::int32_t value) {
1963 ::google::protobuf::internal::TSanWrite(&
_impl_);
1968#pragma GCC diagnostic pop
1978#include "google/protobuf/port_undef.inc"
PROTOBUF_CONSTINITconst ::_pbi::DescriptorTable descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto
LinearBooleanConstraint()
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor()
friend class ::google::protobuf::MessageLite
friend void swap(BooleanAssignment &a, BooleanAssignment &b)
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_literals()
int literals_size() const
repeated int32 literals = 1;
BooleanAssignment & operator=(const BooleanAssignment &from)
void add_literals(::int32_t value)
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL descriptor()
static constexpr int kIndexInFileMessages
ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL
inline ::google::protobuf::UnknownFieldSet *PROTOBUF_NONNULL mutable_unknown_fields() ABSL_ATTRIBUTE_LIFETIME_BOUND
void Swap(BooleanAssignment *PROTOBUF_NONNULL other)
void MergeFrom(const BooleanAssignment &from)
void CopyFrom(const BooleanAssignment &from)
bool IsInitialized() const
::uint8_t *PROTOBUF_NONNULL _InternalSerialize(::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
void set_literals(int index, ::int32_t value)
const ::google::protobuf::RepeatedField<::int32_t > & literals() const
PROTOBUF_CONSTEXPR BooleanAssignment(::google::protobuf::internal::ConstantInitialized)
const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND
::int32_t literals(int index) const
::size_t ByteSizeLong() const final
static const BooleanAssignment & default_instance()
void set_coefficients(int index, ::int64_t value)
void set_allocated_name(::std::string *PROTOBUF_NULLABLE value)
bool IsInitialized() const
friend class ::google::protobuf::MessageLite
int literals_size() const
repeated int32 literals = 1;
static const LinearBooleanConstraint & default_instance()
::std::string *PROTOBUF_NULLABLE release_name()
ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL
int coefficients_size() const
repeated int64 coefficients = 2;
PROTOBUF_CONSTEXPR LinearBooleanConstraint(::google::protobuf::internal::ConstantInitialized)
void set_upper_bound(::int64_t value)
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor()
void set_literals(int index, ::int32_t value)
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_coefficients()
void set_name(Arg_ &&arg, Args_... args)
static const ::google::protobuf::Reflection *PROTOBUF_NONNULL GetReflection()
void set_lower_bound(::int64_t value)
void clear_coefficients()
::int32_t literals(int index) const
bool has_name() const
optional string name = 5 [default = ""];
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_literals()
void CopyFrom(const LinearBooleanConstraint &from)
bool has_lower_bound() const
optional int64 lower_bound = 3;
const ::std::string & name() const
const ::google::protobuf::RepeatedField<::int32_t > & literals() const
::int64_t lower_bound() const
bool has_upper_bound() const
optional int64 upper_bound = 4;
const ::google::protobuf::RepeatedField<::int64_t > & coefficients() const
LinearBooleanConstraint & operator=(const LinearBooleanConstraint &from)
::int64_t upper_bound() const
LinearBooleanConstraint()
void add_literals(::int32_t value)
void Swap(LinearBooleanConstraint *PROTOBUF_NONNULL other)
::int64_t coefficients(int index) const
::size_t ByteSizeLong() const final
::uint8_t *PROTOBUF_NONNULL _InternalSerialize(::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
void MergeFrom(const LinearBooleanConstraint &from)
const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND
::std::string *PROTOBUF_NONNULL mutable_name()
void add_coefficients(::int64_t value)
::operations_research::sat::BooleanAssignment *PROTOBUF_NONNULL mutable_assignment()
void set_name(Arg_ &&arg, Args_... args)
bool has_objective() const
optional .operations_research.sat.LinearObjective objective = 5;
::operations_research::sat::LinearBooleanConstraint *PROTOBUF_NONNULL add_constraints()
const ::operations_research::sat::LinearBooleanConstraint & constraints(int index) const
static constexpr auto InternalGenerateClassData_()
::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE release_objective()
const ::operations_research::sat::LinearObjective & objective() const
void CopyFrom(const LinearBooleanProblem &from)
::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE unsafe_arena_release_assignment()
void MergeFrom(const LinearBooleanProblem &from)
void clear_num_variables()
::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint > *PROTOBUF_NONNULL mutable_constraints()
bool IsInitialized() const
void set_num_variables(::int32_t value)
void set_allocated_name(::std::string *PROTOBUF_NULLABLE value)
::google::protobuf::RepeatedPtrField<::std::string > *PROTOBUF_NONNULL mutable_var_names()
const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint > & constraints() const
const ::google::protobuf::RepeatedPtrField<::std::string > & var_names() const
void set_allocated_objective(::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE value)
bool has_assignment() const
optional .operations_research.sat.BooleanAssignment assignment = 7;
const ::std::string & name() const
::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE release_assignment()
::int32_t original_num_variables() const
void Swap(LinearBooleanProblem *PROTOBUF_NONNULL other)
::std::string *PROTOBUF_NONNULL mutable_var_names(int index)
void set_var_names(int index, Arg_ &&value, Args_... args)
::std::string *PROTOBUF_NONNULL mutable_name()
::google::protobuf::Metadata GetMetadata() const
@ kNumVariablesFieldNumber
@ kConstraintsFieldNumber
@ kOriginalNumVariablesFieldNumber
void clear_original_num_variables()
int constraints_size() const
repeated .operations_research.sat.LinearBooleanConstraint constraints = 4;
::std::string *PROTOBUF_NONNULL add_var_names()
void set_allocated_assignment(::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE value)
const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND
const ::google::protobuf::internal::ClassData *PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL
const ::std::string & var_names(int index) const
::std::string *PROTOBUF_NULLABLE release_name()
void unsafe_arena_set_allocated_objective(::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE value)
bool has_num_variables() const
optional int32 num_variables = 3;
::int32_t num_variables() const
static constexpr auto InternalNewImpl_()
int var_names_size() const
repeated string var_names = 6;
::uint8_t *PROTOBUF_NONNULL _InternalSerialize(::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
static void *PROTOBUF_NONNULL PlacementNew_(const void *PROTOBUF_NONNULL, void *PROTOBUF_NONNULL mem, ::google::protobuf::Arena *PROTOBUF_NULLABLE arena)
::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE unsafe_arena_release_objective()
::operations_research::sat::LinearObjective *PROTOBUF_NONNULL mutable_objective()
LinearBooleanProblem & operator=(const LinearBooleanProblem &from)
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL descriptor()
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor()
::operations_research::sat::LinearBooleanConstraint *PROTOBUF_NONNULL mutable_constraints(int index)
::size_t ByteSizeLong() const final
bool has_name() const
optional string name = 1 [default = ""];
void unsafe_arena_set_allocated_assignment(::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE value)
const ::operations_research::sat::BooleanAssignment & assignment() const
void set_original_num_variables(::int32_t value)
LinearBooleanProblem *PROTOBUF_NONNULL New(::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
implements Message -------------------------------------------—
bool has_original_num_variables() const
optional int32 original_num_variables = 8;
friend class ::google::protobuf::Arena
friend void swap(LinearBooleanProblem &a, LinearBooleanProblem &b)
friend class ::google::protobuf::MessageLite
const ::google::protobuf::RepeatedField<::int32_t > & literals() const
int literals_size() const
repeated int32 literals = 1;
bool has_scaling_factor() const
optional double scaling_factor = 4 [default = 1];
const ::google::protobuf::RepeatedField<::int64_t > & coefficients() const
void add_literals(::int32_t value)
bool has_offset() const
optional double offset = 3 [default = 0];
void clear_coefficients()
const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND
void set_literals(int index, ::int32_t value)
void add_coefficients(::int64_t value)
LinearObjective(::google::protobuf::Arena *PROTOBUF_NULLABLE arena, LinearObjective &&from) noexcept
void clear_scaling_factor()
::int64_t coefficients(int index) const
void set_scaling_factor(double value)
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_literals()
double scaling_factor() const
::int32_t literals(int index) const
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_coefficients()
LinearObjective(const LinearObjective &from)
PROTOBUF_CONSTEXPR LinearObjective(::google::protobuf::internal::ConstantInitialized)
ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL
@ kScalingFactorFieldNumber
void CopyFrom(const LinearObjective &from)
void Swap(LinearObjective *PROTOBUF_NONNULL other)
void set_coefficients(int index, ::int64_t value)
void set_offset(double value)
bool IsInitialized() const
int coefficients_size() const
repeated int64 coefficients = 2;
LinearObjective & operator=(const LinearObjective &from)
::absl::string_view GetAnyMessageName()
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull BooleanAssignment_class_data_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 BooleanAssignmentDefaultTypeInternal _BooleanAssignment_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LinearBooleanProblemDefaultTypeInternal _LinearBooleanProblem_default_instance_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull LinearObjective_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull LinearBooleanProblem_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull LinearBooleanConstraint_class_data_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LinearBooleanConstraintDefaultTypeInternal _LinearBooleanConstraint_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LinearObjectiveDefaultTypeInternal _LinearObjective_default_instance_
In SWIG mode, we don't want anything besides these top-level includes.