Google OR-Tools: build/ortools/sat/boolean

Google OR-Tools: build/ortools/sat/boolean_problem.pb.h Source File

6#ifndef ortools_2fsat_2fboolean_5fproblem_2eproto_2epb_2eh

7#define ortools_2fsat_2fboolean_5fproblem_2eproto_2epb_2eh

9#include <limits>

10#include <string>

11#include <type_traits>

12#include <utility>

14#include "google/protobuf/runtime_version.h"

15#if PROTOBUF_VERSION != 6033001

16#error "Protobuf C++ gencode is built with an incompatible version of"

17#error "Protobuf C++ headers/runtime. See"

18#error "https://protobuf.dev/support/cross-version-runtime-guarantee/#cpp"

19#endif

20#include "google/protobuf/io/coded_stream.h"

21#include "google/protobuf/arena.h"

22#include "google/protobuf/arenastring.h"

23#include "google/protobuf/generated_message_tctable_decl.h"

24#include "google/protobuf/generated_message_util.h"

25#include "google/protobuf/metadata_lite.h"

26#include "google/protobuf/generated_message_reflection.h"

27#include "google/protobuf/message.h"

28#include "google/protobuf/message_lite.h"

29#include "google/protobuf/repeated_field.h"

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

40namespace protobuf {

42template <typename T>

44}

45}

46}

52extern "C" {

54}

56namespace sat {

73}

74}

77}

78}

81namespace sat {

88class OR_PROTO_DLL LinearObjective final : public ::google::protobuf::Message

89 {

90 public:

94#if defined(PROTOBUF_CUSTOM_VTABLE)

95 void operator delete(LinearObjective* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {

96 SharedDtor(*msg);

97 ::google::protobuf::internal::SizedDelete(msg, sizeof(LinearObjective));

98 }

99#endif

100

101 template <typename = void>

102 explicit PROTOBUF_CONSTEXPR LinearObjective(::google::protobuf::internal::ConstantInitialized);

103

109 return *this;

110 }

112 if (this == &from) return *this;

113 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {

114 InternalSwap(&from);

115 } else {

116 CopyFrom(from);

117 }

118 return *this;

119 }

120

121 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const

122 ABSL_ATTRIBUTE_LIFETIME_BOUND {

123 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);

124 }

125 inline ::google::protobuf::UnknownFieldSet* PROTOBUF_NONNULL mutable_unknown_fields()

126 ABSL_ATTRIBUTE_LIFETIME_BOUND {

127 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();

128 }

129

130 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {

131 return GetDescriptor();

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;

142 }

143 static constexpr int kIndexInFileMessages = 1;

146 if (other == this) return;

147 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {

148 InternalSwap(other);

149 } else {

150 ::google::protobuf::internal::GenericSwap(this, other);

151 }

152 }

153 void UnsafeArenaSwap(LinearObjective* PROTOBUF_NONNULL other) {

154 if (other == this) return;

155 ABSL_DCHECK(GetArena() == other->GetArena());

156 InternalSwap(other);

157 }

158

159

160

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); }

168

170 static void MergeImpl(::google::protobuf::MessageLite& to_msg,

171 const ::google::protobuf::MessageLite& from_msg);

172

173 public:

175 return true;

177 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;

178 #if defined(PROTOBUF_CUSTOM_VTABLE)

179 private:

180 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);

181 static ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(

182 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,

183 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);

184

185 public:

186 ::size_t ByteSizeLong() const { return ByteSizeLong(*this); }

187 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(

188 ::uint8_t* PROTOBUF_NONNULL target,

189 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {

190 return _InternalSerialize(*this, target, stream);

191 }

192 #else

193 ::size_t ByteSizeLong() const final;

194 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(

195 ::uint8_t* PROTOBUF_NONNULL target,

196 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;

197 #endif

198 int GetCachedSize() const { return _impl_._cached_size_.Get(); }

199

201 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

202 static void SharedDtor(MessageLite& self);

203 void InternalSwap(LinearObjective* PROTOBUF_NONNULL other);

204 private:

205 template <typename T>

207 static ::absl::string_view FullMessageName() { return "operations_research.sat.LinearObjective"; }

208

209 explicit LinearObjective(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

212 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, LinearObjective&& from) noexcept

214 *this = ::std::move(from);

215 }

216 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;

217 static void* PROTOBUF_NONNULL PlacementNew_(

218 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,

219 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

220 static constexpr auto InternalNewImpl_();

221

222 public:

223 static constexpr auto InternalGenerateClassData_();

224

225 ::google::protobuf::Metadata GetMetadata() const;

226

227

228

229 enum : int {

230 kLiteralsFieldNumber = 1,

231 kCoefficientsFieldNumber = 2,

235

237 private:

238 int _internal_literals_size() const;

239

240 public:

242 ::int32_t literals(int index) const;

243 void set_literals(int index, ::int32_t value);

245 const ::google::protobuf::RepeatedField<::int32_t>& literals() const;

246 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL mutable_literals();

247

248 private:

249 const ::google::protobuf::RepeatedField<::int32_t>& _internal_literals() const;

250 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL _internal_mutable_literals();

251

252 public:

253

255 private:

256 int _internal_coefficients_size() const;

257

258 public:

263 const ::google::protobuf::RepeatedField<::int64_t>& coefficients() const;

264 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL mutable_coefficients();

265

266 private:

267 const ::google::protobuf::RepeatedField<::int64_t>& _internal_coefficients() const;

268 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL _internal_mutable_coefficients();

269

270 public:

271

274 double offset() const;

276

277 private:

278 double _internal_offset() const;

279 void _internal_set_offset(double value);

280

281 public:

282

287

288 private:

289 double _internal_scaling_factor() const;

290 void _internal_set_scaling_factor(double value);

291

292 public:

293

294 private:

296 friend class ::google::protobuf::internal::TcParser;

297 static const ::google::protobuf::internal::TcParseTable<2, 4,

299 2>

300 _table_;

301

302 friend class ::google::protobuf::MessageLite;

303 friend class ::google::protobuf::Arena;

304 template <typename T>

305 friend class ::google::protobuf::Arena::InternalHelper;

306 using InternalArenaConstructable_ = void;

307 using DestructorSkippable_ = void;

308 struct Impl_ {

309 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;

310 inline explicit Impl_(

311 ::google::protobuf::internal::InternalVisibility visibility,

312 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

313 inline explicit Impl_(

314 ::google::protobuf::internal::InternalVisibility visibility,

315 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,

317 ::google::protobuf::internal::HasBits<1> _has_bits_;

318 ::google::protobuf::internal::CachedSize _cached_size_;

319 ::google::protobuf::RepeatedField<::int32_t> literals_;

320 ::google::protobuf::RepeatedField<::int64_t> coefficients_;

321 double offset_;

322 double scaling_factor_;

323 PROTOBUF_TSAN_DECLARE_MEMBER

324 };

325 union { Impl_ _impl_; };

326 friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto;

330

331

333 {

334 public:

337

338#if defined(PROTOBUF_CUSTOM_VTABLE)

339 void operator delete(LinearBooleanConstraint* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {

340 SharedDtor(*msg);

342 }

343#endif

344

345 template <typename = void>

346 explicit PROTOBUF_CONSTEXPR LinearBooleanConstraint(::google::protobuf::internal::ConstantInitialized);

347

356 if (this == &from) return *this;

357 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {

358 InternalSwap(&from);

359 } else {

360 CopyFrom(from);

361 }

362 return *this;

363 }

364

365 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const

366 ABSL_ATTRIBUTE_LIFETIME_BOUND {

367 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);

369 inline ::google::protobuf::UnknownFieldSet* PROTOBUF_NONNULL mutable_unknown_fields()

370 ABSL_ATTRIBUTE_LIFETIME_BOUND {

371 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();

373

374 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {

375 return GetDescriptor();

376 }

377 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {

379 }

380 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {

382 }

387 static constexpr int kIndexInFileMessages = 0;

389 inline void Swap(LinearBooleanConstraint* PROTOBUF_NONNULL other) {

390 if (other == this) return;

391 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {

392 InternalSwap(other);

393 } else {

394 ::google::protobuf::internal::GenericSwap(this, other);

395 }

396 }

397 void UnsafeArenaSwap(LinearBooleanConstraint* PROTOBUF_NONNULL other) {

398 if (other == this) return;

399 ABSL_DCHECK(GetArena() == other->GetArena());

400 InternalSwap(other);

401 }

402

403

404

405 LinearBooleanConstraint* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena = nullptr) const {

406 return ::google::protobuf::Message::DefaultConstruct<LinearBooleanConstraint>(arena);

407 }

408 using ::google::protobuf::Message::CopyFrom;

410 using ::google::protobuf::Message::MergeFrom;

412

413 private:

414 static void MergeImpl(::google::protobuf::MessageLite& to_msg,

415 const ::google::protobuf::MessageLite& from_msg);

416

417 public:

419 return true;

420 }

421 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;

422 #if defined(PROTOBUF_CUSTOM_VTABLE)

423 private:

424 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);

426 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,

427 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);

428

429 public:

431 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(

432 ::uint8_t* PROTOBUF_NONNULL target,

433 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {

434 return _InternalSerialize(*this, target, stream);

435 }

436 #else

437 ::size_t ByteSizeLong() const final;

438 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(

439 ::uint8_t* PROTOBUF_NONNULL target,

440 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;

441 #endif

442 int GetCachedSize() const { return _impl_._cached_size_.Get(); }

443

444 private:

445 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

446 static void SharedDtor(MessageLite& self);

448 private:

449 template <typename T>

451 static ::absl::string_view FullMessageName() { return "operations_research.sat.LinearBooleanConstraint"; }

452

456 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, LinearBooleanConstraint&& from) noexcept

458 *this = ::std::move(from);

459 }

460 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;

461 static void* PROTOBUF_NONNULL PlacementNew_(

462 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,

463 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

464 static constexpr auto InternalNewImpl_();

465

466 public:

467 static constexpr auto InternalGenerateClassData_();

468

469 ::google::protobuf::Metadata GetMetadata() const;

470

471

472

473 enum : int {

474 kLiteralsFieldNumber = 1,

475 kCoefficientsFieldNumber = 2,

476 kNameFieldNumber = 5,

480

482 private:

483 int _internal_literals_size() const;

484

485 public:

487 ::int32_t literals(int index) const;

488 void set_literals(int index, ::int32_t value);

490 const ::google::protobuf::RepeatedField<::int32_t>& literals() const;

491 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL mutable_literals();

492

493 private:

494 const ::google::protobuf::RepeatedField<::int32_t>& _internal_literals() const;

495 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL _internal_mutable_literals();

496

497 public:

498

500 private:

501 int _internal_coefficients_size() const;

502

503 public:

508 const ::google::protobuf::RepeatedField<::int64_t>& coefficients() const;

509 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL mutable_coefficients();

510

511 private:

512 const ::google::protobuf::RepeatedField<::int64_t>& _internal_coefficients() const;

513 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL _internal_mutable_coefficients();

514

515 public:

516

519 const ::std::string& name() const;

520 template <typename Arg_ = const ::std::string&, typename... Args_>

521 void set_name(Arg_&& arg, Args_... args);

522 ::std::string* PROTOBUF_NONNULL mutable_name();

523 [[nodiscard]] ::std::string* PROTOBUF_NULLABLE release_name();

525

526 private:

527 const ::std::string& _internal_name() const;

528 PROTOBUF_ALWAYS_INLINE void _internal_set_name(const ::std::string& value);

529 ::std::string* PROTOBUF_NONNULL _internal_mutable_name();

530

531 public:

532

537

538 private:

539 ::int64_t _internal_lower_bound() const;

540 void _internal_set_lower_bound(::int64_t value);

541

542 public:

543

548

549 private:

550 ::int64_t _internal_upper_bound() const;

551 void _internal_set_upper_bound(::int64_t value);

552

553 public:

554

555 private:

557 friend class ::google::protobuf::internal::TcParser;

558 static const ::google::protobuf::internal::TcParseTable<3, 5,

559 0, 0,

561 _table_;

562

563 friend class ::google::protobuf::MessageLite;

564 friend class ::google::protobuf::Arena;

565 template <typename T>

566 friend class ::google::protobuf::Arena::InternalHelper;

567 using InternalArenaConstructable_ = void;

568 using DestructorSkippable_ = void;

569 struct Impl_ {

570 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;

571 inline explicit Impl_(

572 ::google::protobuf::internal::InternalVisibility visibility,

573 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

574 inline explicit Impl_(

575 ::google::protobuf::internal::InternalVisibility visibility,

576 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,

578 ::google::protobuf::internal::HasBits<1> _has_bits_;

579 ::google::protobuf::internal::CachedSize _cached_size_;

580 ::google::protobuf::RepeatedField<::int32_t> literals_;

581 ::google::protobuf::RepeatedField<::int64_t> coefficients_;

582 ::google::protobuf::internal::ArenaStringPtr name_;

583 ::int64_t lower_bound_;

584 ::int64_t upper_bound_;

585 PROTOBUF_TSAN_DECLARE_MEMBER

586 };

587 union { Impl_ _impl_; };

588 friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto;

589};

592

593

594class OR_PROTO_DLL BooleanAssignment final : public ::google::protobuf::Message

595 {

596 public:

599

600#if defined(PROTOBUF_CUSTOM_VTABLE)

601 void operator delete(BooleanAssignment* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {

602 SharedDtor(*msg);

603 ::google::protobuf::internal::SizedDelete(msg, sizeof(BooleanAssignment));

604 }

605#endif

606

607 template <typename = void>

608 explicit PROTOBUF_CONSTEXPR BooleanAssignment(::google::protobuf::internal::ConstantInitialized);

609

611 inline BooleanAssignment(BooleanAssignment&& from) noexcept

618 if (this == &from) return *this;

619 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {

620 InternalSwap(&from);

622 CopyFrom(from);

623 }

624 return *this;

625 }

626

627 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const

628 ABSL_ATTRIBUTE_LIFETIME_BOUND {

629 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);

630 }

632 ABSL_ATTRIBUTE_LIFETIME_BOUND {

633 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();

634 }

636 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {

638 }

639 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {

641 }

642 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {

652 if (other == this) return;

653 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {

654 InternalSwap(other);

656 ::google::protobuf::internal::GenericSwap(this, other);

657 }

658 }

659 void UnsafeArenaSwap(BooleanAssignment* PROTOBUF_NONNULL other) {

660 if (other == this) return;

661 ABSL_DCHECK(GetArena() == other->GetArena());

662 InternalSwap(other);

664

665

666

667 BooleanAssignment* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena = nullptr) const {

668 return ::google::protobuf::Message::DefaultConstruct<BooleanAssignment>(arena);

669 }

670 using ::google::protobuf::Message::CopyFrom;

672 using ::google::protobuf::Message::MergeFrom;

674

675 private:

676 static void MergeImpl(::google::protobuf::MessageLite& to_msg,

677 const ::google::protobuf::MessageLite& from_msg);

678

679 public:

681 return true;

682 }

683 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;

684 #if defined(PROTOBUF_CUSTOM_VTABLE)

685 private:

686 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);

688 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,

689 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);

690

691 public:

693 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(

694 ::uint8_t* PROTOBUF_NONNULL target,

695 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {

696 return _InternalSerialize(*this, target, stream);

697 }

698 #else

699 ::size_t ByteSizeLong() const final;

700 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(

701 ::uint8_t* PROTOBUF_NONNULL target,

702 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;

703 #endif

704 int GetCachedSize() const { return _impl_._cached_size_.Get(); }

705

706 private:

707 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

710 private:

711 template <typename T>

713 static ::absl::string_view FullMessageName() { return "operations_research.sat.BooleanAssignment"; }

714

715 explicit BooleanAssignment(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

718 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, BooleanAssignment&& from) noexcept

720 *this = ::std::move(from);

721 }

722 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;

723 static void* PROTOBUF_NONNULL PlacementNew_(

724 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,

725 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

726 static constexpr auto InternalNewImpl_();

727

728 public:

729 static constexpr auto InternalGenerateClassData_();

730

731 ::google::protobuf::Metadata GetMetadata() const;

732

733

734

735 enum : int {

736 kLiteralsFieldNumber = 1,

737 };

738

739 int literals_size() const;

741 int _internal_literals_size() const;

742

743 public:

745 ::int32_t literals(int index) const;

746 void set_literals(int index, ::int32_t value);

748 const ::google::protobuf::RepeatedField<::int32_t>& literals() const;

749 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL mutable_literals();

750

751 private:

752 const ::google::protobuf::RepeatedField<::int32_t>& _internal_literals() const;

753 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL _internal_mutable_literals();

754

755 public:

756

757 private:

759 friend class ::google::protobuf::internal::TcParser;

760 static const ::google::protobuf::internal::TcParseTable<0, 1,

761 0, 0,

762 2>

764

765 friend class ::google::protobuf::MessageLite;

766 friend class ::google::protobuf::Arena;

767 template <typename T>

768 friend class ::google::protobuf::Arena::InternalHelper;

769 using InternalArenaConstructable_ = void;

770 using DestructorSkippable_ = void;

771 struct Impl_ {

772 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;

773 inline explicit Impl_(

774 ::google::protobuf::internal::InternalVisibility visibility,

775 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

776 inline explicit Impl_(

777 ::google::protobuf::internal::InternalVisibility visibility,

778 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,

780 ::google::protobuf::internal::HasBits<1> _has_bits_;

781 ::google::protobuf::internal::CachedSize _cached_size_;

782 ::google::protobuf::RepeatedField<::int32_t> literals_;

783 PROTOBUF_TSAN_DECLARE_MEMBER

784 };

785 union { Impl_ _impl_; };

786 friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto;

787};

788

790

791

792class OR_PROTO_DLL LinearBooleanProblem final : public ::google::protobuf::Message

793 {

794 public:

798#if defined(PROTOBUF_CUSTOM_VTABLE)

799 void operator delete(LinearBooleanProblem* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {

800 SharedDtor(*msg);

801 ::google::protobuf::internal::SizedDelete(msg, sizeof(LinearBooleanProblem));

802 }

803#endif

804

805 template <typename = void>

806 explicit PROTOBUF_CONSTEXPR LinearBooleanProblem(::google::protobuf::internal::ConstantInitialized);

807

809 inline LinearBooleanProblem(LinearBooleanProblem&& from) noexcept

810 : LinearBooleanProblem(nullptr, ::std::move(from)) {}

813 return *this;

816 if (this == &from) return *this;

817 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {

818 InternalSwap(&from);

819 } else {

821 }

822 return *this;

823 }

824

825 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const

826 ABSL_ATTRIBUTE_LIFETIME_BOUND {

827 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);

828 }

829 inline ::google::protobuf::UnknownFieldSet* PROTOBUF_NONNULL mutable_unknown_fields()

830 ABSL_ATTRIBUTE_LIFETIME_BOUND {

831 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();

832 }

833

834 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {

836 }

837 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {

838 return default_instance().GetMetadata().descriptor;

840 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {

841 return default_instance().GetMetadata().reflection;

846 }

847 static constexpr int kIndexInFileMessages = 3;

850 if (other == this) return;

851 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {

852 InternalSwap(other);

854 ::google::protobuf::internal::GenericSwap(this, other);

855 }

856 }

857 void UnsafeArenaSwap(LinearBooleanProblem* PROTOBUF_NONNULL other) {

858 if (other == this) return;

859 ABSL_DCHECK(GetArena() == other->GetArena());

860 InternalSwap(other);

861 }

863

864

865 LinearBooleanProblem* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena = nullptr) const {

866 return ::google::protobuf::Message::DefaultConstruct<LinearBooleanProblem>(arena);

867 }

868 using ::google::protobuf::Message::CopyFrom;

870 using ::google::protobuf::Message::MergeFrom;

872

873 private:

874 static void MergeImpl(::google::protobuf::MessageLite& to_msg,

875 const ::google::protobuf::MessageLite& from_msg);

877 public:

879 return true;

880 }

881 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;

882 #if defined(PROTOBUF_CUSTOM_VTABLE)

884 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);

886 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,

887 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);

888

889 public:

891 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(

892 ::uint8_t* PROTOBUF_NONNULL target,

893 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {

894 return _InternalSerialize(*this, target, stream);

895 }

896 #else

897 ::size_t ByteSizeLong() const final;

898 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(

899 ::uint8_t* PROTOBUF_NONNULL target,

900 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;

901 #endif

902 int GetCachedSize() const { return _impl_._cached_size_.Get(); }

903

904 private:

905 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

906 static void SharedDtor(MessageLite& self);

908 private:

909 template <typename T>

911 static ::absl::string_view FullMessageName() { return "operations_research.sat.LinearBooleanProblem"; }

912

913 explicit LinearBooleanProblem(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

916 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, LinearBooleanProblem&& from) noexcept

918 *this = ::std::move(from);

919 }

920 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;

921 static void* PROTOBUF_NONNULL PlacementNew_(

922 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,

923 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

924 static constexpr auto InternalNewImpl_();

925

926 public:

927 static constexpr auto InternalGenerateClassData_();

928

929 ::google::protobuf::Metadata GetMetadata() const;

930

931

932

933 enum : int {

934 kConstraintsFieldNumber = 4,

935 kVarNamesFieldNumber = 6,

936 kNameFieldNumber = 1,

937 kObjectiveFieldNumber = 5,

938 kAssignmentFieldNumber = 7,

942

945 int _internal_constraints_size() const;

946

947 public:

950 ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>* PROTOBUF_NONNULL mutable_constraints();

951

952 private:

953 const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>& _internal_constraints() const;

954 ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>* PROTOBUF_NONNULL _internal_mutable_constraints();

955 public:

956 const ::operations_research::sat::LinearBooleanConstraint& constraints(int index) const;

958 const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>& constraints() const;

959

961 private:

962 int _internal_var_names_size() const;

963

964 public:

966 const ::std::string& var_names(int index) const;

968 template <typename Arg_ = const ::std::string&, typename... Args_>

969 void set_var_names(int index, Arg_&& value, Args_... args);

971 template <typename Arg_ = const ::std::string&, typename... Args_>

973 const ::google::protobuf::RepeatedPtrField<::std::string>& var_names() const;

974 ::google::protobuf::RepeatedPtrField<::std::string>* PROTOBUF_NONNULL mutable_var_names();

975

976 private:

977 const ::google::protobuf::RepeatedPtrField<::std::string>& _internal_var_names() const;

978 ::google::protobuf::RepeatedPtrField<::std::string>* PROTOBUF_NONNULL _internal_mutable_var_names();

979

980 public:

981

984 const ::std::string& name() const;

985 template <typename Arg_ = const ::std::string&, typename... Args_>

986 void set_name(Arg_&& arg, Args_... args);

987 ::std::string* PROTOBUF_NONNULL mutable_name();

988 [[nodiscard]] ::std::string* PROTOBUF_NULLABLE release_name();

990

992 const ::std::string& _internal_name() const;

993 PROTOBUF_ALWAYS_INLINE void _internal_set_name(const ::std::string& value);

994 ::std::string* PROTOBUF_NONNULL _internal_mutable_name();

995

996 public:

997

1000 const ::operations_research::sat::LinearObjective& objective() const;

1006

1007 private:

1008 const ::operations_research::sat::LinearObjective& _internal_objective() const;

1010

1011 public:

1012

1015 const ::operations_research::sat::BooleanAssignment& assignment() const;

1021

1022 private:

1023 const ::operations_research::sat::BooleanAssignment& _internal_assignment() const;

1025

1026 public:

1027

1032

1033 private:

1034 ::int32_t _internal_num_variables() const;

1035 void _internal_set_num_variables(::int32_t value);

1036

1037 public:

1038

1043

1044 private:

1045 ::int32_t _internal_original_num_variables() const;

1046 void _internal_set_original_num_variables(::int32_t value);

1047

1048 public:

1049

1050 private:

1052 friend class ::google::protobuf::internal::TcParser;

1053 static const ::google::protobuf::internal::TcParseTable<3, 7,

1054 3, 0,

1055 2>

1056 _table_;

1058 friend class ::google::protobuf::MessageLite;

1059 friend class ::google::protobuf::Arena;

1060 template <typename T>

1061 friend class ::google::protobuf::Arena::InternalHelper;

1062 using InternalArenaConstructable_ = void;

1063 using DestructorSkippable_ = void;

1064 struct Impl_ {

1065 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;

1066 inline explicit Impl_(

1067 ::google::protobuf::internal::InternalVisibility visibility,

1068 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);

1069 inline explicit Impl_(

1070 ::google::protobuf::internal::InternalVisibility visibility,

1071 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,

1073 ::google::protobuf::internal::HasBits<1> _has_bits_;

1074 ::google::protobuf::internal::CachedSize _cached_size_;

1075 ::google::protobuf::RepeatedPtrField< ::operations_research::sat::LinearBooleanConstraint > constraints_;

1076 ::google::protobuf::RepeatedPtrField<::std::string> var_names_;

1077 ::google::protobuf::internal::ArenaStringPtr name_;

1080 ::int32_t num_variables_;

1081 ::int32_t original_num_variables_;

1082 PROTOBUF_TSAN_DECLARE_MEMBER

1083 };

1084 union { Impl_ _impl_; };

1085 friend struct ::TableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto;

1086};

1087

1090

1091

1092

1093

1094

1095

1096

1097

1098#ifdef __GNUC__

1099#pragma GCC diagnostic push

1100#pragma GCC diagnostic ignored "-Wstrict-aliasing"

1101#endif

1102

1103

1104

1105

1106

1107inline int LinearBooleanConstraint::_internal_literals_size() const {

1108 return _internal_literals().size();

1109}

1111 return _internal_literals_size();

1112}

1114 ::google::protobuf::internal::TSanWrite(&_impl_);

1115 _impl_.literals_.Clear();

1116 ClearHasBitForRepeated(_impl_._has_bits_[0],

1117 0x00000001U);

1121 return _internal_literals().Get(index);

1122}

1124 _internal_mutable_literals()->Set(index, value);

1125

1126}

1128 ::google::protobuf::internal::TSanWrite(&_impl_);

1129 _internal_mutable_literals()->Add(value);

1130 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);

1131

1132}

1134 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1135

1136 return _internal_literals();

1137}

1139 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1140 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);

1141

1142 ::google::protobuf::internal::TSanWrite(&_impl_);

1143 return _internal_mutable_literals();

1144}

1145inline const ::google::protobuf::RepeatedField<::int32_t>&

1146LinearBooleanConstraint::_internal_literals() const {

1147 ::google::protobuf::internal::TSanRead(&_impl_);

1148 return _impl_.literals_;

1149}

1150inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL

1151LinearBooleanConstraint::_internal_mutable_literals() {

1152 ::google::protobuf::internal::TSanRead(&_impl_);

1153 return &_impl_.literals_;

1154}

1155

1156

1157inline int LinearBooleanConstraint::_internal_coefficients_size() const {

1158 return _internal_coefficients().size();

1159}

1161 return _internal_coefficients_size();

1162}

1164 ::google::protobuf::internal::TSanWrite(&_impl_);

1165 _impl_.coefficients_.Clear();

1166 ClearHasBitForRepeated(_impl_._has_bits_[0],

1167 0x00000002U);

1171 return _internal_coefficients().Get(index);

1172}

1174 _internal_mutable_coefficients()->Set(index, value);

1175

1176}

1178 ::google::protobuf::internal::TSanWrite(&_impl_);

1179 _internal_mutable_coefficients()->Add(value);

1180 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);

1181

1182}

1184 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1185

1186 return _internal_coefficients();

1187}

1189 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1190 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);

1191

1192 ::google::protobuf::internal::TSanWrite(&_impl_);

1193 return _internal_mutable_coefficients();

1194}

1195inline const ::google::protobuf::RepeatedField<::int64_t>&

1196LinearBooleanConstraint::_internal_coefficients() const {

1197 ::google::protobuf::internal::TSanRead(&_impl_);

1198 return _impl_.coefficients_;

1199}

1200inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL

1201LinearBooleanConstraint::_internal_mutable_coefficients() {

1202 ::google::protobuf::internal::TSanRead(&_impl_);

1203 return &_impl_.coefficients_;

1204}

1205

1206

1208 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000008U);

1209 return value;

1210}

1212 ::google::protobuf::internal::TSanWrite(&_impl_);

1213 _impl_.lower_bound_ = ::int64_t{0};

1214 ClearHasBit(_impl_._has_bits_[0],

1215 0x00000008U);

1216}

1218

1219 return _internal_lower_bound();

1220}

1222 _internal_set_lower_bound(value);

1223 SetHasBit(_impl_._has_bits_[0], 0x00000008U);

1224

1226inline ::int64_t LinearBooleanConstraint::_internal_lower_bound() const {

1227 ::google::protobuf::internal::TSanRead(&_impl_);

1228 return _impl_.lower_bound_;

1230inline void LinearBooleanConstraint::_internal_set_lower_bound(::int64_t value) {

1231 ::google::protobuf::internal::TSanWrite(&_impl_);

1232 _impl_.lower_bound_ = value;

1233}

1234

1235

1237 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000010U);

1238 return value;

1239}

1241 ::google::protobuf::internal::TSanWrite(&_impl_);

1242 _impl_.upper_bound_ = ::int64_t{0};

1243 ClearHasBit(_impl_._has_bits_[0],

1244 0x00000010U);

1245}

1247

1248 return _internal_upper_bound();

1249}

1251 _internal_set_upper_bound(value);

1252 SetHasBit(_impl_._has_bits_[0], 0x00000010U);

1253

1255inline ::int64_t LinearBooleanConstraint::_internal_upper_bound() const {

1256 ::google::protobuf::internal::TSanRead(&_impl_);

1257 return _impl_.upper_bound_;

1259inline void LinearBooleanConstraint::_internal_set_upper_bound(::int64_t value) {

1260 ::google::protobuf::internal::TSanWrite(&_impl_);

1261 _impl_.upper_bound_ = value;

1262}

1263

1264

1266 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000004U);

1267 return value;

1268}

1270 ::google::protobuf::internal::TSanWrite(&_impl_);

1271 _impl_.name_.ClearToEmpty();

1272 ClearHasBit(_impl_._has_bits_[0],

1273 0x00000004U);

1274}

1276 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1277

1278 return _internal_name();

1279}

1280template <typename Arg_, typename... Args_>

1282 ::google::protobuf::internal::TSanWrite(&_impl_);

1283 SetHasBit(_impl_._has_bits_[0], 0x00000004U);

1284 _impl_.name_.Set(static_cast<Arg_&&>(arg), args..., GetArena());

1285

1286}

1288 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1289 SetHasBit(_impl_._has_bits_[0], 0x00000004U);

1290 ::std::string* _s = _internal_mutable_name();

1291

1292 return _s;

1293}

1294inline const ::std::string& LinearBooleanConstraint::_internal_name() const {

1295 ::google::protobuf::internal::TSanRead(&_impl_);

1296 return _impl_.name_.Get();

1297}

1298inline void LinearBooleanConstraint::_internal_set_name(const ::std::string& value) {

1299 ::google::protobuf::internal::TSanWrite(&_impl_);

1300 _impl_.name_.Set(value, GetArena());

1301}

1302inline ::std::string* PROTOBUF_NONNULL LinearBooleanConstraint::_internal_mutable_name() {

1303 ::google::protobuf::internal::TSanWrite(&_impl_);

1304 return _impl_.name_.Mutable( GetArena());

1305}

1307 ::google::protobuf::internal::TSanWrite(&_impl_);

1308

1309 if (!CheckHasBit(_impl_._has_bits_[0], 0x00000004U)) {

1310 return nullptr;

1311 }

1312 ClearHasBit(_impl_._has_bits_[0], 0x00000004U);

1313 auto* released = _impl_.name_.Release();

1314 if (::google::protobuf::internal::DebugHardenForceCopyDefaultString()) {

1315 _impl_.name_.Set("", GetArena());

1316 }

1317 return released;

1318}

1320 ::google::protobuf::internal::TSanWrite(&_impl_);

1321 if (value != nullptr) {

1322 SetHasBit(_impl_._has_bits_[0], 0x00000004U);

1323 } else {

1324 ClearHasBit(_impl_._has_bits_[0], 0x00000004U);

1325 }

1326 _impl_.name_.SetAllocated(value, GetArena());

1327 if (::google::protobuf::internal::DebugHardenForceCopyDefaultString() && _impl_.name_.IsDefault()) {

1328 _impl_.name_.Set("", GetArena());

1329 }

1330

1331}

1332

1333

1334

1335

1336

1337

1338inline int LinearObjective::_internal_literals_size() const {

1339 return _internal_literals().size();

1340}

1342 return _internal_literals_size();

1343}

1345 ::google::protobuf::internal::TSanWrite(&_impl_);

1346 _impl_.literals_.Clear();

1347 ClearHasBitForRepeated(_impl_._has_bits_[0],

1348 0x00000001U);

1349}

1351

1352 return _internal_literals().Get(index);

1355 _internal_mutable_literals()->Set(index, value);

1356

1357}

1359 ::google::protobuf::internal::TSanWrite(&_impl_);

1360 _internal_mutable_literals()->Add(value);

1361 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);

1362

1365 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1366

1367 return _internal_literals();

1368}

1370 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1371 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);

1372

1373 ::google::protobuf::internal::TSanWrite(&_impl_);

1374 return _internal_mutable_literals();

1375}

1376inline const ::google::protobuf::RepeatedField<::int32_t>&

1377LinearObjective::_internal_literals() const {

1378 ::google::protobuf::internal::TSanRead(&_impl_);

1379 return _impl_.literals_;

1380}

1381inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL

1382LinearObjective::_internal_mutable_literals() {

1383 ::google::protobuf::internal::TSanRead(&_impl_);

1384 return &_impl_.literals_;

1385}

1386

1387

1388inline int LinearObjective::_internal_coefficients_size() const {

1389 return _internal_coefficients().size();

1390}

1392 return _internal_coefficients_size();

1393}

1395 ::google::protobuf::internal::TSanWrite(&_impl_);

1396 _impl_.coefficients_.Clear();

1397 ClearHasBitForRepeated(_impl_._has_bits_[0],

1398 0x00000002U);

1399}

1401

1402 return _internal_coefficients().Get(index);

1405 _internal_mutable_coefficients()->Set(index, value);

1406

1407}

1409 ::google::protobuf::internal::TSanWrite(&_impl_);

1410 _internal_mutable_coefficients()->Add(value);

1411 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);

1412

1415 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1416

1417 return _internal_coefficients();

1418}

1420 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1421 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);

1422

1423 ::google::protobuf::internal::TSanWrite(&_impl_);

1424 return _internal_mutable_coefficients();

1425}

1426inline const ::google::protobuf::RepeatedField<::int64_t>&

1427LinearObjective::_internal_coefficients() const {

1428 ::google::protobuf::internal::TSanRead(&_impl_);

1429 return _impl_.coefficients_;

1430}

1431inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL

1432LinearObjective::_internal_mutable_coefficients() {

1433 ::google::protobuf::internal::TSanRead(&_impl_);

1434 return &_impl_.coefficients_;

1435}

1436

1437

1439 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000004U);

1440 return value;

1441}

1443 ::google::protobuf::internal::TSanWrite(&_impl_);

1445 ClearHasBit(_impl_._has_bits_[0],

1446 0x00000004U);

1449

1450 return _internal_offset();

1453 _internal_set_offset(value);

1454 SetHasBit(_impl_._has_bits_[0], 0x00000004U);

1455

1456}

1457inline double LinearObjective::_internal_offset() const {

1458 ::google::protobuf::internal::TSanRead(&_impl_);

1459 return _impl_.offset_;

1460}

1461inline void LinearObjective::_internal_set_offset(double value) {

1462 ::google::protobuf::internal::TSanWrite(&_impl_);

1463 _impl_.offset_ = value;

1464}

1465

1466

1468 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000008U);

1469 return value;

1470}

1472 ::google::protobuf::internal::TSanWrite(&_impl_);

1473 _impl_.scaling_factor_ = 1;

1474 ClearHasBit(_impl_._has_bits_[0],

1475 0x00000008U);

1478

1479 return _internal_scaling_factor();

1482 _internal_set_scaling_factor(value);

1483 SetHasBit(_impl_._has_bits_[0], 0x00000008U);

1484

1485}

1486inline double LinearObjective::_internal_scaling_factor() const {

1487 ::google::protobuf::internal::TSanRead(&_impl_);

1488 return _impl_.scaling_factor_;

1489}

1490inline void LinearObjective::_internal_set_scaling_factor(double value) {

1491 ::google::protobuf::internal::TSanWrite(&_impl_);

1492 _impl_.scaling_factor_ = value;

1493}

1494

1495

1496

1497

1498

1499

1500inline int BooleanAssignment::_internal_literals_size() const {

1501 return _internal_literals().size();

1502}

1504 return _internal_literals_size();

1505}

1507 ::google::protobuf::internal::TSanWrite(&_impl_);

1508 _impl_.literals_.Clear();

1509 ClearHasBitForRepeated(_impl_._has_bits_[0],

1510 0x00000001U);

1511}

1513

1514 return _internal_literals().Get(index);

1515}

1517 _internal_mutable_literals()->Set(index, value);

1518

1519}

1521 ::google::protobuf::internal::TSanWrite(&_impl_);

1522 _internal_mutable_literals()->Add(value);

1523 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);

1524

1525}

1527 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1528

1529 return _internal_literals();

1532 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1533 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);

1534

1535 ::google::protobuf::internal::TSanWrite(&_impl_);

1536 return _internal_mutable_literals();

1537}

1538inline const ::google::protobuf::RepeatedField<::int32_t>&

1539BooleanAssignment::_internal_literals() const {

1540 ::google::protobuf::internal::TSanRead(&_impl_);

1542}

1543inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL

1544BooleanAssignment::_internal_mutable_literals() {

1545 ::google::protobuf::internal::TSanRead(&_impl_);

1546 return &_impl_.literals_;

1547}

1548

1549

1550

1551

1552

1553

1555 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000004U);

1556 return value;

1557}

1559 ::google::protobuf::internal::TSanWrite(&_impl_);

1560 _impl_.name_.ClearToEmpty();

1561 ClearHasBit(_impl_._has_bits_[0],

1562 0x00000004U);

1563}

1565 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1566

1567 return _internal_name();

1568}

1569template <typename Arg_, typename... Args_>

1571 ::google::protobuf::internal::TSanWrite(&_impl_);

1572 SetHasBit(_impl_._has_bits_[0], 0x00000004U);

1573 _impl_.name_.Set(static_cast<Arg_&&>(arg), args..., GetArena());

1574

1577 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1578 SetHasBit(_impl_._has_bits_[0], 0x00000004U);

1579 ::std::string* _s = _internal_mutable_name();

1580

1582}

1583inline const ::std::string& LinearBooleanProblem::_internal_name() const {

1584 ::google::protobuf::internal::TSanRead(&_impl_);

1585 return _impl_.name_.Get();

1586}

1587inline void LinearBooleanProblem::_internal_set_name(const ::std::string& value) {

1588 ::google::protobuf::internal::TSanWrite(&_impl_);

1589 _impl_.name_.Set(value, GetArena());

1590}

1591inline ::std::string* PROTOBUF_NONNULL LinearBooleanProblem::_internal_mutable_name() {

1592 ::google::protobuf::internal::TSanWrite(&_impl_);

1593 return _impl_.name_.Mutable( GetArena());

1594}

1596 ::google::protobuf::internal::TSanWrite(&_impl_);

1597

1598 if (!CheckHasBit(_impl_._has_bits_[0], 0x00000004U)) {

1599 return nullptr;

1600 }

1601 ClearHasBit(_impl_._has_bits_[0], 0x00000004U);

1602 auto* released = _impl_.name_.Release();

1603 if (::google::protobuf::internal::DebugHardenForceCopyDefaultString()) {

1604 _impl_.name_.Set("", GetArena());

1605 }

1606 return released;

1607}

1609 ::google::protobuf::internal::TSanWrite(&_impl_);

1610 if (value != nullptr) {

1611 SetHasBit(_impl_._has_bits_[0], 0x00000004U);

1612 } else {

1613 ClearHasBit(_impl_._has_bits_[0], 0x00000004U);

1614 }

1615 _impl_.name_.SetAllocated(value, GetArena());

1616 if (::google::protobuf::internal::DebugHardenForceCopyDefaultString() && _impl_.name_.IsDefault()) {

1617 _impl_.name_.Set("", GetArena());

1618 }

1619

1620}

1621

1622

1624 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000020U);

1625 return value;

1626}

1628 ::google::protobuf::internal::TSanWrite(&_impl_);

1629 _impl_.num_variables_ = 0;

1630 ClearHasBit(_impl_._has_bits_[0],

1631 0x00000020U);

1632}

1634

1635 return _internal_num_variables();

1636}

1638 _internal_set_num_variables(value);

1639 SetHasBit(_impl_._has_bits_[0], 0x00000020U);

1640

1641}

1642inline ::int32_t LinearBooleanProblem::_internal_num_variables() const {

1643 ::google::protobuf::internal::TSanRead(&_impl_);

1645}

1646inline void LinearBooleanProblem::_internal_set_num_variables(::int32_t value) {

1647 ::google::protobuf::internal::TSanWrite(&_impl_);

1649}

1650

1651

1652inline int LinearBooleanProblem::_internal_constraints_size() const {

1653 return _internal_constraints().size();

1654}

1656 return _internal_constraints_size();

1657}

1659 ::google::protobuf::internal::TSanWrite(&_impl_);

1660 _impl_.constraints_.Clear();

1661 ClearHasBitForRepeated(_impl_._has_bits_[0],

1662 0x00000001U);

1663}

1665 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1666

1667 return _internal_mutable_constraints()->Mutable(index);

1668}

1670 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1671 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);

1672

1673 ::google::protobuf::internal::TSanWrite(&_impl_);

1674 return _internal_mutable_constraints();

1677 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1678

1679 return _internal_constraints().Get(index);

1682 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1683 ::google::protobuf::internal::TSanWrite(&_impl_);

1685 _internal_mutable_constraints()->InternalAddWithArena(

1686 ::google::protobuf::MessageLite::internal_visibility(), GetArena());

1687 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);

1688

1689 return _add;

1690}

1691inline const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>& LinearBooleanProblem::constraints() const

1692 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1693

1694 return _internal_constraints();

1695}

1696inline const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>&

1697LinearBooleanProblem::_internal_constraints() const {

1698 ::google::protobuf::internal::TSanRead(&_impl_);

1699 return _impl_.constraints_;

1700}

1701inline ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint>* PROTOBUF_NONNULL

1702LinearBooleanProblem::_internal_mutable_constraints() {

1703 ::google::protobuf::internal::TSanRead(&_impl_);

1704 return &_impl_.constraints_;

1705}

1706

1707

1709 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000008U);

1710 PROTOBUF_ASSUME(!value || _impl_.objective_ != nullptr);

1711 return value;

1712}

1714 ::google::protobuf::internal::TSanWrite(&_impl_);

1716 ClearHasBit(_impl_._has_bits_[0],

1717 0x00000008U);

1718}

1719inline const ::operations_research::sat::LinearObjective& LinearBooleanProblem::_internal_objective() const {

1720 ::google::protobuf::internal::TSanRead(&_impl_);

1721 const ::operations_research::sat::LinearObjective* p = _impl_.objective_;

1723}

1725

1726 return _internal_objective();

1727}

1730 ::google::protobuf::internal::TSanWrite(&_impl_);

1731 if (GetArena() == nullptr) {

1732 delete reinterpret_cast<::google::protobuf::MessageLite*>(_impl_.objective_);

1733 }

1735 if (value != nullptr) {

1736 SetHasBit(_impl_._has_bits_[0], 0x00000008U);

1737 } else {

1738 ClearHasBit(_impl_._has_bits_[0], 0x00000008U);

1740

1741}

1743 ::google::protobuf::internal::TSanWrite(&_impl_);

1744

1745 ClearHasBit(_impl_._has_bits_[0], 0x00000008U);

1747 _impl_.objective_ = nullptr;

1748 if (::google::protobuf::internal::DebugHardenForceCopyInRelease()) {

1749 auto* old = reinterpret_cast<::google::protobuf::MessageLite*>(released);

1750 released = ::google::protobuf::internal::DuplicateIfNonNull(released);

1751 if (GetArena() == nullptr) {

1752 delete old;

1754 } else {

1755 if (GetArena() != nullptr) {

1756 released = ::google::protobuf::internal::DuplicateIfNonNull(released);

1757 }

1758 }

1759 return released;

1760}

1762 ::google::protobuf::internal::TSanWrite(&_impl_);

1763

1764

1765 ClearHasBit(_impl_._has_bits_[0], 0x00000008U);

1766 ::operations_research::sat::LinearObjective* temp = _impl_.objective_;

1767 _impl_.objective_ = nullptr;

1768 return temp;

1769}

1770inline ::operations_research::sat::LinearObjective* PROTOBUF_NONNULL LinearBooleanProblem::_internal_mutable_objective() {

1771 ::google::protobuf::internal::TSanWrite(&_impl_);

1773 auto* p = ::google::protobuf::Message::DefaultConstruct<::operations_research::sat::LinearObjective>(GetArena());

1775 }

1776 return _impl_.objective_;

1777}

1779 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1780 SetHasBit(_impl_._has_bits_[0], 0x00000008U);

1782

1783 return _msg;

1784}

1786 ::google::protobuf::Arena* message_arena = GetArena();

1787 ::google::protobuf::internal::TSanWrite(&_impl_);

1788 if (message_arena == nullptr) {

1789 delete reinterpret_cast<::google::protobuf::MessageLite*>(_impl_.objective_);

1790 }

1791

1792 if (value != nullptr) {

1793 ::google::protobuf::Arena* submessage_arena = value->GetArena();

1794 if (message_arena != submessage_arena) {

1795 value = ::google::protobuf::internal::GetOwnedMessage(message_arena, value, submessage_arena);

1797 SetHasBit(_impl_._has_bits_[0], 0x00000008U);

1798 } else {

1799 ClearHasBit(_impl_._has_bits_[0], 0x00000008U);

1800 }

1801

1803

1804}

1805

1806

1807inline int LinearBooleanProblem::_internal_var_names_size() const {

1808 return _internal_var_names().size();

1809}

1811 return _internal_var_names_size();

1812}

1814 ::google::protobuf::internal::TSanWrite(&_impl_);

1815 _impl_.var_names_.Clear();

1816 ClearHasBitForRepeated(_impl_._has_bits_[0],

1817 0x00000002U);

1818}

1820 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1821 ::google::protobuf::internal::TSanWrite(&_impl_);

1822 ::std::string* _s =

1823 _internal_mutable_var_names()->InternalAddWithArena(

1824 ::google::protobuf::MessageLite::internal_visibility(), GetArena());

1825 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);

1826

1827 return _s;

1828}

1830 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1831

1832 return _internal_var_names().Get(index);

1833}

1835 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1836

1837 return _internal_mutable_var_names()->Mutable(index);

1838}

1839template <typename Arg_, typename... Args_>

1841 ::google::protobuf::internal::AssignToString(*_internal_mutable_var_names()->Mutable(index), ::std::forward<Arg_>(value),

1842 args... );

1843

1844}

1845template <typename Arg_, typename... Args_>

1847 ::google::protobuf::internal::TSanWrite(&_impl_);

1848 ::google::protobuf::internal::AddToRepeatedPtrField(

1849 ::google::protobuf::MessageLite::internal_visibility(), GetArena(),

1850 *_internal_mutable_var_names(), ::std::forward<Arg_>(value),

1852 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);

1853

1854}

1856 const ABSL_ATTRIBUTE_LIFETIME_BOUND {

1857

1858 return _internal_var_names();

1859}

1860inline ::google::protobuf::RepeatedPtrField<::std::string>* PROTOBUF_NONNULL

1862 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);

1863

1864 ::google::protobuf::internal::TSanWrite(&_impl_);

1865 return _internal_mutable_var_names();

1867inline const ::google::protobuf::RepeatedPtrField<::std::string>&

1868LinearBooleanProblem::_internal_var_names() const {

1869 ::google::protobuf::internal::TSanRead(&_impl_);

1870 return _impl_.var_names_;

1871}

1872inline ::google::protobuf::RepeatedPtrField<::std::string>* PROTOBUF_NONNULL

1873LinearBooleanProblem::_internal_mutable_var_names() {

1874 ::google::protobuf::internal::TSanRead(&_impl_);

1875 return &_impl_.var_names_;

1876}

1877

1878

1880 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000010U);

1881 PROTOBUF_ASSUME(!value || _impl_.assignment_ != nullptr);

1882 return value;

1883}

1885 ::google::protobuf::internal::TSanWrite(&_impl_);

1887 ClearHasBit(_impl_._has_bits_[0],

1888 0x00000010U);

1889}

1890inline const ::operations_research::sat::BooleanAssignment& LinearBooleanProblem::_internal_assignment() const {

1891 ::google::protobuf::internal::TSanRead(&_impl_);

1892 const ::operations_research::sat::BooleanAssignment* p = _impl_.assignment_;

1894}

1896

1897 return _internal_assignment();

1898}

1901 ::google::protobuf::internal::TSanWrite(&_impl_);

1902 if (GetArena() == nullptr) {

1903 delete reinterpret_cast<::google::protobuf::MessageLite*>(_impl_.assignment_);

1904 }

1906 if (value != nullptr) {

1907 SetHasBit(_impl_._has_bits_[0], 0x00000010U);

1908 } else {

1909 ClearHasBit(_impl_._has_bits_[0], 0x00000010U);

1911

1912}

1914 ::google::protobuf::internal::TSanWrite(&_impl_);

1915

1916 ClearHasBit(_impl_._has_bits_[0], 0x00000010U);

1918 _impl_.assignment_ = nullptr;

1919 if (::google::protobuf::internal::DebugHardenForceCopyInRelease()) {

1920 auto* old = reinterpret_cast<::google::protobuf::MessageLite*>(released);

1921 released = ::google::protobuf::internal::DuplicateIfNonNull(released);

1922 if (GetArena() == nullptr) {

1923 delete old;

1925 } else {

1926 if (GetArena() != nullptr) {

1927 released = ::google::protobuf::internal::DuplicateIfNonNull(released);

1928 }

1929 }

1930 return released;

1931}

1933 ::google::protobuf::internal::TSanWrite(&_impl_);

1934

1935

1936 ClearHasBit(_impl_._has_bits_[0], 0x00000010U);

1937 ::operations_research::sat::BooleanAssignment* temp = _impl_.assignment_;

1938 _impl_.assignment_ = nullptr;

1939 return temp;

1940}

1941inline ::operations_research::sat::BooleanAssignment* PROTOBUF_NONNULL LinearBooleanProblem::_internal_mutable_assignment() {

1942 ::google::protobuf::internal::TSanWrite(&_impl_);

1943 if (_impl_.assignment_ == nullptr) {

1944 auto* p = ::google::protobuf::Message::DefaultConstruct<::operations_research::sat::BooleanAssignment>(GetArena());

1946 }

1947 return _impl_.assignment_;

1948}

1950 ABSL_ATTRIBUTE_LIFETIME_BOUND {

1951 SetHasBit(_impl_._has_bits_[0], 0x00000010U);

1953

1954 return _msg;

1955}

1957 ::google::protobuf::Arena* message_arena = GetArena();

1958 ::google::protobuf::internal::TSanWrite(&_impl_);

1959 if (message_arena == nullptr) {

1960 delete reinterpret_cast<::google::protobuf::MessageLite*>(_impl_.assignment_);

1961 }

1962

1963 if (value != nullptr) {

1964 ::google::protobuf::Arena* submessage_arena = value->GetArena();

1965 if (message_arena != submessage_arena) {

1966 value = ::google::protobuf::internal::GetOwnedMessage(message_arena, value, submessage_arena);

1968 SetHasBit(_impl_._has_bits_[0], 0x00000010U);

1969 } else {

1970 ClearHasBit(_impl_._has_bits_[0], 0x00000010U);

1971 }

1972

1974

1975}

1976

1977

1979 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000040U);

1980 return value;

1981}

1983 ::google::protobuf::internal::TSanWrite(&_impl_);

1984 _impl_.original_num_variables_ = 0;

1985 ClearHasBit(_impl_._has_bits_[0],

1986 0x00000040U);

1987}

1989

1990 return _internal_original_num_variables();

1991}

1993 _internal_set_original_num_variables(value);

1994 SetHasBit(_impl_._has_bits_[0], 0x00000040U);

1995

1996}

1997inline ::int32_t LinearBooleanProblem::_internal_original_num_variables() const {

1998 ::google::protobuf::internal::TSanRead(&_impl_);

1999 return _impl_.original_num_variables_;

2000}

2001inline void LinearBooleanProblem::_internal_set_original_num_variables(::int32_t value) {

2002 ::google::protobuf::internal::TSanWrite(&_impl_);

2003 _impl_.original_num_variables_ = value;

2004}

2005

2006#ifdef __GNUC__

2007#pragma GCC diagnostic pop

2008#endif

2009

2010

2011}

2012}

2013

2014

2015

2016

2017#include "google/protobuf/port_undef.inc"

2018

2019#endif

PROTOBUF_CONSTINITconst ::_pbi::DescriptorTable descriptor_table_ortools_2fsat_2fboolean_5fproblem_2eproto

LinearBooleanConstraint()

Definition boolean_problem.pb.h:338

LinearBooleanProblem()

Definition boolean_problem.pb.h:800

LinearObjective()

Definition boolean_problem.pb.h:93

void clear_literals()

Definition boolean_problem.pb.h:1516

static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor()

Definition boolean_problem.pb.h:643

friend class ::google::protobuf::MessageLite

Definition boolean_problem.pb.h:769

friend void swap(BooleanAssignment &a, BooleanAssignment &b)

Definition boolean_problem.pb.h:654

::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_literals()

Definition boolean_problem.pb.h:1541

int literals_size() const

Definition boolean_problem.pb.h:1513

BooleanAssignment & operator=(const BooleanAssignment &from)

Definition boolean_problem.pb.h:617

void add_literals(::int32_t value)

Definition boolean_problem.pb.h:1530

static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL descriptor()

Definition boolean_problem.pb.h:640

Impl_ _impl_

Definition boolean_problem.pb.h:789

static constexpr int kIndexInFileMessages

Definition boolean_problem.pb.h:653

ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL

inline ::google::protobuf::UnknownFieldSet *PROTOBUF_NONNULL mutable_unknown_fields() ABSL_ATTRIBUTE_LIFETIME_BOUND

Definition boolean_problem.pb.h:635

void Swap(BooleanAssignment *PROTOBUF_NONNULL other)

Definition boolean_problem.pb.h:655

BooleanAssignment()

Definition boolean_problem.pb.h:601

void MergeFrom(const BooleanAssignment &from)

Definition boolean_problem.pb.h:677

void CopyFrom(const BooleanAssignment &from)

bool IsInitialized() const

Definition boolean_problem.pb.h:684

::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)

Definition boolean_problem.pb.h:1526

const ::google::protobuf::RepeatedField<::int32_t > & literals() const

Definition boolean_problem.pb.h:1536

PROTOBUF_CONSTEXPR BooleanAssignment(::google::protobuf::internal::ConstantInitialized)

const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND

Definition boolean_problem.pb.h:631

::int32_t literals(int index) const

Definition boolean_problem.pb.h:1522

::size_t ByteSizeLong() const final

static const BooleanAssignment & default_instance()

Definition boolean_problem.pb.h:649

void set_coefficients(int index, ::int64_t value)

Definition boolean_problem.pb.h:1181

void set_allocated_name(::std::string *PROTOBUF_NULLABLE value)

Definition boolean_problem.pb.h:1327

bool IsInitialized() const

Definition boolean_problem.pb.h:421

friend class ::google::protobuf::MessageLite

Definition boolean_problem.pb.h:566

int literals_size() const

Definition boolean_problem.pb.h:1118

static const LinearBooleanConstraint & default_instance()

Definition boolean_problem.pb.h:386

void clear_literals()

Definition boolean_problem.pb.h:1121

::std::string *PROTOBUF_NULLABLE release_name()

Definition boolean_problem.pb.h:1314

ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL

int coefficients_size() const

Definition boolean_problem.pb.h:1168

PROTOBUF_CONSTEXPR LinearBooleanConstraint(::google::protobuf::internal::ConstantInitialized)

void set_upper_bound(::int64_t value)

Definition boolean_problem.pb.h:1258

static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor()

Definition boolean_problem.pb.h:380

void set_literals(int index, ::int32_t value)

Definition boolean_problem.pb.h:1131

::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_coefficients()

Definition boolean_problem.pb.h:1196

void set_name(Arg_ &&arg, Args_... args)

static const ::google::protobuf::Reflection *PROTOBUF_NONNULL GetReflection()

Definition boolean_problem.pb.h:383

void set_lower_bound(::int64_t value)

Definition boolean_problem.pb.h:1229

void clear_coefficients()

Definition boolean_problem.pb.h:1171

::int32_t literals(int index) const

Definition boolean_problem.pb.h:1127

bool has_name() const

Definition boolean_problem.pb.h:1273

::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_literals()

Definition boolean_problem.pb.h:1146

void CopyFrom(const LinearBooleanConstraint &from)

@ kLowerBoundFieldNumber

Definition boolean_problem.pb.h:480

@ kUpperBoundFieldNumber

Definition boolean_problem.pb.h:481

bool has_lower_bound() const

Definition boolean_problem.pb.h:1215

const ::std::string & name() const

Definition boolean_problem.pb.h:1283

const ::google::protobuf::RepeatedField<::int32_t > & literals() const

Definition boolean_problem.pb.h:1141

::int64_t lower_bound() const

Definition boolean_problem.pb.h:1225

void clear_name()

Definition boolean_problem.pb.h:1277

bool has_upper_bound() const

Definition boolean_problem.pb.h:1244

void clear_upper_bound()

Definition boolean_problem.pb.h:1248

const ::google::protobuf::RepeatedField<::int64_t > & coefficients() const

Definition boolean_problem.pb.h:1191

LinearBooleanConstraint & operator=(const LinearBooleanConstraint &from)

Definition boolean_problem.pb.h:354

::int64_t upper_bound() const

Definition boolean_problem.pb.h:1254

LinearBooleanConstraint()

Definition boolean_problem.pb.h:338

void add_literals(::int32_t value)

Definition boolean_problem.pb.h:1135

void clear_lower_bound()

Definition boolean_problem.pb.h:1219

void Swap(LinearBooleanConstraint *PROTOBUF_NONNULL other)

Definition boolean_problem.pb.h:392

::int64_t coefficients(int index) const

Definition boolean_problem.pb.h:1177

::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)

Definition boolean_problem.pb.h:414

Impl_ _impl_

Definition boolean_problem.pb.h:590

const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND

Definition boolean_problem.pb.h:368

::std::string *PROTOBUF_NONNULL mutable_name()

Definition boolean_problem.pb.h:1295

void add_coefficients(::int64_t value)

Definition boolean_problem.pb.h:1185

::operations_research::sat::BooleanAssignment *PROTOBUF_NONNULL mutable_assignment()

Definition boolean_problem.pb.h:1960

void set_name(Arg_ &&arg, Args_... args)

bool has_objective() const

Definition boolean_problem.pb.h:1719

::operations_research::sat::LinearBooleanConstraint *PROTOBUF_NONNULL add_constraints()

Definition boolean_problem.pb.h:1692

const ::operations_research::sat::LinearBooleanConstraint & constraints(int index) const

Definition boolean_problem.pb.h:1687

::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE release_objective()

Definition boolean_problem.pb.h:1753

void clear_objective()

Definition boolean_problem.pb.h:1724

const ::operations_research::sat::LinearObjective & objective() const

Definition boolean_problem.pb.h:1735

void CopyFrom(const LinearBooleanProblem &from)

::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE unsafe_arena_release_assignment()

Definition boolean_problem.pb.h:1943

void MergeFrom(const LinearBooleanProblem &from)

Definition boolean_problem.pb.h:876

void clear_num_variables()

Definition boolean_problem.pb.h:1638

::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint > *PROTOBUF_NONNULL mutable_constraints()

Definition boolean_problem.pb.h:1680

void clear_assignment()

Definition boolean_problem.pb.h:1895

bool IsInitialized() const

Definition boolean_problem.pb.h:883

void set_num_variables(::int32_t value)

Definition boolean_problem.pb.h:1648

void set_allocated_name(::std::string *PROTOBUF_NULLABLE value)

Definition boolean_problem.pb.h:1619

::google::protobuf::RepeatedPtrField<::std::string > *PROTOBUF_NONNULL mutable_var_names()

Definition boolean_problem.pb.h:1872

const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LinearBooleanConstraint > & constraints() const

Definition boolean_problem.pb.h:1702

const ::google::protobuf::RepeatedPtrField<::std::string > & var_names() const

Definition boolean_problem.pb.h:1866

void set_allocated_objective(::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE value)

Definition boolean_problem.pb.h:1796

bool has_assignment() const

Definition boolean_problem.pb.h:1890

const ::std::string & name() const

Definition boolean_problem.pb.h:1575

::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE release_assignment()

Definition boolean_problem.pb.h:1924

::int32_t original_num_variables() const

Definition boolean_problem.pb.h:1999

void Swap(LinearBooleanProblem *PROTOBUF_NONNULL other)

Definition boolean_problem.pb.h:854

::std::string *PROTOBUF_NONNULL mutable_var_names(int index)

Definition boolean_problem.pb.h:1845

Impl_ _impl_

Definition boolean_problem.pb.h:1089

void set_var_names(int index, Arg_ &&value, Args_... args)

Definition boolean_problem.pb.h:1851

::std::string *PROTOBUF_NONNULL mutable_name()

Definition boolean_problem.pb.h:1587

@ kNumVariablesFieldNumber

Definition boolean_problem.pb.h:944

@ kOriginalNumVariablesFieldNumber

Definition boolean_problem.pb.h:945

void clear_original_num_variables()

Definition boolean_problem.pb.h:1993

int constraints_size() const

Definition boolean_problem.pb.h:1666

::std::string *PROTOBUF_NONNULL add_var_names()

Definition boolean_problem.pb.h:1830

void set_allocated_assignment(::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE value)

Definition boolean_problem.pb.h:1967

LinearBooleanProblem()

Definition boolean_problem.pb.h:800

const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND

Definition boolean_problem.pb.h:830

const ::std::string & var_names(int index) const

Definition boolean_problem.pb.h:1840

::std::string *PROTOBUF_NULLABLE release_name()

Definition boolean_problem.pb.h:1606

void unsafe_arena_set_allocated_objective(::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE value)

Definition boolean_problem.pb.h:1739

void clear_constraints()

Definition boolean_problem.pb.h:1669

bool has_num_variables() const

Definition boolean_problem.pb.h:1634

::int32_t num_variables() const

Definition boolean_problem.pb.h:1644

int var_names_size() const

Definition boolean_problem.pb.h:1821

::uint8_t *PROTOBUF_NONNULL _InternalSerialize(::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final

::operations_research::sat::LinearObjective *PROTOBUF_NULLABLE unsafe_arena_release_objective()

Definition boolean_problem.pb.h:1772

::operations_research::sat::LinearObjective *PROTOBUF_NONNULL mutable_objective()

Definition boolean_problem.pb.h:1789

LinearBooleanProblem & operator=(const LinearBooleanProblem &from)

Definition boolean_problem.pb.h:816

static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL descriptor()

Definition boolean_problem.pb.h:839

static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor()

Definition boolean_problem.pb.h:842

::operations_research::sat::LinearBooleanConstraint *PROTOBUF_NONNULL mutable_constraints(int index)

Definition boolean_problem.pb.h:1675

::size_t ByteSizeLong() const final

bool has_name() const

Definition boolean_problem.pb.h:1565

void unsafe_arena_set_allocated_assignment(::operations_research::sat::BooleanAssignment *PROTOBUF_NULLABLE value)

Definition boolean_problem.pb.h:1910

const ::operations_research::sat::BooleanAssignment & assignment() const

Definition boolean_problem.pb.h:1906

void set_original_num_variables(::int32_t value)

Definition boolean_problem.pb.h:2003

LinearBooleanProblem *PROTOBUF_NONNULL New(::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const

Definition boolean_problem.pb.h:870

void clear_var_names()

Definition boolean_problem.pb.h:1824

bool has_original_num_variables() const

Definition boolean_problem.pb.h:1989

friend void swap(LinearBooleanProblem &a, LinearBooleanProblem &b)

Definition boolean_problem.pb.h:853

void clear_name()

Definition boolean_problem.pb.h:1569

friend class ::google::protobuf::MessageLite

Definition boolean_problem.pb.h:304

const ::google::protobuf::RepeatedField<::int32_t > & literals() const

Definition boolean_problem.pb.h:1373

LinearObjective()

Definition boolean_problem.pb.h:93

int literals_size() const

Definition boolean_problem.pb.h:1350

Impl_ _impl_

Definition boolean_problem.pb.h:327

bool has_scaling_factor() const

Definition boolean_problem.pb.h:1476

void clear_offset()

Definition boolean_problem.pb.h:1451

const ::google::protobuf::RepeatedField<::int64_t > & coefficients() const

Definition boolean_problem.pb.h:1423

void add_literals(::int32_t value)

Definition boolean_problem.pb.h:1367

bool has_offset() const

Definition boolean_problem.pb.h:1447

void clear_coefficients()

Definition boolean_problem.pb.h:1403

const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND

Definition boolean_problem.pb.h:123

void set_literals(int index, ::int32_t value)

Definition boolean_problem.pb.h:1363

void add_coefficients(::int64_t value)

Definition boolean_problem.pb.h:1417

void clear_scaling_factor()

Definition boolean_problem.pb.h:1480

::int64_t coefficients(int index) const

Definition boolean_problem.pb.h:1409

void clear_literals()

Definition boolean_problem.pb.h:1353

void set_scaling_factor(double value)

Definition boolean_problem.pb.h:1490

::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_literals()

Definition boolean_problem.pb.h:1378

double scaling_factor() const

Definition boolean_problem.pb.h:1486

::int32_t literals(int index) const

Definition boolean_problem.pb.h:1359

::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_coefficients()

Definition boolean_problem.pb.h:1428

LinearObjective(const LinearObjective &from)

Definition boolean_problem.pb.h:106

PROTOBUF_CONSTEXPR LinearObjective(::google::protobuf::internal::ConstantInitialized)

ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL

@ kOffsetFieldNumber

Definition boolean_problem.pb.h:234

@ kScalingFactorFieldNumber

Definition boolean_problem.pb.h:235

void CopyFrom(const LinearObjective &from)

double offset() const

Definition boolean_problem.pb.h:1457

void Swap(LinearObjective *PROTOBUF_NONNULL other)

Definition boolean_problem.pb.h:147

void set_coefficients(int index, ::int64_t value)

Definition boolean_problem.pb.h:1413

void set_offset(double value)

Definition boolean_problem.pb.h:1461

bool IsInitialized() const

Definition boolean_problem.pb.h:176

int coefficients_size() const

Definition boolean_problem.pb.h:1400

LinearObjective & operator=(const LinearObjective &from)

Definition boolean_problem.pb.h:109

::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_