Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
lrat.pb.h
Go to the documentation of this file.
1// Generated by the protocol buffer compiler. DO NOT EDIT!
2// NO CHECKED-IN PROTOBUF GENCODE
3// source: ortools/sat/lrat.proto
4// Protobuf C++ Version: 6.33.1
5
6#ifndef ortools_2fsat_2flrat_2eproto_2epb_2eh
7#define ortools_2fsat_2flrat_2eproto_2epb_2eh
8
9#include <limits>
10#include <string>
11#include <type_traits>
12#include <utility>
13
14#include "google/protobuf/runtime_version.h"
15#if PROTOBUF_VERSION != 6033001
16#error "Protobuf C++ gencode is built with an incompatible version of"
17#error "Protobuf C++ headers/runtime. See"
18#error "https://protobuf.dev/support/cross-version-runtime-guarantee/#cpp"
19#endif
20#include "google/protobuf/io/coded_stream.h"
21#include "google/protobuf/arena.h"
22#include "google/protobuf/arenastring.h"
23#include "google/protobuf/generated_message_tctable_decl.h"
24#include "google/protobuf/generated_message_util.h"
25#include "google/protobuf/metadata_lite.h"
26#include "google/protobuf/generated_message_reflection.h"
27#include "google/protobuf/message.h"
28#include "google/protobuf/message_lite.h"
29#include "google/protobuf/repeated_field.h" // IWYU pragma: export
30#include "google/protobuf/extension_set.h" // IWYU pragma: export
31#include "google/protobuf/unknown_field_set.h"
32// @@protoc_insertion_point(includes)
33
34// Must be included last.
35#include "google/protobuf/port_def.inc"
36
37#define PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2flrat_2eproto OR_PROTO_DLL
38
39namespace google {
40namespace protobuf {
41namespace internal {
42template <typename T>
43::absl::string_view GetAnyMessageName();
44} // namespace internal
45} // namespace protobuf
46} // namespace google
47
48// Internal implementation detail -- do not use these members.
49struct OR_PROTO_DLL TableStruct_ortools_2fsat_2flrat_2eproto {
50 static const ::uint32_t offsets[];
51};
52extern "C" {
53OR_PROTO_DLL extern const ::google::protobuf::internal::DescriptorTable descriptor_table_ortools_2fsat_2flrat_2eproto;
54} // extern "C"
55namespace operations_research {
56namespace sat {
57class LratDeletedClauses;
58struct LratDeletedClausesDefaultTypeInternal;
59OR_PROTO_DLL extern LratDeletedClausesDefaultTypeInternal _LratDeletedClauses_default_instance_;
60OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LratDeletedClauses_class_data_;
61class LratExportedClause;
62struct LratExportedClauseDefaultTypeInternal;
63OR_PROTO_DLL extern LratExportedClauseDefaultTypeInternal _LratExportedClause_default_instance_;
64OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LratExportedClause_class_data_;
65class LratImportedClause;
66struct LratImportedClauseDefaultTypeInternal;
67OR_PROTO_DLL extern LratImportedClauseDefaultTypeInternal _LratImportedClause_default_instance_;
68OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LratImportedClause_class_data_;
69class LratInferredClause;
70struct LratInferredClauseDefaultTypeInternal;
71OR_PROTO_DLL extern LratInferredClauseDefaultTypeInternal _LratInferredClause_default_instance_;
72OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LratInferredClause_class_data_;
73class LratInferredClause_RatInfo;
74struct LratInferredClause_RatInfoDefaultTypeInternal;
75OR_PROTO_DLL extern LratInferredClause_RatInfoDefaultTypeInternal _LratInferredClause_RatInfo_default_instance_;
76OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LratInferredClause_RatInfo_class_data_;
77class LratProofStep;
78struct LratProofStepDefaultTypeInternal;
79OR_PROTO_DLL extern LratProofStepDefaultTypeInternal _LratProofStep_default_instance_;
80OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LratProofStep_class_data_;
81} // namespace sat
82} // namespace operations_research
83namespace google {
84namespace protobuf {
85} // namespace protobuf
86} // namespace google
87
88namespace operations_research {
89namespace sat {
90
91// ===================================================================
92
93
94// -------------------------------------------------------------------
95
96class OR_PROTO_DLL LratInferredClause_RatInfo final : public ::google::protobuf::Message
97/* @@protoc_insertion_point(class_definition:operations_research.sat.LratInferredClause.RatInfo) */ {
98 public:
99 inline LratInferredClause_RatInfo() : LratInferredClause_RatInfo(nullptr) {}
100 ~LratInferredClause_RatInfo() PROTOBUF_FINAL;
101
102#if defined(PROTOBUF_CUSTOM_VTABLE)
103 void operator delete(LratInferredClause_RatInfo* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {
104 SharedDtor(*msg);
105 ::google::protobuf::internal::SizedDelete(msg, sizeof(LratInferredClause_RatInfo));
106 }
107#endif
108
109 template <typename = void>
110 explicit PROTOBUF_CONSTEXPR LratInferredClause_RatInfo(::google::protobuf::internal::ConstantInitialized);
111
112 inline LratInferredClause_RatInfo(const LratInferredClause_RatInfo& from) : LratInferredClause_RatInfo(nullptr, from) {}
113 inline LratInferredClause_RatInfo(LratInferredClause_RatInfo&& from) noexcept
114 : LratInferredClause_RatInfo(nullptr, ::std::move(from)) {}
117 return *this;
118 }
119 inline LratInferredClause_RatInfo& operator=(LratInferredClause_RatInfo&& from) noexcept {
120 if (this == &from) return *this;
121 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
122 InternalSwap(&from);
123 } else {
124 CopyFrom(from);
125 }
126 return *this;
127 }
128
129 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const
130 ABSL_ATTRIBUTE_LIFETIME_BOUND {
131 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);
132 }
133 inline ::google::protobuf::UnknownFieldSet* PROTOBUF_NONNULL mutable_unknown_fields()
134 ABSL_ATTRIBUTE_LIFETIME_BOUND {
135 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();
136 }
137
138 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {
139 return GetDescriptor();
140 }
141 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {
142 return default_instance().GetMetadata().descriptor;
143 }
144 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {
145 return default_instance().GetMetadata().reflection;
146 }
147 static const LratInferredClause_RatInfo& default_instance() {
148 return *reinterpret_cast<const LratInferredClause_RatInfo*>(
149 &_LratInferredClause_RatInfo_default_instance_);
150 }
151 static constexpr int kIndexInFileMessages = 1;
152 friend void swap(LratInferredClause_RatInfo& a, LratInferredClause_RatInfo& b) { a.Swap(&b); }
153 inline void Swap(LratInferredClause_RatInfo* PROTOBUF_NONNULL other) {
154 if (other == this) return;
155 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
156 InternalSwap(other);
157 } else {
158 ::google::protobuf::internal::GenericSwap(this, other);
159 }
160 }
161 void UnsafeArenaSwap(LratInferredClause_RatInfo* PROTOBUF_NONNULL other) {
162 if (other == this) return;
163 ABSL_DCHECK(GetArena() == other->GetArena());
164 InternalSwap(other);
165 }
166
167 // implements Message ----------------------------------------------
168
169 LratInferredClause_RatInfo* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena = nullptr) const {
170 return ::google::protobuf::Message::DefaultConstruct<LratInferredClause_RatInfo>(arena);
171 }
172 using ::google::protobuf::Message::CopyFrom;
173 void CopyFrom(const LratInferredClause_RatInfo& from);
174 using ::google::protobuf::Message::MergeFrom;
175 void MergeFrom(const LratInferredClause_RatInfo& from) { LratInferredClause_RatInfo::MergeImpl(*this, from); }
176
177 private:
178 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
179 const ::google::protobuf::MessageLite& from_msg);
180
181 public:
182 bool IsInitialized() const {
183 return true;
184 }
185 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;
186 #if defined(PROTOBUF_CUSTOM_VTABLE)
187 private:
188 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);
189 static ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
190 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,
191 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);
192
193 public:
194 ::size_t ByteSizeLong() const { return ByteSizeLong(*this); }
195 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
196 ::uint8_t* PROTOBUF_NONNULL target,
197 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {
198 return _InternalSerialize(*this, target, stream);
199 }
200 #else // PROTOBUF_CUSTOM_VTABLE
201 ::size_t ByteSizeLong() const final;
202 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
203 ::uint8_t* PROTOBUF_NONNULL target,
204 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;
205 #endif // PROTOBUF_CUSTOM_VTABLE
206 int GetCachedSize() const { return _impl_._cached_size_.Get(); }
207
208 private:
209 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
210 static void SharedDtor(MessageLite& self);
211 void InternalSwap(LratInferredClause_RatInfo* PROTOBUF_NONNULL other);
212 private:
213 template <typename T>
214 friend ::absl::string_view(::google::protobuf::internal::GetAnyMessageName)();
215 static ::absl::string_view FullMessageName() { return "operations_research.sat.LratInferredClause.RatInfo"; }
216
217 explicit LratInferredClause_RatInfo(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
218 LratInferredClause_RatInfo(::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const LratInferredClause_RatInfo& from);
219 LratInferredClause_RatInfo(
220 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, LratInferredClause_RatInfo&& from) noexcept
221 : LratInferredClause_RatInfo(arena) {
222 *this = ::std::move(from);
223 }
224 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;
225 static void* PROTOBUF_NONNULL PlacementNew_(
226 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,
227 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
228 static constexpr auto InternalNewImpl_();
229
230 public:
231 static constexpr auto InternalGenerateClassData_();
232
233 ::google::protobuf::Metadata GetMetadata() const;
234 // nested types ----------------------------------------------------
235
236 // accessors -------------------------------------------------------
237 enum : int {
238 kUnitIdsFieldNumber = 2,
239 kResolvantIdFieldNumber = 1,
240 };
241 // repeated int64 unit_ids = 2 [packed = true];
242 int unit_ids_size() const;
243 private:
244 int _internal_unit_ids_size() const;
245
246 public:
247 void clear_unit_ids() ;
248 ::int64_t unit_ids(int index) const;
249 void set_unit_ids(int index, ::int64_t value);
250 void add_unit_ids(::int64_t value);
251 const ::google::protobuf::RepeatedField<::int64_t>& unit_ids() const;
252 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL mutable_unit_ids();
253
254 private:
255 const ::google::protobuf::RepeatedField<::int64_t>& _internal_unit_ids() const;
256 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL _internal_mutable_unit_ids();
257
258 public:
259 // optional int64 resolvant_id = 1;
260 bool has_resolvant_id() const;
261 void clear_resolvant_id() ;
262 ::int64_t resolvant_id() const;
263 void set_resolvant_id(::int64_t value);
264
265 private:
266 ::int64_t _internal_resolvant_id() const;
267 void _internal_set_resolvant_id(::int64_t value);
268
269 public:
270 // @@protoc_insertion_point(class_scope:operations_research.sat.LratInferredClause.RatInfo)
271 private:
272 class _Internal;
273 friend class ::google::protobuf::internal::TcParser;
274 static const ::google::protobuf::internal::TcParseTable<1, 2,
275 0, 0,
276 2>
277 _table_;
278
279 friend class ::google::protobuf::MessageLite;
280 friend class ::google::protobuf::Arena;
281 template <typename T>
282 friend class ::google::protobuf::Arena::InternalHelper;
283 using InternalArenaConstructable_ = void;
284 using DestructorSkippable_ = void;
285 struct Impl_ {
286 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;
287 inline explicit Impl_(
288 ::google::protobuf::internal::InternalVisibility visibility,
289 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
290 inline explicit Impl_(
291 ::google::protobuf::internal::InternalVisibility visibility,
292 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,
293 const LratInferredClause_RatInfo& from_msg);
294 ::google::protobuf::internal::HasBits<1> _has_bits_;
295 ::google::protobuf::internal::CachedSize _cached_size_;
296 ::google::protobuf::RepeatedField<::int64_t> unit_ids_;
297 ::google::protobuf::internal::CachedSize _unit_ids_cached_byte_size_;
298 ::int64_t resolvant_id_;
299 PROTOBUF_TSAN_DECLARE_MEMBER
300 };
301 union { Impl_ _impl_; };
302 friend struct ::TableStruct_ortools_2fsat_2flrat_2eproto;
303};
304
305OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LratInferredClause_RatInfo_class_data_;
306// -------------------------------------------------------------------
307
308class OR_PROTO_DLL LratImportedClause final : public ::google::protobuf::Message
309/* @@protoc_insertion_point(class_definition:operations_research.sat.LratImportedClause) */ {
310 public:
311 inline LratImportedClause() : LratImportedClause(nullptr) {}
312 ~LratImportedClause() PROTOBUF_FINAL;
313
314#if defined(PROTOBUF_CUSTOM_VTABLE)
315 void operator delete(LratImportedClause* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {
316 SharedDtor(*msg);
317 ::google::protobuf::internal::SizedDelete(msg, sizeof(LratImportedClause));
318 }
319#endif
320
321 template <typename = void>
322 explicit PROTOBUF_CONSTEXPR LratImportedClause(::google::protobuf::internal::ConstantInitialized);
323
324 inline LratImportedClause(const LratImportedClause& from) : LratImportedClause(nullptr, from) {}
325 inline LratImportedClause(LratImportedClause&& from) noexcept
326 : LratImportedClause(nullptr, ::std::move(from)) {}
327 inline LratImportedClause& operator=(const LratImportedClause& from) {
328 CopyFrom(from);
329 return *this;
330 }
331 inline LratImportedClause& operator=(LratImportedClause&& from) noexcept {
332 if (this == &from) return *this;
333 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
334 InternalSwap(&from);
335 } else {
336 CopyFrom(from);
337 }
338 return *this;
339 }
340
341 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const
342 ABSL_ATTRIBUTE_LIFETIME_BOUND {
343 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);
344 }
345 inline ::google::protobuf::UnknownFieldSet* PROTOBUF_NONNULL mutable_unknown_fields()
346 ABSL_ATTRIBUTE_LIFETIME_BOUND {
347 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();
348 }
349
350 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {
351 return GetDescriptor();
352 }
353 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {
354 return default_instance().GetMetadata().descriptor;
355 }
356 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {
357 return default_instance().GetMetadata().reflection;
358 }
359 static const LratImportedClause& default_instance() {
360 return *reinterpret_cast<const LratImportedClause*>(
361 &_LratImportedClause_default_instance_);
362 }
363 static constexpr int kIndexInFileMessages = 0;
364 friend void swap(LratImportedClause& a, LratImportedClause& b) { a.Swap(&b); }
365 inline void Swap(LratImportedClause* PROTOBUF_NONNULL other) {
366 if (other == this) return;
367 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
368 InternalSwap(other);
369 } else {
370 ::google::protobuf::internal::GenericSwap(this, other);
371 }
372 }
373 void UnsafeArenaSwap(LratImportedClause* PROTOBUF_NONNULL other) {
374 if (other == this) return;
375 ABSL_DCHECK(GetArena() == other->GetArena());
376 InternalSwap(other);
377 }
378
379 // implements Message ----------------------------------------------
380
381 LratImportedClause* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena = nullptr) const {
382 return ::google::protobuf::Message::DefaultConstruct<LratImportedClause>(arena);
383 }
384 using ::google::protobuf::Message::CopyFrom;
385 void CopyFrom(const LratImportedClause& from);
386 using ::google::protobuf::Message::MergeFrom;
387 void MergeFrom(const LratImportedClause& from) { LratImportedClause::MergeImpl(*this, from); }
388
389 private:
390 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
391 const ::google::protobuf::MessageLite& from_msg);
392
393 public:
394 bool IsInitialized() const {
395 return true;
396 }
397 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;
398 #if defined(PROTOBUF_CUSTOM_VTABLE)
399 private:
400 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);
401 static ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
402 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,
403 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);
404
405 public:
406 ::size_t ByteSizeLong() const { return ByteSizeLong(*this); }
407 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
408 ::uint8_t* PROTOBUF_NONNULL target,
409 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {
410 return _InternalSerialize(*this, target, stream);
411 }
412 #else // PROTOBUF_CUSTOM_VTABLE
413 ::size_t ByteSizeLong() const final;
414 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
415 ::uint8_t* PROTOBUF_NONNULL target,
416 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;
417 #endif // PROTOBUF_CUSTOM_VTABLE
418 int GetCachedSize() const { return _impl_._cached_size_.Get(); }
419
420 private:
421 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
422 static void SharedDtor(MessageLite& self);
423 void InternalSwap(LratImportedClause* PROTOBUF_NONNULL other);
424 private:
425 template <typename T>
426 friend ::absl::string_view(::google::protobuf::internal::GetAnyMessageName)();
427 static ::absl::string_view FullMessageName() { return "operations_research.sat.LratImportedClause"; }
428
429 explicit LratImportedClause(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
430 LratImportedClause(::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const LratImportedClause& from);
431 LratImportedClause(
432 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, LratImportedClause&& from) noexcept
433 : LratImportedClause(arena) {
434 *this = ::std::move(from);
435 }
436 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;
437 static void* PROTOBUF_NONNULL PlacementNew_(
438 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,
439 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
440 static constexpr auto InternalNewImpl_();
441
442 public:
443 static constexpr auto InternalGenerateClassData_();
444
445 ::google::protobuf::Metadata GetMetadata() const;
446 // nested types ----------------------------------------------------
447
448 // accessors -------------------------------------------------------
449 enum : int {
450 kLiteralsFieldNumber = 2,
451 kClauseIdFieldNumber = 1,
452 };
453 // repeated int32 literals = 2 [packed = true];
454 int literals_size() const;
455 private:
456 int _internal_literals_size() const;
457
458 public:
459 void clear_literals() ;
460 ::int32_t literals(int index) const;
461 void set_literals(int index, ::int32_t value);
462 void add_literals(::int32_t value);
463 const ::google::protobuf::RepeatedField<::int32_t>& literals() const;
464 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL mutable_literals();
465
466 private:
467 const ::google::protobuf::RepeatedField<::int32_t>& _internal_literals() const;
468 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL _internal_mutable_literals();
469
470 public:
471 // optional int64 clause_id = 1;
472 bool has_clause_id() const;
473 void clear_clause_id() ;
474 ::int64_t clause_id() const;
475 void set_clause_id(::int64_t value);
476
477 private:
478 ::int64_t _internal_clause_id() const;
479 void _internal_set_clause_id(::int64_t value);
480
481 public:
482 // @@protoc_insertion_point(class_scope:operations_research.sat.LratImportedClause)
483 private:
484 class _Internal;
485 friend class ::google::protobuf::internal::TcParser;
486 static const ::google::protobuf::internal::TcParseTable<1, 2,
487 0, 0,
488 2>
489 _table_;
490
491 friend class ::google::protobuf::MessageLite;
492 friend class ::google::protobuf::Arena;
493 template <typename T>
494 friend class ::google::protobuf::Arena::InternalHelper;
495 using InternalArenaConstructable_ = void;
496 using DestructorSkippable_ = void;
497 struct Impl_ {
498 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;
499 inline explicit Impl_(
500 ::google::protobuf::internal::InternalVisibility visibility,
501 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
502 inline explicit Impl_(
503 ::google::protobuf::internal::InternalVisibility visibility,
504 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,
505 const LratImportedClause& from_msg);
506 ::google::protobuf::internal::HasBits<1> _has_bits_;
507 ::google::protobuf::internal::CachedSize _cached_size_;
508 ::google::protobuf::RepeatedField<::int32_t> literals_;
509 ::google::protobuf::internal::CachedSize _literals_cached_byte_size_;
510 ::int64_t clause_id_;
511 PROTOBUF_TSAN_DECLARE_MEMBER
512 };
513 union { Impl_ _impl_; };
514 friend struct ::TableStruct_ortools_2fsat_2flrat_2eproto;
515};
516
517OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LratImportedClause_class_data_;
518// -------------------------------------------------------------------
519
520class OR_PROTO_DLL LratExportedClause final : public ::google::protobuf::Message
521/* @@protoc_insertion_point(class_definition:operations_research.sat.LratExportedClause) */ {
522 public:
523 inline LratExportedClause() : LratExportedClause(nullptr) {}
524 ~LratExportedClause() PROTOBUF_FINAL;
525
526#if defined(PROTOBUF_CUSTOM_VTABLE)
527 void operator delete(LratExportedClause* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {
528 SharedDtor(*msg);
529 ::google::protobuf::internal::SizedDelete(msg, sizeof(LratExportedClause));
530 }
531#endif
532
533 template <typename = void>
534 explicit PROTOBUF_CONSTEXPR LratExportedClause(::google::protobuf::internal::ConstantInitialized);
535
536 inline LratExportedClause(const LratExportedClause& from) : LratExportedClause(nullptr, from) {}
537 inline LratExportedClause(LratExportedClause&& from) noexcept
538 : LratExportedClause(nullptr, ::std::move(from)) {}
539 inline LratExportedClause& operator=(const LratExportedClause& from) {
540 CopyFrom(from);
541 return *this;
542 }
543 inline LratExportedClause& operator=(LratExportedClause&& from) noexcept {
544 if (this == &from) return *this;
545 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
546 InternalSwap(&from);
547 } else {
548 CopyFrom(from);
549 }
550 return *this;
551 }
552
553 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const
554 ABSL_ATTRIBUTE_LIFETIME_BOUND {
555 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);
556 }
557 inline ::google::protobuf::UnknownFieldSet* PROTOBUF_NONNULL mutable_unknown_fields()
558 ABSL_ATTRIBUTE_LIFETIME_BOUND {
559 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();
560 }
561
562 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {
563 return GetDescriptor();
564 }
565 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {
566 return default_instance().GetMetadata().descriptor;
567 }
568 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {
569 return default_instance().GetMetadata().reflection;
570 }
571 static const LratExportedClause& default_instance() {
572 return *reinterpret_cast<const LratExportedClause*>(
573 &_LratExportedClause_default_instance_);
574 }
575 static constexpr int kIndexInFileMessages = 3;
576 friend void swap(LratExportedClause& a, LratExportedClause& b) { a.Swap(&b); }
577 inline void Swap(LratExportedClause* PROTOBUF_NONNULL other) {
578 if (other == this) return;
579 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
580 InternalSwap(other);
581 } else {
582 ::google::protobuf::internal::GenericSwap(this, other);
583 }
584 }
585 void UnsafeArenaSwap(LratExportedClause* PROTOBUF_NONNULL other) {
586 if (other == this) return;
587 ABSL_DCHECK(GetArena() == other->GetArena());
588 InternalSwap(other);
589 }
590
591 // implements Message ----------------------------------------------
592
593 LratExportedClause* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena = nullptr) const {
594 return ::google::protobuf::Message::DefaultConstruct<LratExportedClause>(arena);
595 }
596 using ::google::protobuf::Message::CopyFrom;
597 void CopyFrom(const LratExportedClause& from);
598 using ::google::protobuf::Message::MergeFrom;
599 void MergeFrom(const LratExportedClause& from) { LratExportedClause::MergeImpl(*this, from); }
600
601 private:
602 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
603 const ::google::protobuf::MessageLite& from_msg);
604
605 public:
606 bool IsInitialized() const {
607 return true;
608 }
609 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;
610 #if defined(PROTOBUF_CUSTOM_VTABLE)
611 private:
612 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);
613 static ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
614 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,
615 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);
616
617 public:
618 ::size_t ByteSizeLong() const { return ByteSizeLong(*this); }
619 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
620 ::uint8_t* PROTOBUF_NONNULL target,
621 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {
622 return _InternalSerialize(*this, target, stream);
623 }
624 #else // PROTOBUF_CUSTOM_VTABLE
625 ::size_t ByteSizeLong() const final;
626 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
627 ::uint8_t* PROTOBUF_NONNULL target,
628 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;
629 #endif // PROTOBUF_CUSTOM_VTABLE
630 int GetCachedSize() const { return _impl_._cached_size_.Get(); }
631
632 private:
633 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
634 static void SharedDtor(MessageLite& self);
635 void InternalSwap(LratExportedClause* PROTOBUF_NONNULL other);
636 private:
637 template <typename T>
638 friend ::absl::string_view(::google::protobuf::internal::GetAnyMessageName)();
639 static ::absl::string_view FullMessageName() { return "operations_research.sat.LratExportedClause"; }
640
641 explicit LratExportedClause(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
642 LratExportedClause(::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const LratExportedClause& from);
643 LratExportedClause(
644 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, LratExportedClause&& from) noexcept
645 : LratExportedClause(arena) {
646 *this = ::std::move(from);
647 }
648 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;
649 static void* PROTOBUF_NONNULL PlacementNew_(
650 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,
651 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
652 static constexpr auto InternalNewImpl_();
653
654 public:
655 static constexpr auto InternalGenerateClassData_();
656
657 ::google::protobuf::Metadata GetMetadata() const;
658 // nested types ----------------------------------------------------
659
660 // accessors -------------------------------------------------------
661 enum : int {
662 kLiteralsFieldNumber = 2,
663 kClauseIdFieldNumber = 1,
664 };
665 // repeated int32 literals = 2 [packed = true];
666 int literals_size() const;
667 private:
668 int _internal_literals_size() const;
669
670 public:
671 void clear_literals() ;
672 ::int32_t literals(int index) const;
673 void set_literals(int index, ::int32_t value);
674 void add_literals(::int32_t value);
675 const ::google::protobuf::RepeatedField<::int32_t>& literals() const;
676 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL mutable_literals();
677
678 private:
679 const ::google::protobuf::RepeatedField<::int32_t>& _internal_literals() const;
680 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL _internal_mutable_literals();
681
682 public:
683 // optional int64 clause_id = 1;
684 bool has_clause_id() const;
685 void clear_clause_id() ;
686 ::int64_t clause_id() const;
687 void set_clause_id(::int64_t value);
688
689 private:
690 ::int64_t _internal_clause_id() const;
691 void _internal_set_clause_id(::int64_t value);
692
693 public:
694 // @@protoc_insertion_point(class_scope:operations_research.sat.LratExportedClause)
695 private:
696 class _Internal;
697 friend class ::google::protobuf::internal::TcParser;
698 static const ::google::protobuf::internal::TcParseTable<1, 2,
699 0, 0,
700 2>
701 _table_;
702
703 friend class ::google::protobuf::MessageLite;
704 friend class ::google::protobuf::Arena;
705 template <typename T>
706 friend class ::google::protobuf::Arena::InternalHelper;
707 using InternalArenaConstructable_ = void;
708 using DestructorSkippable_ = void;
709 struct Impl_ {
710 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;
711 inline explicit Impl_(
712 ::google::protobuf::internal::InternalVisibility visibility,
713 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
714 inline explicit Impl_(
715 ::google::protobuf::internal::InternalVisibility visibility,
716 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,
717 const LratExportedClause& from_msg);
718 ::google::protobuf::internal::HasBits<1> _has_bits_;
719 ::google::protobuf::internal::CachedSize _cached_size_;
720 ::google::protobuf::RepeatedField<::int32_t> literals_;
721 ::google::protobuf::internal::CachedSize _literals_cached_byte_size_;
722 ::int64_t clause_id_;
723 PROTOBUF_TSAN_DECLARE_MEMBER
724 };
725 union { Impl_ _impl_; };
726 friend struct ::TableStruct_ortools_2fsat_2flrat_2eproto;
727};
728
729OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LratExportedClause_class_data_;
730// -------------------------------------------------------------------
731
732class OR_PROTO_DLL LratDeletedClauses final : public ::google::protobuf::Message
733/* @@protoc_insertion_point(class_definition:operations_research.sat.LratDeletedClauses) */ {
734 public:
735 inline LratDeletedClauses() : LratDeletedClauses(nullptr) {}
736 ~LratDeletedClauses() PROTOBUF_FINAL;
737
738#if defined(PROTOBUF_CUSTOM_VTABLE)
739 void operator delete(LratDeletedClauses* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {
740 SharedDtor(*msg);
741 ::google::protobuf::internal::SizedDelete(msg, sizeof(LratDeletedClauses));
742 }
743#endif
744
745 template <typename = void>
746 explicit PROTOBUF_CONSTEXPR LratDeletedClauses(::google::protobuf::internal::ConstantInitialized);
747
748 inline LratDeletedClauses(const LratDeletedClauses& from) : LratDeletedClauses(nullptr, from) {}
749 inline LratDeletedClauses(LratDeletedClauses&& from) noexcept
750 : LratDeletedClauses(nullptr, ::std::move(from)) {}
751 inline LratDeletedClauses& operator=(const LratDeletedClauses& from) {
752 CopyFrom(from);
753 return *this;
754 }
755 inline LratDeletedClauses& operator=(LratDeletedClauses&& from) noexcept {
756 if (this == &from) return *this;
757 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
758 InternalSwap(&from);
759 } else {
760 CopyFrom(from);
761 }
762 return *this;
763 }
764
765 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const
766 ABSL_ATTRIBUTE_LIFETIME_BOUND {
767 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);
768 }
769 inline ::google::protobuf::UnknownFieldSet* PROTOBUF_NONNULL mutable_unknown_fields()
770 ABSL_ATTRIBUTE_LIFETIME_BOUND {
771 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();
772 }
773
774 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {
775 return GetDescriptor();
776 }
777 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {
778 return default_instance().GetMetadata().descriptor;
779 }
780 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {
781 return default_instance().GetMetadata().reflection;
782 }
783 static const LratDeletedClauses& default_instance() {
784 return *reinterpret_cast<const LratDeletedClauses*>(
785 &_LratDeletedClauses_default_instance_);
786 }
787 static constexpr int kIndexInFileMessages = 4;
788 friend void swap(LratDeletedClauses& a, LratDeletedClauses& b) { a.Swap(&b); }
789 inline void Swap(LratDeletedClauses* PROTOBUF_NONNULL other) {
790 if (other == this) return;
791 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
792 InternalSwap(other);
793 } else {
794 ::google::protobuf::internal::GenericSwap(this, other);
795 }
796 }
797 void UnsafeArenaSwap(LratDeletedClauses* PROTOBUF_NONNULL other) {
798 if (other == this) return;
799 ABSL_DCHECK(GetArena() == other->GetArena());
800 InternalSwap(other);
801 }
802
803 // implements Message ----------------------------------------------
804
805 LratDeletedClauses* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena = nullptr) const {
806 return ::google::protobuf::Message::DefaultConstruct<LratDeletedClauses>(arena);
807 }
808 using ::google::protobuf::Message::CopyFrom;
809 void CopyFrom(const LratDeletedClauses& from);
810 using ::google::protobuf::Message::MergeFrom;
811 void MergeFrom(const LratDeletedClauses& from) { LratDeletedClauses::MergeImpl(*this, from); }
812
813 private:
814 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
815 const ::google::protobuf::MessageLite& from_msg);
816
817 public:
818 bool IsInitialized() const {
819 return true;
820 }
821 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;
822 #if defined(PROTOBUF_CUSTOM_VTABLE)
823 private:
824 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);
825 static ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
826 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,
827 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);
828
829 public:
830 ::size_t ByteSizeLong() const { return ByteSizeLong(*this); }
831 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
832 ::uint8_t* PROTOBUF_NONNULL target,
833 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {
834 return _InternalSerialize(*this, target, stream);
835 }
836 #else // PROTOBUF_CUSTOM_VTABLE
837 ::size_t ByteSizeLong() const final;
838 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
839 ::uint8_t* PROTOBUF_NONNULL target,
840 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;
841 #endif // PROTOBUF_CUSTOM_VTABLE
842 int GetCachedSize() const { return _impl_._cached_size_.Get(); }
843
844 private:
845 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
846 static void SharedDtor(MessageLite& self);
847 void InternalSwap(LratDeletedClauses* PROTOBUF_NONNULL other);
848 private:
849 template <typename T>
850 friend ::absl::string_view(::google::protobuf::internal::GetAnyMessageName)();
851 static ::absl::string_view FullMessageName() { return "operations_research.sat.LratDeletedClauses"; }
852
853 explicit LratDeletedClauses(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
854 LratDeletedClauses(::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const LratDeletedClauses& from);
855 LratDeletedClauses(
856 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, LratDeletedClauses&& from) noexcept
857 : LratDeletedClauses(arena) {
858 *this = ::std::move(from);
859 }
860 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;
861 static void* PROTOBUF_NONNULL PlacementNew_(
862 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,
863 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
864 static constexpr auto InternalNewImpl_();
865
866 public:
867 static constexpr auto InternalGenerateClassData_();
868
869 ::google::protobuf::Metadata GetMetadata() const;
870 // nested types ----------------------------------------------------
871
872 // accessors -------------------------------------------------------
873 enum : int {
874 kClauseIdsFieldNumber = 1,
875 };
876 // repeated int64 clause_ids = 1 [packed = true];
877 int clause_ids_size() const;
878 private:
879 int _internal_clause_ids_size() const;
880
881 public:
882 void clear_clause_ids() ;
883 ::int64_t clause_ids(int index) const;
884 void set_clause_ids(int index, ::int64_t value);
885 void add_clause_ids(::int64_t value);
886 const ::google::protobuf::RepeatedField<::int64_t>& clause_ids() const;
887 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL mutable_clause_ids();
888
889 private:
890 const ::google::protobuf::RepeatedField<::int64_t>& _internal_clause_ids() const;
891 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL _internal_mutable_clause_ids();
892
893 public:
894 // @@protoc_insertion_point(class_scope:operations_research.sat.LratDeletedClauses)
895 private:
896 class _Internal;
897 friend class ::google::protobuf::internal::TcParser;
898 static const ::google::protobuf::internal::TcParseTable<0, 1,
899 0, 0,
900 2>
901 _table_;
902
903 friend class ::google::protobuf::MessageLite;
904 friend class ::google::protobuf::Arena;
905 template <typename T>
906 friend class ::google::protobuf::Arena::InternalHelper;
907 using InternalArenaConstructable_ = void;
908 using DestructorSkippable_ = void;
909 struct Impl_ {
910 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;
911 inline explicit Impl_(
912 ::google::protobuf::internal::InternalVisibility visibility,
913 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
914 inline explicit Impl_(
915 ::google::protobuf::internal::InternalVisibility visibility,
916 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,
917 const LratDeletedClauses& from_msg);
918 ::google::protobuf::internal::HasBits<1> _has_bits_;
919 ::google::protobuf::internal::CachedSize _cached_size_;
920 ::google::protobuf::RepeatedField<::int64_t> clause_ids_;
921 ::google::protobuf::internal::CachedSize _clause_ids_cached_byte_size_;
922 PROTOBUF_TSAN_DECLARE_MEMBER
923 };
924 union { Impl_ _impl_; };
925 friend struct ::TableStruct_ortools_2fsat_2flrat_2eproto;
926};
927
928OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LratDeletedClauses_class_data_;
929// -------------------------------------------------------------------
930
931class OR_PROTO_DLL LratInferredClause final : public ::google::protobuf::Message
932/* @@protoc_insertion_point(class_definition:operations_research.sat.LratInferredClause) */ {
933 public:
934 inline LratInferredClause() : LratInferredClause(nullptr) {}
935 ~LratInferredClause() PROTOBUF_FINAL;
936
937#if defined(PROTOBUF_CUSTOM_VTABLE)
938 void operator delete(LratInferredClause* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {
939 SharedDtor(*msg);
940 ::google::protobuf::internal::SizedDelete(msg, sizeof(LratInferredClause));
941 }
942#endif
943
944 template <typename = void>
945 explicit PROTOBUF_CONSTEXPR LratInferredClause(::google::protobuf::internal::ConstantInitialized);
946
947 inline LratInferredClause(const LratInferredClause& from) : LratInferredClause(nullptr, from) {}
948 inline LratInferredClause(LratInferredClause&& from) noexcept
949 : LratInferredClause(nullptr, ::std::move(from)) {}
950 inline LratInferredClause& operator=(const LratInferredClause& from) {
951 CopyFrom(from);
952 return *this;
953 }
954 inline LratInferredClause& operator=(LratInferredClause&& from) noexcept {
955 if (this == &from) return *this;
956 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
957 InternalSwap(&from);
958 } else {
959 CopyFrom(from);
960 }
961 return *this;
962 }
963
964 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const
965 ABSL_ATTRIBUTE_LIFETIME_BOUND {
966 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);
967 }
968 inline ::google::protobuf::UnknownFieldSet* PROTOBUF_NONNULL mutable_unknown_fields()
969 ABSL_ATTRIBUTE_LIFETIME_BOUND {
970 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();
971 }
972
973 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {
974 return GetDescriptor();
975 }
976 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {
977 return default_instance().GetMetadata().descriptor;
978 }
979 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {
980 return default_instance().GetMetadata().reflection;
981 }
982 static const LratInferredClause& default_instance() {
983 return *reinterpret_cast<const LratInferredClause*>(
984 &_LratInferredClause_default_instance_);
985 }
986 static constexpr int kIndexInFileMessages = 2;
987 friend void swap(LratInferredClause& a, LratInferredClause& b) { a.Swap(&b); }
988 inline void Swap(LratInferredClause* PROTOBUF_NONNULL other) {
989 if (other == this) return;
990 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
991 InternalSwap(other);
992 } else {
993 ::google::protobuf::internal::GenericSwap(this, other);
994 }
995 }
996 void UnsafeArenaSwap(LratInferredClause* PROTOBUF_NONNULL other) {
997 if (other == this) return;
998 ABSL_DCHECK(GetArena() == other->GetArena());
999 InternalSwap(other);
1000 }
1001
1002 // implements Message ----------------------------------------------
1003
1004 LratInferredClause* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena = nullptr) const {
1005 return ::google::protobuf::Message::DefaultConstruct<LratInferredClause>(arena);
1006 }
1007 using ::google::protobuf::Message::CopyFrom;
1008 void CopyFrom(const LratInferredClause& from);
1009 using ::google::protobuf::Message::MergeFrom;
1010 void MergeFrom(const LratInferredClause& from) { LratInferredClause::MergeImpl(*this, from); }
1011
1012 private:
1013 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
1014 const ::google::protobuf::MessageLite& from_msg);
1015
1016 public:
1017 bool IsInitialized() const {
1018 return true;
1019 }
1020 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;
1021 #if defined(PROTOBUF_CUSTOM_VTABLE)
1022 private:
1023 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);
1024 static ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
1025 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,
1026 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);
1027
1028 public:
1029 ::size_t ByteSizeLong() const { return ByteSizeLong(*this); }
1030 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
1031 ::uint8_t* PROTOBUF_NONNULL target,
1032 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {
1033 return _InternalSerialize(*this, target, stream);
1034 }
1035 #else // PROTOBUF_CUSTOM_VTABLE
1036 ::size_t ByteSizeLong() const final;
1037 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
1038 ::uint8_t* PROTOBUF_NONNULL target,
1039 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;
1040 #endif // PROTOBUF_CUSTOM_VTABLE
1041 int GetCachedSize() const { return _impl_._cached_size_.Get(); }
1042
1043 private:
1044 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
1045 static void SharedDtor(MessageLite& self);
1046 void InternalSwap(LratInferredClause* PROTOBUF_NONNULL other);
1047 private:
1048 template <typename T>
1049 friend ::absl::string_view(::google::protobuf::internal::GetAnyMessageName)();
1050 static ::absl::string_view FullMessageName() { return "operations_research.sat.LratInferredClause"; }
1051
1052 explicit LratInferredClause(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
1053 LratInferredClause(::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const LratInferredClause& from);
1054 LratInferredClause(
1055 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, LratInferredClause&& from) noexcept
1056 : LratInferredClause(arena) {
1057 *this = ::std::move(from);
1058 }
1059 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;
1060 static void* PROTOBUF_NONNULL PlacementNew_(
1061 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,
1062 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
1063 static constexpr auto InternalNewImpl_();
1064
1065 public:
1066 static constexpr auto InternalGenerateClassData_();
1067
1068 ::google::protobuf::Metadata GetMetadata() const;
1069 // nested types ----------------------------------------------------
1070 using RatInfo = LratInferredClause_RatInfo;
1071
1072 // accessors -------------------------------------------------------
1073 enum : int {
1074 kLiteralsFieldNumber = 2,
1075 kUnitIdsFieldNumber = 3,
1076 kRatInfosFieldNumber = 4,
1077 kClauseIdFieldNumber = 1,
1078 kExportedFieldNumber = 5,
1079 };
1080 // repeated int32 literals = 2 [packed = true];
1081 int literals_size() const;
1082 private:
1083 int _internal_literals_size() const;
1084
1085 public:
1086 void clear_literals() ;
1087 ::int32_t literals(int index) const;
1088 void set_literals(int index, ::int32_t value);
1089 void add_literals(::int32_t value);
1090 const ::google::protobuf::RepeatedField<::int32_t>& literals() const;
1091 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL mutable_literals();
1092
1093 private:
1094 const ::google::protobuf::RepeatedField<::int32_t>& _internal_literals() const;
1095 ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL _internal_mutable_literals();
1096
1097 public:
1098 // repeated int64 unit_ids = 3 [packed = true];
1099 int unit_ids_size() const;
1100 private:
1101 int _internal_unit_ids_size() const;
1102
1103 public:
1104 void clear_unit_ids() ;
1105 ::int64_t unit_ids(int index) const;
1106 void set_unit_ids(int index, ::int64_t value);
1107 void add_unit_ids(::int64_t value);
1108 const ::google::protobuf::RepeatedField<::int64_t>& unit_ids() const;
1109 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL mutable_unit_ids();
1110
1111 private:
1112 const ::google::protobuf::RepeatedField<::int64_t>& _internal_unit_ids() const;
1113 ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL _internal_mutable_unit_ids();
1114
1115 public:
1116 // repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
1117 int rat_infos_size() const;
1118 private:
1119 int _internal_rat_infos_size() const;
1120
1121 public:
1122 void clear_rat_infos() ;
1123 ::operations_research::sat::LratInferredClause_RatInfo* PROTOBUF_NONNULL mutable_rat_infos(int index);
1124 ::google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo>* PROTOBUF_NONNULL mutable_rat_infos();
1125
1126 private:
1127 const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo>& _internal_rat_infos() const;
1128 ::google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo>* PROTOBUF_NONNULL _internal_mutable_rat_infos();
1129 public:
1130 const ::operations_research::sat::LratInferredClause_RatInfo& rat_infos(int index) const;
1131 ::operations_research::sat::LratInferredClause_RatInfo* PROTOBUF_NONNULL add_rat_infos();
1132 const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo>& rat_infos() const;
1133 // optional int64 clause_id = 1;
1134 bool has_clause_id() const;
1135 void clear_clause_id() ;
1136 ::int64_t clause_id() const;
1137 void set_clause_id(::int64_t value);
1138
1139 private:
1140 ::int64_t _internal_clause_id() const;
1141 void _internal_set_clause_id(::int64_t value);
1142
1143 public:
1144 // optional bool exported = 5;
1145 bool has_exported() const;
1146 void clear_exported() ;
1147 bool exported() const;
1148 void set_exported(bool value);
1149
1150 private:
1151 bool _internal_exported() const;
1152 void _internal_set_exported(bool value);
1153
1154 public:
1155 // @@protoc_insertion_point(class_scope:operations_research.sat.LratInferredClause)
1156 private:
1157 class _Internal;
1158 friend class ::google::protobuf::internal::TcParser;
1159 static const ::google::protobuf::internal::TcParseTable<3, 5,
1160 1, 0,
1161 2>
1162 _table_;
1163
1164 friend class ::google::protobuf::MessageLite;
1165 friend class ::google::protobuf::Arena;
1166 template <typename T>
1167 friend class ::google::protobuf::Arena::InternalHelper;
1168 using InternalArenaConstructable_ = void;
1169 using DestructorSkippable_ = void;
1170 struct Impl_ {
1171 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;
1172 inline explicit Impl_(
1173 ::google::protobuf::internal::InternalVisibility visibility,
1174 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
1175 inline explicit Impl_(
1176 ::google::protobuf::internal::InternalVisibility visibility,
1177 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,
1178 const LratInferredClause& from_msg);
1179 ::google::protobuf::internal::HasBits<1> _has_bits_;
1180 ::google::protobuf::internal::CachedSize _cached_size_;
1181 ::google::protobuf::RepeatedField<::int32_t> literals_;
1182 ::google::protobuf::internal::CachedSize _literals_cached_byte_size_;
1183 ::google::protobuf::RepeatedField<::int64_t> unit_ids_;
1184 ::google::protobuf::internal::CachedSize _unit_ids_cached_byte_size_;
1185 ::google::protobuf::RepeatedPtrField< ::operations_research::sat::LratInferredClause_RatInfo > rat_infos_;
1186 ::int64_t clause_id_;
1187 bool exported_;
1188 PROTOBUF_TSAN_DECLARE_MEMBER
1189 };
1190 union { Impl_ _impl_; };
1191 friend struct ::TableStruct_ortools_2fsat_2flrat_2eproto;
1192};
1193
1194OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LratInferredClause_class_data_;
1195// -------------------------------------------------------------------
1196
1197class OR_PROTO_DLL LratProofStep final : public ::google::protobuf::Message
1198/* @@protoc_insertion_point(class_definition:operations_research.sat.LratProofStep) */ {
1199 public:
1200 inline LratProofStep() : LratProofStep(nullptr) {}
1201 ~LratProofStep() PROTOBUF_FINAL;
1202
1203#if defined(PROTOBUF_CUSTOM_VTABLE)
1204 void operator delete(LratProofStep* PROTOBUF_NONNULL msg, ::std::destroying_delete_t) {
1205 SharedDtor(*msg);
1206 ::google::protobuf::internal::SizedDelete(msg, sizeof(LratProofStep));
1207 }
1208#endif
1209
1210 template <typename = void>
1211 explicit PROTOBUF_CONSTEXPR LratProofStep(::google::protobuf::internal::ConstantInitialized);
1212
1213 inline LratProofStep(const LratProofStep& from) : LratProofStep(nullptr, from) {}
1214 inline LratProofStep(LratProofStep&& from) noexcept
1215 : LratProofStep(nullptr, ::std::move(from)) {}
1216 inline LratProofStep& operator=(const LratProofStep& from) {
1217 CopyFrom(from);
1218 return *this;
1219 }
1220 inline LratProofStep& operator=(LratProofStep&& from) noexcept {
1221 if (this == &from) return *this;
1222 if (::google::protobuf::internal::CanMoveWithInternalSwap(GetArena(), from.GetArena())) {
1223 InternalSwap(&from);
1224 } else {
1225 CopyFrom(from);
1226 }
1227 return *this;
1228 }
1229
1230 inline const ::google::protobuf::UnknownFieldSet& unknown_fields() const
1231 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1232 return _internal_metadata_.unknown_fields<::google::protobuf::UnknownFieldSet>(::google::protobuf::UnknownFieldSet::default_instance);
1233 }
1234 inline ::google::protobuf::UnknownFieldSet* PROTOBUF_NONNULL mutable_unknown_fields()
1235 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1236 return _internal_metadata_.mutable_unknown_fields<::google::protobuf::UnknownFieldSet>();
1237 }
1238
1239 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL descriptor() {
1240 return GetDescriptor();
1241 }
1242 static const ::google::protobuf::Descriptor* PROTOBUF_NONNULL GetDescriptor() {
1243 return default_instance().GetMetadata().descriptor;
1244 }
1245 static const ::google::protobuf::Reflection* PROTOBUF_NONNULL GetReflection() {
1246 return default_instance().GetMetadata().reflection;
1247 }
1248 static const LratProofStep& default_instance() {
1249 return *reinterpret_cast<const LratProofStep*>(
1250 &_LratProofStep_default_instance_);
1251 }
1252 enum StepCase {
1253 kImportedClause = 1,
1254 kInferredClause = 2,
1255 kExportedClause = 3,
1256 kDeletedClauses = 4,
1257 STEP_NOT_SET = 0,
1258 };
1259 static constexpr int kIndexInFileMessages = 5;
1260 friend void swap(LratProofStep& a, LratProofStep& b) { a.Swap(&b); }
1261 inline void Swap(LratProofStep* PROTOBUF_NONNULL other) {
1262 if (other == this) return;
1263 if (::google::protobuf::internal::CanUseInternalSwap(GetArena(), other->GetArena())) {
1264 InternalSwap(other);
1265 } else {
1266 ::google::protobuf::internal::GenericSwap(this, other);
1267 }
1268 }
1269 void UnsafeArenaSwap(LratProofStep* PROTOBUF_NONNULL other) {
1270 if (other == this) return;
1271 ABSL_DCHECK(GetArena() == other->GetArena());
1272 InternalSwap(other);
1273 }
1274
1275 // implements Message ----------------------------------------------
1276
1277 LratProofStep* PROTOBUF_NONNULL New(::google::protobuf::Arena* PROTOBUF_NULLABLE arena = nullptr) const {
1278 return ::google::protobuf::Message::DefaultConstruct<LratProofStep>(arena);
1279 }
1280 using ::google::protobuf::Message::CopyFrom;
1281 void CopyFrom(const LratProofStep& from);
1282 using ::google::protobuf::Message::MergeFrom;
1283 void MergeFrom(const LratProofStep& from) { LratProofStep::MergeImpl(*this, from); }
1284
1285 private:
1286 static void MergeImpl(::google::protobuf::MessageLite& to_msg,
1287 const ::google::protobuf::MessageLite& from_msg);
1288
1289 public:
1290 bool IsInitialized() const {
1291 return true;
1292 }
1293 ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL;
1294 #if defined(PROTOBUF_CUSTOM_VTABLE)
1295 private:
1296 static ::size_t ByteSizeLong(const ::google::protobuf::MessageLite& msg);
1297 static ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
1298 const ::google::protobuf::MessageLite& msg, ::uint8_t* PROTOBUF_NONNULL target,
1299 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream);
1300
1301 public:
1302 ::size_t ByteSizeLong() const { return ByteSizeLong(*this); }
1303 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
1304 ::uint8_t* PROTOBUF_NONNULL target,
1305 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const {
1306 return _InternalSerialize(*this, target, stream);
1307 }
1308 #else // PROTOBUF_CUSTOM_VTABLE
1309 ::size_t ByteSizeLong() const final;
1310 ::uint8_t* PROTOBUF_NONNULL _InternalSerialize(
1311 ::uint8_t* PROTOBUF_NONNULL target,
1312 ::google::protobuf::io::EpsCopyOutputStream* PROTOBUF_NONNULL stream) const final;
1313 #endif // PROTOBUF_CUSTOM_VTABLE
1314 int GetCachedSize() const { return _impl_._cached_size_.Get(); }
1315
1316 private:
1317 void SharedCtor(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
1318 static void SharedDtor(MessageLite& self);
1319 void InternalSwap(LratProofStep* PROTOBUF_NONNULL other);
1320 private:
1321 template <typename T>
1322 friend ::absl::string_view(::google::protobuf::internal::GetAnyMessageName)();
1323 static ::absl::string_view FullMessageName() { return "operations_research.sat.LratProofStep"; }
1324
1325 explicit LratProofStep(::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
1326 LratProofStep(::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const LratProofStep& from);
1327 LratProofStep(
1328 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, LratProofStep&& from) noexcept
1329 : LratProofStep(arena) {
1330 *this = ::std::move(from);
1331 }
1332 const ::google::protobuf::internal::ClassData* PROTOBUF_NONNULL GetClassData() const PROTOBUF_FINAL;
1333 static void* PROTOBUF_NONNULL PlacementNew_(
1334 const void* PROTOBUF_NONNULL, void* PROTOBUF_NONNULL mem,
1335 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
1336 static constexpr auto InternalNewImpl_();
1337
1338 public:
1339 static constexpr auto InternalGenerateClassData_();
1340
1341 ::google::protobuf::Metadata GetMetadata() const;
1342 // nested types ----------------------------------------------------
1343
1344 // accessors -------------------------------------------------------
1345 enum : int {
1346 kImportedClauseFieldNumber = 1,
1347 kInferredClauseFieldNumber = 2,
1348 kExportedClauseFieldNumber = 3,
1349 kDeletedClausesFieldNumber = 4,
1350 };
1351 // .operations_research.sat.LratImportedClause imported_clause = 1;
1352 bool has_imported_clause() const;
1353 private:
1354 bool _internal_has_imported_clause() const;
1355
1356 public:
1357 void clear_imported_clause() ;
1358 const ::operations_research::sat::LratImportedClause& imported_clause() const;
1359 [[nodiscard]] ::operations_research::sat::LratImportedClause* PROTOBUF_NULLABLE release_imported_clause();
1360 ::operations_research::sat::LratImportedClause* PROTOBUF_NONNULL mutable_imported_clause();
1361 void set_allocated_imported_clause(::operations_research::sat::LratImportedClause* PROTOBUF_NULLABLE value);
1362 void unsafe_arena_set_allocated_imported_clause(::operations_research::sat::LratImportedClause* PROTOBUF_NULLABLE value);
1363 ::operations_research::sat::LratImportedClause* PROTOBUF_NULLABLE unsafe_arena_release_imported_clause();
1364
1365 private:
1366 const ::operations_research::sat::LratImportedClause& _internal_imported_clause() const;
1367 ::operations_research::sat::LratImportedClause* PROTOBUF_NONNULL _internal_mutable_imported_clause();
1368
1369 public:
1370 // .operations_research.sat.LratInferredClause inferred_clause = 2;
1371 bool has_inferred_clause() const;
1372 private:
1373 bool _internal_has_inferred_clause() const;
1374
1375 public:
1376 void clear_inferred_clause() ;
1377 const ::operations_research::sat::LratInferredClause& inferred_clause() const;
1378 [[nodiscard]] ::operations_research::sat::LratInferredClause* PROTOBUF_NULLABLE release_inferred_clause();
1379 ::operations_research::sat::LratInferredClause* PROTOBUF_NONNULL mutable_inferred_clause();
1380 void set_allocated_inferred_clause(::operations_research::sat::LratInferredClause* PROTOBUF_NULLABLE value);
1381 void unsafe_arena_set_allocated_inferred_clause(::operations_research::sat::LratInferredClause* PROTOBUF_NULLABLE value);
1382 ::operations_research::sat::LratInferredClause* PROTOBUF_NULLABLE unsafe_arena_release_inferred_clause();
1383
1384 private:
1385 const ::operations_research::sat::LratInferredClause& _internal_inferred_clause() const;
1386 ::operations_research::sat::LratInferredClause* PROTOBUF_NONNULL _internal_mutable_inferred_clause();
1387
1388 public:
1389 // .operations_research.sat.LratExportedClause exported_clause = 3;
1390 bool has_exported_clause() const;
1391 private:
1392 bool _internal_has_exported_clause() const;
1393
1394 public:
1395 void clear_exported_clause() ;
1396 const ::operations_research::sat::LratExportedClause& exported_clause() const;
1397 [[nodiscard]] ::operations_research::sat::LratExportedClause* PROTOBUF_NULLABLE release_exported_clause();
1398 ::operations_research::sat::LratExportedClause* PROTOBUF_NONNULL mutable_exported_clause();
1399 void set_allocated_exported_clause(::operations_research::sat::LratExportedClause* PROTOBUF_NULLABLE value);
1400 void unsafe_arena_set_allocated_exported_clause(::operations_research::sat::LratExportedClause* PROTOBUF_NULLABLE value);
1401 ::operations_research::sat::LratExportedClause* PROTOBUF_NULLABLE unsafe_arena_release_exported_clause();
1402
1403 private:
1404 const ::operations_research::sat::LratExportedClause& _internal_exported_clause() const;
1405 ::operations_research::sat::LratExportedClause* PROTOBUF_NONNULL _internal_mutable_exported_clause();
1406
1407 public:
1408 // .operations_research.sat.LratDeletedClauses deleted_clauses = 4;
1409 bool has_deleted_clauses() const;
1410 private:
1411 bool _internal_has_deleted_clauses() const;
1412
1413 public:
1414 void clear_deleted_clauses() ;
1415 const ::operations_research::sat::LratDeletedClauses& deleted_clauses() const;
1416 [[nodiscard]] ::operations_research::sat::LratDeletedClauses* PROTOBUF_NULLABLE release_deleted_clauses();
1417 ::operations_research::sat::LratDeletedClauses* PROTOBUF_NONNULL mutable_deleted_clauses();
1418 void set_allocated_deleted_clauses(::operations_research::sat::LratDeletedClauses* PROTOBUF_NULLABLE value);
1419 void unsafe_arena_set_allocated_deleted_clauses(::operations_research::sat::LratDeletedClauses* PROTOBUF_NULLABLE value);
1420 ::operations_research::sat::LratDeletedClauses* PROTOBUF_NULLABLE unsafe_arena_release_deleted_clauses();
1421
1422 private:
1423 const ::operations_research::sat::LratDeletedClauses& _internal_deleted_clauses() const;
1424 ::operations_research::sat::LratDeletedClauses* PROTOBUF_NONNULL _internal_mutable_deleted_clauses();
1425
1426 public:
1427 void clear_step();
1428 StepCase step_case() const;
1429 // @@protoc_insertion_point(class_scope:operations_research.sat.LratProofStep)
1430 private:
1431 class _Internal;
1432 void set_has_imported_clause();
1433 void set_has_inferred_clause();
1434 void set_has_exported_clause();
1435 void set_has_deleted_clauses();
1436 inline bool has_step() const;
1437 inline void clear_has_step();
1438 friend class ::google::protobuf::internal::TcParser;
1439 static const ::google::protobuf::internal::TcParseTable<0, 4,
1440 4, 0,
1441 2>
1442 _table_;
1443
1444 friend class ::google::protobuf::MessageLite;
1445 friend class ::google::protobuf::Arena;
1446 template <typename T>
1447 friend class ::google::protobuf::Arena::InternalHelper;
1448 using InternalArenaConstructable_ = void;
1449 using DestructorSkippable_ = void;
1450 struct Impl_ {
1451 inline explicit constexpr Impl_(::google::protobuf::internal::ConstantInitialized) noexcept;
1452 inline explicit Impl_(
1453 ::google::protobuf::internal::InternalVisibility visibility,
1454 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena);
1455 inline explicit Impl_(
1456 ::google::protobuf::internal::InternalVisibility visibility,
1457 ::google::protobuf::Arena* PROTOBUF_NULLABLE arena, const Impl_& from,
1458 const LratProofStep& from_msg);
1459 union StepUnion {
1460 constexpr StepUnion() : _constinit_{} {}
1461 ::google::protobuf::internal::ConstantInitialized _constinit_;
1462 ::google::protobuf::Message* PROTOBUF_NULLABLE imported_clause_;
1463 ::google::protobuf::Message* PROTOBUF_NULLABLE inferred_clause_;
1464 ::google::protobuf::Message* PROTOBUF_NULLABLE exported_clause_;
1465 ::google::protobuf::Message* PROTOBUF_NULLABLE deleted_clauses_;
1466 } step_;
1467 ::google::protobuf::internal::CachedSize _cached_size_;
1468 ::uint32_t _oneof_case_[1];
1469 PROTOBUF_TSAN_DECLARE_MEMBER
1470 };
1471 union { Impl_ _impl_; };
1472 friend struct ::TableStruct_ortools_2fsat_2flrat_2eproto;
1473};
1474
1475OR_PROTO_DLL extern const ::google::protobuf::internal::ClassDataFull LratProofStep_class_data_;
1476
1477// ===================================================================
1478
1479
1480
1481
1482// ===================================================================
1483
1484
1485#ifdef __GNUC__
1486#pragma GCC diagnostic push
1487#pragma GCC diagnostic ignored "-Wstrict-aliasing"
1488#endif // __GNUC__
1489// -------------------------------------------------------------------
1490
1491// LratImportedClause
1492
1493// optional int64 clause_id = 1;
1494inline bool LratImportedClause::has_clause_id() const {
1495 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000002U);
1496 return value;
1497}
1498inline void LratImportedClause::clear_clause_id() {
1499 ::google::protobuf::internal::TSanWrite(&_impl_);
1500 _impl_.clause_id_ = ::int64_t{0};
1501 ClearHasBit(_impl_._has_bits_[0],
1502 0x00000002U);
1503}
1504inline ::int64_t LratImportedClause::clause_id() const {
1505 // @@protoc_insertion_point(field_get:operations_research.sat.LratImportedClause.clause_id)
1506 return _internal_clause_id();
1507}
1508inline void LratImportedClause::set_clause_id(::int64_t value) {
1509 _internal_set_clause_id(value);
1510 SetHasBit(_impl_._has_bits_[0], 0x00000002U);
1511 // @@protoc_insertion_point(field_set:operations_research.sat.LratImportedClause.clause_id)
1512}
1513inline ::int64_t LratImportedClause::_internal_clause_id() const {
1514 ::google::protobuf::internal::TSanRead(&_impl_);
1515 return _impl_.clause_id_;
1516}
1517inline void LratImportedClause::_internal_set_clause_id(::int64_t value) {
1518 ::google::protobuf::internal::TSanWrite(&_impl_);
1519 _impl_.clause_id_ = value;
1520}
1521
1522// repeated int32 literals = 2 [packed = true];
1523inline int LratImportedClause::_internal_literals_size() const {
1524 return _internal_literals().size();
1525}
1526inline int LratImportedClause::literals_size() const {
1527 return _internal_literals_size();
1528}
1529inline void LratImportedClause::clear_literals() {
1530 ::google::protobuf::internal::TSanWrite(&_impl_);
1531 _impl_.literals_.Clear();
1532 ClearHasBitForRepeated(_impl_._has_bits_[0],
1533 0x00000001U);
1534}
1535inline ::int32_t LratImportedClause::literals(int index) const {
1536 // @@protoc_insertion_point(field_get:operations_research.sat.LratImportedClause.literals)
1537 return _internal_literals().Get(index);
1538}
1539inline void LratImportedClause::set_literals(int index, ::int32_t value) {
1540 _internal_mutable_literals()->Set(index, value);
1541 // @@protoc_insertion_point(field_set:operations_research.sat.LratImportedClause.literals)
1542}
1543inline void LratImportedClause::add_literals(::int32_t value) {
1544 ::google::protobuf::internal::TSanWrite(&_impl_);
1545 _internal_mutable_literals()->Add(value);
1546 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1547 // @@protoc_insertion_point(field_add:operations_research.sat.LratImportedClause.literals)
1548}
1549inline const ::google::protobuf::RepeatedField<::int32_t>& LratImportedClause::literals() const
1550 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1551 // @@protoc_insertion_point(field_list:operations_research.sat.LratImportedClause.literals)
1552 return _internal_literals();
1553}
1554inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL LratImportedClause::mutable_literals()
1555 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1556 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1557 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LratImportedClause.literals)
1558 ::google::protobuf::internal::TSanWrite(&_impl_);
1559 return _internal_mutable_literals();
1560}
1561inline const ::google::protobuf::RepeatedField<::int32_t>&
1562LratImportedClause::_internal_literals() const {
1563 ::google::protobuf::internal::TSanRead(&_impl_);
1564 return _impl_.literals_;
1565}
1566inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL
1567LratImportedClause::_internal_mutable_literals() {
1568 ::google::protobuf::internal::TSanRead(&_impl_);
1569 return &_impl_.literals_;
1570}
1571
1572// -------------------------------------------------------------------
1573
1574// LratInferredClause_RatInfo
1575
1576// optional int64 resolvant_id = 1;
1577inline bool LratInferredClause_RatInfo::has_resolvant_id() const {
1578 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000002U);
1579 return value;
1580}
1581inline void LratInferredClause_RatInfo::clear_resolvant_id() {
1582 ::google::protobuf::internal::TSanWrite(&_impl_);
1583 _impl_.resolvant_id_ = ::int64_t{0};
1584 ClearHasBit(_impl_._has_bits_[0],
1585 0x00000002U);
1586}
1587inline ::int64_t LratInferredClause_RatInfo::resolvant_id() const {
1588 // @@protoc_insertion_point(field_get:operations_research.sat.LratInferredClause.RatInfo.resolvant_id)
1589 return _internal_resolvant_id();
1590}
1591inline void LratInferredClause_RatInfo::set_resolvant_id(::int64_t value) {
1592 _internal_set_resolvant_id(value);
1593 SetHasBit(_impl_._has_bits_[0], 0x00000002U);
1594 // @@protoc_insertion_point(field_set:operations_research.sat.LratInferredClause.RatInfo.resolvant_id)
1595}
1596inline ::int64_t LratInferredClause_RatInfo::_internal_resolvant_id() const {
1597 ::google::protobuf::internal::TSanRead(&_impl_);
1598 return _impl_.resolvant_id_;
1599}
1600inline void LratInferredClause_RatInfo::_internal_set_resolvant_id(::int64_t value) {
1601 ::google::protobuf::internal::TSanWrite(&_impl_);
1602 _impl_.resolvant_id_ = value;
1603}
1604
1605// repeated int64 unit_ids = 2 [packed = true];
1606inline int LratInferredClause_RatInfo::_internal_unit_ids_size() const {
1607 return _internal_unit_ids().size();
1608}
1609inline int LratInferredClause_RatInfo::unit_ids_size() const {
1610 return _internal_unit_ids_size();
1611}
1612inline void LratInferredClause_RatInfo::clear_unit_ids() {
1613 ::google::protobuf::internal::TSanWrite(&_impl_);
1614 _impl_.unit_ids_.Clear();
1615 ClearHasBitForRepeated(_impl_._has_bits_[0],
1616 0x00000001U);
1617}
1618inline ::int64_t LratInferredClause_RatInfo::unit_ids(int index) const {
1619 // @@protoc_insertion_point(field_get:operations_research.sat.LratInferredClause.RatInfo.unit_ids)
1620 return _internal_unit_ids().Get(index);
1621}
1622inline void LratInferredClause_RatInfo::set_unit_ids(int index, ::int64_t value) {
1623 _internal_mutable_unit_ids()->Set(index, value);
1624 // @@protoc_insertion_point(field_set:operations_research.sat.LratInferredClause.RatInfo.unit_ids)
1625}
1626inline void LratInferredClause_RatInfo::add_unit_ids(::int64_t value) {
1627 ::google::protobuf::internal::TSanWrite(&_impl_);
1628 _internal_mutable_unit_ids()->Add(value);
1629 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1630 // @@protoc_insertion_point(field_add:operations_research.sat.LratInferredClause.RatInfo.unit_ids)
1631}
1632inline const ::google::protobuf::RepeatedField<::int64_t>& LratInferredClause_RatInfo::unit_ids() const
1633 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1634 // @@protoc_insertion_point(field_list:operations_research.sat.LratInferredClause.RatInfo.unit_ids)
1635 return _internal_unit_ids();
1636}
1637inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL LratInferredClause_RatInfo::mutable_unit_ids()
1638 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1639 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1640 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LratInferredClause.RatInfo.unit_ids)
1641 ::google::protobuf::internal::TSanWrite(&_impl_);
1642 return _internal_mutable_unit_ids();
1643}
1644inline const ::google::protobuf::RepeatedField<::int64_t>&
1645LratInferredClause_RatInfo::_internal_unit_ids() const {
1646 ::google::protobuf::internal::TSanRead(&_impl_);
1647 return _impl_.unit_ids_;
1648}
1649inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL
1650LratInferredClause_RatInfo::_internal_mutable_unit_ids() {
1651 ::google::protobuf::internal::TSanRead(&_impl_);
1652 return &_impl_.unit_ids_;
1653}
1654
1655// -------------------------------------------------------------------
1656
1657// LratInferredClause
1658
1659// optional int64 clause_id = 1;
1660inline bool LratInferredClause::has_clause_id() const {
1661 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000008U);
1662 return value;
1663}
1664inline void LratInferredClause::clear_clause_id() {
1665 ::google::protobuf::internal::TSanWrite(&_impl_);
1666 _impl_.clause_id_ = ::int64_t{0};
1667 ClearHasBit(_impl_._has_bits_[0],
1668 0x00000008U);
1669}
1670inline ::int64_t LratInferredClause::clause_id() const {
1671 // @@protoc_insertion_point(field_get:operations_research.sat.LratInferredClause.clause_id)
1672 return _internal_clause_id();
1673}
1674inline void LratInferredClause::set_clause_id(::int64_t value) {
1675 _internal_set_clause_id(value);
1676 SetHasBit(_impl_._has_bits_[0], 0x00000008U);
1677 // @@protoc_insertion_point(field_set:operations_research.sat.LratInferredClause.clause_id)
1678}
1679inline ::int64_t LratInferredClause::_internal_clause_id() const {
1680 ::google::protobuf::internal::TSanRead(&_impl_);
1681 return _impl_.clause_id_;
1682}
1683inline void LratInferredClause::_internal_set_clause_id(::int64_t value) {
1684 ::google::protobuf::internal::TSanWrite(&_impl_);
1685 _impl_.clause_id_ = value;
1686}
1687
1688// repeated int32 literals = 2 [packed = true];
1689inline int LratInferredClause::_internal_literals_size() const {
1690 return _internal_literals().size();
1691}
1692inline int LratInferredClause::literals_size() const {
1693 return _internal_literals_size();
1694}
1695inline void LratInferredClause::clear_literals() {
1696 ::google::protobuf::internal::TSanWrite(&_impl_);
1697 _impl_.literals_.Clear();
1698 ClearHasBitForRepeated(_impl_._has_bits_[0],
1699 0x00000001U);
1700}
1701inline ::int32_t LratInferredClause::literals(int index) const {
1702 // @@protoc_insertion_point(field_get:operations_research.sat.LratInferredClause.literals)
1703 return _internal_literals().Get(index);
1704}
1705inline void LratInferredClause::set_literals(int index, ::int32_t value) {
1706 _internal_mutable_literals()->Set(index, value);
1707 // @@protoc_insertion_point(field_set:operations_research.sat.LratInferredClause.literals)
1708}
1709inline void LratInferredClause::add_literals(::int32_t value) {
1710 ::google::protobuf::internal::TSanWrite(&_impl_);
1711 _internal_mutable_literals()->Add(value);
1712 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1713 // @@protoc_insertion_point(field_add:operations_research.sat.LratInferredClause.literals)
1714}
1715inline const ::google::protobuf::RepeatedField<::int32_t>& LratInferredClause::literals() const
1716 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1717 // @@protoc_insertion_point(field_list:operations_research.sat.LratInferredClause.literals)
1718 return _internal_literals();
1719}
1720inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL LratInferredClause::mutable_literals()
1721 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1722 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1723 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LratInferredClause.literals)
1724 ::google::protobuf::internal::TSanWrite(&_impl_);
1725 return _internal_mutable_literals();
1726}
1727inline const ::google::protobuf::RepeatedField<::int32_t>&
1728LratInferredClause::_internal_literals() const {
1729 ::google::protobuf::internal::TSanRead(&_impl_);
1730 return _impl_.literals_;
1731}
1732inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL
1733LratInferredClause::_internal_mutable_literals() {
1734 ::google::protobuf::internal::TSanRead(&_impl_);
1735 return &_impl_.literals_;
1736}
1737
1738// repeated int64 unit_ids = 3 [packed = true];
1739inline int LratInferredClause::_internal_unit_ids_size() const {
1740 return _internal_unit_ids().size();
1741}
1742inline int LratInferredClause::unit_ids_size() const {
1743 return _internal_unit_ids_size();
1744}
1745inline void LratInferredClause::clear_unit_ids() {
1746 ::google::protobuf::internal::TSanWrite(&_impl_);
1747 _impl_.unit_ids_.Clear();
1748 ClearHasBitForRepeated(_impl_._has_bits_[0],
1749 0x00000002U);
1750}
1751inline ::int64_t LratInferredClause::unit_ids(int index) const {
1752 // @@protoc_insertion_point(field_get:operations_research.sat.LratInferredClause.unit_ids)
1753 return _internal_unit_ids().Get(index);
1754}
1755inline void LratInferredClause::set_unit_ids(int index, ::int64_t value) {
1756 _internal_mutable_unit_ids()->Set(index, value);
1757 // @@protoc_insertion_point(field_set:operations_research.sat.LratInferredClause.unit_ids)
1758}
1759inline void LratInferredClause::add_unit_ids(::int64_t value) {
1760 ::google::protobuf::internal::TSanWrite(&_impl_);
1761 _internal_mutable_unit_ids()->Add(value);
1762 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);
1763 // @@protoc_insertion_point(field_add:operations_research.sat.LratInferredClause.unit_ids)
1764}
1765inline const ::google::protobuf::RepeatedField<::int64_t>& LratInferredClause::unit_ids() const
1766 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1767 // @@protoc_insertion_point(field_list:operations_research.sat.LratInferredClause.unit_ids)
1768 return _internal_unit_ids();
1769}
1770inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL LratInferredClause::mutable_unit_ids()
1771 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1772 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000002U);
1773 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LratInferredClause.unit_ids)
1774 ::google::protobuf::internal::TSanWrite(&_impl_);
1775 return _internal_mutable_unit_ids();
1776}
1777inline const ::google::protobuf::RepeatedField<::int64_t>&
1778LratInferredClause::_internal_unit_ids() const {
1779 ::google::protobuf::internal::TSanRead(&_impl_);
1780 return _impl_.unit_ids_;
1781}
1782inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL
1783LratInferredClause::_internal_mutable_unit_ids() {
1784 ::google::protobuf::internal::TSanRead(&_impl_);
1785 return &_impl_.unit_ids_;
1786}
1787
1788// repeated .operations_research.sat.LratInferredClause.RatInfo rat_infos = 4;
1789inline int LratInferredClause::_internal_rat_infos_size() const {
1790 return _internal_rat_infos().size();
1791}
1792inline int LratInferredClause::rat_infos_size() const {
1793 return _internal_rat_infos_size();
1794}
1795inline void LratInferredClause::clear_rat_infos() {
1796 ::google::protobuf::internal::TSanWrite(&_impl_);
1797 _impl_.rat_infos_.Clear();
1798 ClearHasBitForRepeated(_impl_._has_bits_[0],
1799 0x00000004U);
1800}
1801inline ::operations_research::sat::LratInferredClause_RatInfo* PROTOBUF_NONNULL LratInferredClause::mutable_rat_infos(int index)
1802 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1803 // @@protoc_insertion_point(field_mutable:operations_research.sat.LratInferredClause.rat_infos)
1804 return _internal_mutable_rat_infos()->Mutable(index);
1805}
1806inline ::google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo>* PROTOBUF_NONNULL LratInferredClause::mutable_rat_infos()
1807 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1808 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000004U);
1809 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LratInferredClause.rat_infos)
1810 ::google::protobuf::internal::TSanWrite(&_impl_);
1811 return _internal_mutable_rat_infos();
1812}
1813inline const ::operations_research::sat::LratInferredClause_RatInfo& LratInferredClause::rat_infos(int index) const
1814 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1815 // @@protoc_insertion_point(field_get:operations_research.sat.LratInferredClause.rat_infos)
1816 return _internal_rat_infos().Get(index);
1817}
1818inline ::operations_research::sat::LratInferredClause_RatInfo* PROTOBUF_NONNULL LratInferredClause::add_rat_infos()
1819 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1820 ::google::protobuf::internal::TSanWrite(&_impl_);
1821 ::operations_research::sat::LratInferredClause_RatInfo* _add =
1822 _internal_mutable_rat_infos()->InternalAddWithArena(
1823 ::google::protobuf::MessageLite::internal_visibility(), GetArena());
1824 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000004U);
1825 // @@protoc_insertion_point(field_add:operations_research.sat.LratInferredClause.rat_infos)
1826 return _add;
1827}
1828inline const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo>& LratInferredClause::rat_infos() const
1829 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1830 // @@protoc_insertion_point(field_list:operations_research.sat.LratInferredClause.rat_infos)
1831 return _internal_rat_infos();
1832}
1833inline const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo>&
1834LratInferredClause::_internal_rat_infos() const {
1835 ::google::protobuf::internal::TSanRead(&_impl_);
1836 return _impl_.rat_infos_;
1837}
1838inline ::google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo>* PROTOBUF_NONNULL
1839LratInferredClause::_internal_mutable_rat_infos() {
1840 ::google::protobuf::internal::TSanRead(&_impl_);
1841 return &_impl_.rat_infos_;
1842}
1843
1844// optional bool exported = 5;
1845inline bool LratInferredClause::has_exported() const {
1846 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000010U);
1847 return value;
1848}
1849inline void LratInferredClause::clear_exported() {
1850 ::google::protobuf::internal::TSanWrite(&_impl_);
1851 _impl_.exported_ = false;
1852 ClearHasBit(_impl_._has_bits_[0],
1853 0x00000010U);
1854}
1855inline bool LratInferredClause::exported() const {
1856 // @@protoc_insertion_point(field_get:operations_research.sat.LratInferredClause.exported)
1857 return _internal_exported();
1858}
1859inline void LratInferredClause::set_exported(bool value) {
1860 _internal_set_exported(value);
1861 SetHasBit(_impl_._has_bits_[0], 0x00000010U);
1862 // @@protoc_insertion_point(field_set:operations_research.sat.LratInferredClause.exported)
1863}
1864inline bool LratInferredClause::_internal_exported() const {
1865 ::google::protobuf::internal::TSanRead(&_impl_);
1866 return _impl_.exported_;
1867}
1868inline void LratInferredClause::_internal_set_exported(bool value) {
1869 ::google::protobuf::internal::TSanWrite(&_impl_);
1870 _impl_.exported_ = value;
1871}
1872
1873// -------------------------------------------------------------------
1874
1875// LratExportedClause
1876
1877// optional int64 clause_id = 1;
1878inline bool LratExportedClause::has_clause_id() const {
1879 bool value = CheckHasBit(_impl_._has_bits_[0], 0x00000002U);
1880 return value;
1881}
1882inline void LratExportedClause::clear_clause_id() {
1883 ::google::protobuf::internal::TSanWrite(&_impl_);
1884 _impl_.clause_id_ = ::int64_t{0};
1885 ClearHasBit(_impl_._has_bits_[0],
1886 0x00000002U);
1887}
1888inline ::int64_t LratExportedClause::clause_id() const {
1889 // @@protoc_insertion_point(field_get:operations_research.sat.LratExportedClause.clause_id)
1890 return _internal_clause_id();
1891}
1892inline void LratExportedClause::set_clause_id(::int64_t value) {
1893 _internal_set_clause_id(value);
1894 SetHasBit(_impl_._has_bits_[0], 0x00000002U);
1895 // @@protoc_insertion_point(field_set:operations_research.sat.LratExportedClause.clause_id)
1896}
1897inline ::int64_t LratExportedClause::_internal_clause_id() const {
1898 ::google::protobuf::internal::TSanRead(&_impl_);
1899 return _impl_.clause_id_;
1900}
1901inline void LratExportedClause::_internal_set_clause_id(::int64_t value) {
1902 ::google::protobuf::internal::TSanWrite(&_impl_);
1903 _impl_.clause_id_ = value;
1904}
1905
1906// repeated int32 literals = 2 [packed = true];
1907inline int LratExportedClause::_internal_literals_size() const {
1908 return _internal_literals().size();
1909}
1910inline int LratExportedClause::literals_size() const {
1911 return _internal_literals_size();
1912}
1913inline void LratExportedClause::clear_literals() {
1914 ::google::protobuf::internal::TSanWrite(&_impl_);
1915 _impl_.literals_.Clear();
1916 ClearHasBitForRepeated(_impl_._has_bits_[0],
1917 0x00000001U);
1918}
1919inline ::int32_t LratExportedClause::literals(int index) const {
1920 // @@protoc_insertion_point(field_get:operations_research.sat.LratExportedClause.literals)
1921 return _internal_literals().Get(index);
1922}
1923inline void LratExportedClause::set_literals(int index, ::int32_t value) {
1924 _internal_mutable_literals()->Set(index, value);
1925 // @@protoc_insertion_point(field_set:operations_research.sat.LratExportedClause.literals)
1926}
1927inline void LratExportedClause::add_literals(::int32_t value) {
1928 ::google::protobuf::internal::TSanWrite(&_impl_);
1929 _internal_mutable_literals()->Add(value);
1930 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1931 // @@protoc_insertion_point(field_add:operations_research.sat.LratExportedClause.literals)
1932}
1933inline const ::google::protobuf::RepeatedField<::int32_t>& LratExportedClause::literals() const
1934 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1935 // @@protoc_insertion_point(field_list:operations_research.sat.LratExportedClause.literals)
1936 return _internal_literals();
1937}
1938inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL LratExportedClause::mutable_literals()
1939 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1940 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1941 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LratExportedClause.literals)
1942 ::google::protobuf::internal::TSanWrite(&_impl_);
1943 return _internal_mutable_literals();
1944}
1945inline const ::google::protobuf::RepeatedField<::int32_t>&
1946LratExportedClause::_internal_literals() const {
1947 ::google::protobuf::internal::TSanRead(&_impl_);
1948 return _impl_.literals_;
1949}
1950inline ::google::protobuf::RepeatedField<::int32_t>* PROTOBUF_NONNULL
1951LratExportedClause::_internal_mutable_literals() {
1952 ::google::protobuf::internal::TSanRead(&_impl_);
1953 return &_impl_.literals_;
1954}
1955
1956// -------------------------------------------------------------------
1957
1958// LratDeletedClauses
1959
1960// repeated int64 clause_ids = 1 [packed = true];
1961inline int LratDeletedClauses::_internal_clause_ids_size() const {
1962 return _internal_clause_ids().size();
1963}
1964inline int LratDeletedClauses::clause_ids_size() const {
1965 return _internal_clause_ids_size();
1966}
1967inline void LratDeletedClauses::clear_clause_ids() {
1968 ::google::protobuf::internal::TSanWrite(&_impl_);
1969 _impl_.clause_ids_.Clear();
1970 ClearHasBitForRepeated(_impl_._has_bits_[0],
1971 0x00000001U);
1972}
1973inline ::int64_t LratDeletedClauses::clause_ids(int index) const {
1974 // @@protoc_insertion_point(field_get:operations_research.sat.LratDeletedClauses.clause_ids)
1975 return _internal_clause_ids().Get(index);
1976}
1977inline void LratDeletedClauses::set_clause_ids(int index, ::int64_t value) {
1978 _internal_mutable_clause_ids()->Set(index, value);
1979 // @@protoc_insertion_point(field_set:operations_research.sat.LratDeletedClauses.clause_ids)
1980}
1981inline void LratDeletedClauses::add_clause_ids(::int64_t value) {
1982 ::google::protobuf::internal::TSanWrite(&_impl_);
1983 _internal_mutable_clause_ids()->Add(value);
1984 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1985 // @@protoc_insertion_point(field_add:operations_research.sat.LratDeletedClauses.clause_ids)
1986}
1987inline const ::google::protobuf::RepeatedField<::int64_t>& LratDeletedClauses::clause_ids() const
1988 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1989 // @@protoc_insertion_point(field_list:operations_research.sat.LratDeletedClauses.clause_ids)
1990 return _internal_clause_ids();
1991}
1992inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL LratDeletedClauses::mutable_clause_ids()
1993 ABSL_ATTRIBUTE_LIFETIME_BOUND {
1994 SetHasBitForRepeated(_impl_._has_bits_[0], 0x00000001U);
1995 // @@protoc_insertion_point(field_mutable_list:operations_research.sat.LratDeletedClauses.clause_ids)
1996 ::google::protobuf::internal::TSanWrite(&_impl_);
1997 return _internal_mutable_clause_ids();
1998}
1999inline const ::google::protobuf::RepeatedField<::int64_t>&
2000LratDeletedClauses::_internal_clause_ids() const {
2001 ::google::protobuf::internal::TSanRead(&_impl_);
2002 return _impl_.clause_ids_;
2003}
2004inline ::google::protobuf::RepeatedField<::int64_t>* PROTOBUF_NONNULL
2005LratDeletedClauses::_internal_mutable_clause_ids() {
2006 ::google::protobuf::internal::TSanRead(&_impl_);
2007 return &_impl_.clause_ids_;
2008}
2009
2010// -------------------------------------------------------------------
2011
2012// LratProofStep
2013
2014// .operations_research.sat.LratImportedClause imported_clause = 1;
2015inline bool LratProofStep::has_imported_clause() const {
2016 return step_case() == kImportedClause;
2017}
2018inline bool LratProofStep::_internal_has_imported_clause() const {
2019 return step_case() == kImportedClause;
2020}
2021inline void LratProofStep::set_has_imported_clause() {
2022 _impl_._oneof_case_[0] = kImportedClause;
2023}
2024inline void LratProofStep::clear_imported_clause() {
2025 ::google::protobuf::internal::TSanWrite(&_impl_);
2026 if (step_case() == kImportedClause) {
2027 if (GetArena() == nullptr) {
2028 delete _impl_.step_.imported_clause_;
2029 } else if (::google::protobuf::internal::DebugHardenClearOneofMessageOnArena()) {
2030 ::google::protobuf::internal::MaybePoisonAfterClear(_impl_.step_.imported_clause_);
2031 }
2032 clear_has_step();
2033 }
2034}
2035inline ::operations_research::sat::LratImportedClause* PROTOBUF_NULLABLE LratProofStep::release_imported_clause() {
2036 // @@protoc_insertion_point(field_release:operations_research.sat.LratProofStep.imported_clause)
2037 if (step_case() == kImportedClause) {
2038 clear_has_step();
2039 auto* temp = reinterpret_cast<::operations_research::sat::LratImportedClause*>(_impl_.step_.imported_clause_);
2040 if (GetArena() != nullptr) {
2041 temp = ::google::protobuf::internal::DuplicateIfNonNull(temp);
2042 }
2043 _impl_.step_.imported_clause_ = nullptr;
2044 return temp;
2045 } else {
2046 return nullptr;
2047 }
2048}
2049inline const ::operations_research::sat::LratImportedClause& LratProofStep::_internal_imported_clause() const {
2050 return step_case() == kImportedClause ? static_cast<const ::operations_research::sat::LratImportedClause&>(*reinterpret_cast<::operations_research::sat::LratImportedClause*>(_impl_.step_.imported_clause_))
2051 : reinterpret_cast<const ::operations_research::sat::LratImportedClause&>(::operations_research::sat::_LratImportedClause_default_instance_);
2052}
2053inline const ::operations_research::sat::LratImportedClause& LratProofStep::imported_clause() const ABSL_ATTRIBUTE_LIFETIME_BOUND {
2054 // @@protoc_insertion_point(field_get:operations_research.sat.LratProofStep.imported_clause)
2055 return _internal_imported_clause();
2056}
2057inline ::operations_research::sat::LratImportedClause* PROTOBUF_NULLABLE LratProofStep::unsafe_arena_release_imported_clause() {
2058 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.LratProofStep.imported_clause)
2059 if (step_case() == kImportedClause) {
2060 clear_has_step();
2061 auto* temp = reinterpret_cast<::operations_research::sat::LratImportedClause*>(_impl_.step_.imported_clause_);
2062 _impl_.step_.imported_clause_ = nullptr;
2063 return temp;
2064 } else {
2065 return nullptr;
2066 }
2067}
2068inline void LratProofStep::unsafe_arena_set_allocated_imported_clause(
2069 ::operations_research::sat::LratImportedClause* PROTOBUF_NULLABLE value) {
2070 // We rely on the oneof clear method to free the earlier contents
2071 // of this oneof. We can directly use the pointer we're given to
2072 // set the new value.
2073 clear_step();
2074 if (value) {
2075 set_has_imported_clause();
2076 _impl_.step_.imported_clause_ = reinterpret_cast<::google::protobuf::Message*>(value);
2077 }
2078 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.LratProofStep.imported_clause)
2079}
2080inline ::operations_research::sat::LratImportedClause* PROTOBUF_NONNULL LratProofStep::_internal_mutable_imported_clause() {
2081 if (step_case() != kImportedClause) {
2082 clear_step();
2083 set_has_imported_clause();
2084 _impl_.step_.imported_clause_ = reinterpret_cast<::google::protobuf::Message*>(
2085 ::google::protobuf::Message::DefaultConstruct<::operations_research::sat::LratImportedClause>(GetArena()));
2086 }
2087 return reinterpret_cast<::operations_research::sat::LratImportedClause*>(_impl_.step_.imported_clause_);
2088}
2089inline ::operations_research::sat::LratImportedClause* PROTOBUF_NONNULL LratProofStep::mutable_imported_clause()
2090 ABSL_ATTRIBUTE_LIFETIME_BOUND {
2091 ::operations_research::sat::LratImportedClause* _msg = _internal_mutable_imported_clause();
2092 // @@protoc_insertion_point(field_mutable:operations_research.sat.LratProofStep.imported_clause)
2093 return _msg;
2094}
2095
2096// .operations_research.sat.LratInferredClause inferred_clause = 2;
2097inline bool LratProofStep::has_inferred_clause() const {
2098 return step_case() == kInferredClause;
2099}
2100inline bool LratProofStep::_internal_has_inferred_clause() const {
2101 return step_case() == kInferredClause;
2102}
2103inline void LratProofStep::set_has_inferred_clause() {
2104 _impl_._oneof_case_[0] = kInferredClause;
2105}
2106inline void LratProofStep::clear_inferred_clause() {
2107 ::google::protobuf::internal::TSanWrite(&_impl_);
2108 if (step_case() == kInferredClause) {
2109 if (GetArena() == nullptr) {
2110 delete _impl_.step_.inferred_clause_;
2111 } else if (::google::protobuf::internal::DebugHardenClearOneofMessageOnArena()) {
2112 ::google::protobuf::internal::MaybePoisonAfterClear(_impl_.step_.inferred_clause_);
2113 }
2114 clear_has_step();
2115 }
2116}
2117inline ::operations_research::sat::LratInferredClause* PROTOBUF_NULLABLE LratProofStep::release_inferred_clause() {
2118 // @@protoc_insertion_point(field_release:operations_research.sat.LratProofStep.inferred_clause)
2119 if (step_case() == kInferredClause) {
2120 clear_has_step();
2121 auto* temp = reinterpret_cast<::operations_research::sat::LratInferredClause*>(_impl_.step_.inferred_clause_);
2122 if (GetArena() != nullptr) {
2123 temp = ::google::protobuf::internal::DuplicateIfNonNull(temp);
2124 }
2125 _impl_.step_.inferred_clause_ = nullptr;
2126 return temp;
2127 } else {
2128 return nullptr;
2129 }
2130}
2131inline const ::operations_research::sat::LratInferredClause& LratProofStep::_internal_inferred_clause() const {
2132 return step_case() == kInferredClause ? static_cast<const ::operations_research::sat::LratInferredClause&>(*reinterpret_cast<::operations_research::sat::LratInferredClause*>(_impl_.step_.inferred_clause_))
2133 : reinterpret_cast<const ::operations_research::sat::LratInferredClause&>(::operations_research::sat::_LratInferredClause_default_instance_);
2134}
2135inline const ::operations_research::sat::LratInferredClause& LratProofStep::inferred_clause() const ABSL_ATTRIBUTE_LIFETIME_BOUND {
2136 // @@protoc_insertion_point(field_get:operations_research.sat.LratProofStep.inferred_clause)
2137 return _internal_inferred_clause();
2138}
2139inline ::operations_research::sat::LratInferredClause* PROTOBUF_NULLABLE LratProofStep::unsafe_arena_release_inferred_clause() {
2140 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.LratProofStep.inferred_clause)
2141 if (step_case() == kInferredClause) {
2142 clear_has_step();
2143 auto* temp = reinterpret_cast<::operations_research::sat::LratInferredClause*>(_impl_.step_.inferred_clause_);
2144 _impl_.step_.inferred_clause_ = nullptr;
2145 return temp;
2146 } else {
2147 return nullptr;
2148 }
2149}
2150inline void LratProofStep::unsafe_arena_set_allocated_inferred_clause(
2151 ::operations_research::sat::LratInferredClause* PROTOBUF_NULLABLE value) {
2152 // We rely on the oneof clear method to free the earlier contents
2153 // of this oneof. We can directly use the pointer we're given to
2154 // set the new value.
2155 clear_step();
2156 if (value) {
2157 set_has_inferred_clause();
2158 _impl_.step_.inferred_clause_ = reinterpret_cast<::google::protobuf::Message*>(value);
2159 }
2160 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.LratProofStep.inferred_clause)
2161}
2162inline ::operations_research::sat::LratInferredClause* PROTOBUF_NONNULL LratProofStep::_internal_mutable_inferred_clause() {
2163 if (step_case() != kInferredClause) {
2164 clear_step();
2165 set_has_inferred_clause();
2166 _impl_.step_.inferred_clause_ = reinterpret_cast<::google::protobuf::Message*>(
2167 ::google::protobuf::Message::DefaultConstruct<::operations_research::sat::LratInferredClause>(GetArena()));
2168 }
2169 return reinterpret_cast<::operations_research::sat::LratInferredClause*>(_impl_.step_.inferred_clause_);
2170}
2171inline ::operations_research::sat::LratInferredClause* PROTOBUF_NONNULL LratProofStep::mutable_inferred_clause()
2172 ABSL_ATTRIBUTE_LIFETIME_BOUND {
2173 ::operations_research::sat::LratInferredClause* _msg = _internal_mutable_inferred_clause();
2174 // @@protoc_insertion_point(field_mutable:operations_research.sat.LratProofStep.inferred_clause)
2175 return _msg;
2176}
2177
2178// .operations_research.sat.LratExportedClause exported_clause = 3;
2179inline bool LratProofStep::has_exported_clause() const {
2180 return step_case() == kExportedClause;
2181}
2182inline bool LratProofStep::_internal_has_exported_clause() const {
2183 return step_case() == kExportedClause;
2184}
2185inline void LratProofStep::set_has_exported_clause() {
2186 _impl_._oneof_case_[0] = kExportedClause;
2187}
2188inline void LratProofStep::clear_exported_clause() {
2189 ::google::protobuf::internal::TSanWrite(&_impl_);
2190 if (step_case() == kExportedClause) {
2191 if (GetArena() == nullptr) {
2192 delete _impl_.step_.exported_clause_;
2193 } else if (::google::protobuf::internal::DebugHardenClearOneofMessageOnArena()) {
2194 ::google::protobuf::internal::MaybePoisonAfterClear(_impl_.step_.exported_clause_);
2195 }
2196 clear_has_step();
2197 }
2198}
2199inline ::operations_research::sat::LratExportedClause* PROTOBUF_NULLABLE LratProofStep::release_exported_clause() {
2200 // @@protoc_insertion_point(field_release:operations_research.sat.LratProofStep.exported_clause)
2201 if (step_case() == kExportedClause) {
2202 clear_has_step();
2203 auto* temp = reinterpret_cast<::operations_research::sat::LratExportedClause*>(_impl_.step_.exported_clause_);
2204 if (GetArena() != nullptr) {
2205 temp = ::google::protobuf::internal::DuplicateIfNonNull(temp);
2206 }
2207 _impl_.step_.exported_clause_ = nullptr;
2208 return temp;
2209 } else {
2210 return nullptr;
2211 }
2212}
2213inline const ::operations_research::sat::LratExportedClause& LratProofStep::_internal_exported_clause() const {
2214 return step_case() == kExportedClause ? static_cast<const ::operations_research::sat::LratExportedClause&>(*reinterpret_cast<::operations_research::sat::LratExportedClause*>(_impl_.step_.exported_clause_))
2215 : reinterpret_cast<const ::operations_research::sat::LratExportedClause&>(::operations_research::sat::_LratExportedClause_default_instance_);
2216}
2217inline const ::operations_research::sat::LratExportedClause& LratProofStep::exported_clause() const ABSL_ATTRIBUTE_LIFETIME_BOUND {
2218 // @@protoc_insertion_point(field_get:operations_research.sat.LratProofStep.exported_clause)
2219 return _internal_exported_clause();
2220}
2221inline ::operations_research::sat::LratExportedClause* PROTOBUF_NULLABLE LratProofStep::unsafe_arena_release_exported_clause() {
2222 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.LratProofStep.exported_clause)
2223 if (step_case() == kExportedClause) {
2224 clear_has_step();
2225 auto* temp = reinterpret_cast<::operations_research::sat::LratExportedClause*>(_impl_.step_.exported_clause_);
2226 _impl_.step_.exported_clause_ = nullptr;
2227 return temp;
2228 } else {
2229 return nullptr;
2230 }
2231}
2232inline void LratProofStep::unsafe_arena_set_allocated_exported_clause(
2233 ::operations_research::sat::LratExportedClause* PROTOBUF_NULLABLE value) {
2234 // We rely on the oneof clear method to free the earlier contents
2235 // of this oneof. We can directly use the pointer we're given to
2236 // set the new value.
2237 clear_step();
2238 if (value) {
2239 set_has_exported_clause();
2240 _impl_.step_.exported_clause_ = reinterpret_cast<::google::protobuf::Message*>(value);
2241 }
2242 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.LratProofStep.exported_clause)
2243}
2244inline ::operations_research::sat::LratExportedClause* PROTOBUF_NONNULL LratProofStep::_internal_mutable_exported_clause() {
2245 if (step_case() != kExportedClause) {
2246 clear_step();
2247 set_has_exported_clause();
2248 _impl_.step_.exported_clause_ = reinterpret_cast<::google::protobuf::Message*>(
2249 ::google::protobuf::Message::DefaultConstruct<::operations_research::sat::LratExportedClause>(GetArena()));
2250 }
2251 return reinterpret_cast<::operations_research::sat::LratExportedClause*>(_impl_.step_.exported_clause_);
2252}
2253inline ::operations_research::sat::LratExportedClause* PROTOBUF_NONNULL LratProofStep::mutable_exported_clause()
2254 ABSL_ATTRIBUTE_LIFETIME_BOUND {
2255 ::operations_research::sat::LratExportedClause* _msg = _internal_mutable_exported_clause();
2256 // @@protoc_insertion_point(field_mutable:operations_research.sat.LratProofStep.exported_clause)
2257 return _msg;
2258}
2259
2260// .operations_research.sat.LratDeletedClauses deleted_clauses = 4;
2261inline bool LratProofStep::has_deleted_clauses() const {
2262 return step_case() == kDeletedClauses;
2263}
2264inline bool LratProofStep::_internal_has_deleted_clauses() const {
2265 return step_case() == kDeletedClauses;
2266}
2267inline void LratProofStep::set_has_deleted_clauses() {
2268 _impl_._oneof_case_[0] = kDeletedClauses;
2269}
2270inline void LratProofStep::clear_deleted_clauses() {
2271 ::google::protobuf::internal::TSanWrite(&_impl_);
2272 if (step_case() == kDeletedClauses) {
2273 if (GetArena() == nullptr) {
2274 delete _impl_.step_.deleted_clauses_;
2275 } else if (::google::protobuf::internal::DebugHardenClearOneofMessageOnArena()) {
2276 ::google::protobuf::internal::MaybePoisonAfterClear(_impl_.step_.deleted_clauses_);
2277 }
2278 clear_has_step();
2279 }
2280}
2281inline ::operations_research::sat::LratDeletedClauses* PROTOBUF_NULLABLE LratProofStep::release_deleted_clauses() {
2282 // @@protoc_insertion_point(field_release:operations_research.sat.LratProofStep.deleted_clauses)
2283 if (step_case() == kDeletedClauses) {
2284 clear_has_step();
2285 auto* temp = reinterpret_cast<::operations_research::sat::LratDeletedClauses*>(_impl_.step_.deleted_clauses_);
2286 if (GetArena() != nullptr) {
2287 temp = ::google::protobuf::internal::DuplicateIfNonNull(temp);
2288 }
2289 _impl_.step_.deleted_clauses_ = nullptr;
2290 return temp;
2291 } else {
2292 return nullptr;
2293 }
2294}
2295inline const ::operations_research::sat::LratDeletedClauses& LratProofStep::_internal_deleted_clauses() const {
2296 return step_case() == kDeletedClauses ? static_cast<const ::operations_research::sat::LratDeletedClauses&>(*reinterpret_cast<::operations_research::sat::LratDeletedClauses*>(_impl_.step_.deleted_clauses_))
2297 : reinterpret_cast<const ::operations_research::sat::LratDeletedClauses&>(::operations_research::sat::_LratDeletedClauses_default_instance_);
2298}
2299inline const ::operations_research::sat::LratDeletedClauses& LratProofStep::deleted_clauses() const ABSL_ATTRIBUTE_LIFETIME_BOUND {
2300 // @@protoc_insertion_point(field_get:operations_research.sat.LratProofStep.deleted_clauses)
2301 return _internal_deleted_clauses();
2302}
2303inline ::operations_research::sat::LratDeletedClauses* PROTOBUF_NULLABLE LratProofStep::unsafe_arena_release_deleted_clauses() {
2304 // @@protoc_insertion_point(field_unsafe_arena_release:operations_research.sat.LratProofStep.deleted_clauses)
2305 if (step_case() == kDeletedClauses) {
2306 clear_has_step();
2307 auto* temp = reinterpret_cast<::operations_research::sat::LratDeletedClauses*>(_impl_.step_.deleted_clauses_);
2308 _impl_.step_.deleted_clauses_ = nullptr;
2309 return temp;
2310 } else {
2311 return nullptr;
2312 }
2313}
2314inline void LratProofStep::unsafe_arena_set_allocated_deleted_clauses(
2315 ::operations_research::sat::LratDeletedClauses* PROTOBUF_NULLABLE value) {
2316 // We rely on the oneof clear method to free the earlier contents
2317 // of this oneof. We can directly use the pointer we're given to
2318 // set the new value.
2319 clear_step();
2320 if (value) {
2321 set_has_deleted_clauses();
2322 _impl_.step_.deleted_clauses_ = reinterpret_cast<::google::protobuf::Message*>(value);
2323 }
2324 // @@protoc_insertion_point(field_unsafe_arena_set_allocated:operations_research.sat.LratProofStep.deleted_clauses)
2325}
2326inline ::operations_research::sat::LratDeletedClauses* PROTOBUF_NONNULL LratProofStep::_internal_mutable_deleted_clauses() {
2327 if (step_case() != kDeletedClauses) {
2328 clear_step();
2329 set_has_deleted_clauses();
2330 _impl_.step_.deleted_clauses_ = reinterpret_cast<::google::protobuf::Message*>(
2331 ::google::protobuf::Message::DefaultConstruct<::operations_research::sat::LratDeletedClauses>(GetArena()));
2332 }
2333 return reinterpret_cast<::operations_research::sat::LratDeletedClauses*>(_impl_.step_.deleted_clauses_);
2334}
2335inline ::operations_research::sat::LratDeletedClauses* PROTOBUF_NONNULL LratProofStep::mutable_deleted_clauses()
2336 ABSL_ATTRIBUTE_LIFETIME_BOUND {
2337 ::operations_research::sat::LratDeletedClauses* _msg = _internal_mutable_deleted_clauses();
2338 // @@protoc_insertion_point(field_mutable:operations_research.sat.LratProofStep.deleted_clauses)
2339 return _msg;
2340}
2341
2342inline bool LratProofStep::has_step() const {
2343 return step_case() != STEP_NOT_SET;
2344}
2345inline void LratProofStep::clear_has_step() {
2346 _impl_._oneof_case_[0] = STEP_NOT_SET;
2347}
2348inline LratProofStep::StepCase LratProofStep::step_case() const {
2349 return LratProofStep::StepCase(_impl_._oneof_case_[0]);
2350}
2351#ifdef __GNUC__
2352#pragma GCC diagnostic pop
2353#endif // __GNUC__
2354
2355// @@protoc_insertion_point(namespace_scope)
2356} // namespace sat
2357} // namespace operations_research
2358
2359
2360// @@protoc_insertion_point(global_scope)
2361
2362#include "google/protobuf/port_undef.inc"
2363
2364#endif // ortools_2fsat_2flrat_2eproto_2epb_2eh
operations_research::sat::LratDeletedClauses::_Internal
Definition lrat.pb.cc:1665
operations_research::sat::LratDeletedClauses
Definition lrat.pb.h:738
operations_research::sat::LratDeletedClauses::MergeFrom
void MergeFrom(const LratDeletedClauses &from)
Definition lrat.pb.h:816
operations_research::sat::LratDeletedClauses::add_clause_ids
void add_clause_ids(::int64_t value)
Definition lrat.pb.h:1995
operations_research::sat::LratDeletedClauses::descriptor
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL descriptor()
Definition lrat.pb.h:779
operations_research::sat::LratDeletedClauses::clause_ids
::int64_t clause_ids(int index) const
Definition lrat.pb.h:1987
operations_research::sat::LratDeletedClauses::GetDescriptor
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor()
Definition lrat.pb.h:782
operations_research::sat::LratDeletedClauses::_impl_
Impl_ _impl_
Definition lrat.pb.h:929
operations_research::sat::LratDeletedClauses::clause_ids_size
int clause_ids_size() const
Definition lrat.pb.h:1978
operations_research::sat::LratDeletedClauses::CopyFrom
void CopyFrom(const LratDeletedClauses &from)
Definition lrat.pb.cc:1924
operations_research::sat::LratDeletedClauses::New
LratDeletedClauses *PROTOBUF_NONNULL New(::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
Definition lrat.pb.h:810
operations_research::sat::LratDeletedClauses::clear_clause_ids
void clear_clause_ids()
Definition lrat.pb.h:1981
operations_research::sat::LratDeletedClauses::unknown_fields
const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND
Definition lrat.pb.h:770
operations_research::sat::LratDeletedClauses::swap
friend void swap(LratDeletedClauses &a, LratDeletedClauses &b)
Definition lrat.pb.h:793
operations_research::sat::LratDeletedClauses::set_clause_ids
void set_clause_ids(int index, ::int64_t value)
Definition lrat.pb.h:1991
operations_research::sat::LratDeletedClauses::ByteSizeLong
::size_t ByteSizeLong() const final
Definition lrat.pb.cc:1877
operations_research::sat::LratDeletedClauses::operator=
LratDeletedClauses & operator=(const LratDeletedClauses &from)
Definition lrat.pb.h:756
operations_research::sat::LratDeletedClauses::LratDeletedClauses
LratDeletedClauses()
Definition lrat.pb.h:740
operations_research::sat::LratDeletedClauses::Swap
void Swap(LratDeletedClauses *PROTOBUF_NONNULL other)
Definition lrat.pb.h:794
operations_research::sat::LratDeletedClauses::clause_ids
const ::google::protobuf::RepeatedField<::int64_t > & clause_ids() const
Definition lrat.pb.h:2001
operations_research::sat::LratDeletedClauses::IsInitialized
bool IsInitialized() const
Definition lrat.pb.h:823
operations_research::sat::LratDeletedClauses::_InternalSerialize
::uint8_t *PROTOBUF_NONNULL _InternalSerialize(::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
Definition lrat.pb.cc:1840
operations_research::sat::LratDeletedClauses::mutable_clause_ids
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_clause_ids()
Definition lrat.pb.h:2006
operations_research::sat::LratExportedClause::_Internal
Definition lrat.pb.cc:1358
operations_research::sat::LratExportedClause
Definition lrat.pb.h:525
operations_research::sat::LratExportedClause::default_instance
static const LratExportedClause & default_instance()
Definition lrat.pb.h:575
operations_research::sat::LratExportedClause::MessageLite
friend class ::google::protobuf::MessageLite
Definition lrat.pb.h:707
operations_research::sat::LratExportedClause::clear_literals
void clear_literals()
Definition lrat.pb.h:1926
operations_research::sat::LratExportedClause::swap
friend void swap(LratExportedClause &a, LratExportedClause &b)
Definition lrat.pb.h:580
operations_research::sat::LratExportedClause::ByteSizeLong
::size_t ByteSizeLong() const final
Definition lrat.pb.cc:1586
operations_research::sat::LratExportedClause::descriptor
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL descriptor()
Definition lrat.pb.h:566
operations_research::sat::LratExportedClause::MergeFrom
void MergeFrom(const LratExportedClause &from)
Definition lrat.pb.h:603
operations_research::sat::LratExportedClause::LratExportedClause
LratExportedClause()
Definition lrat.pb.h:527
operations_research::sat::LratExportedClause::operator=
LratExportedClause & operator=(const LratExportedClause &from)
Definition lrat.pb.h:543
operations_research::sat::LratExportedClause::literals
::int32_t literals(int index) const
Definition lrat.pb.h:1932
operations_research::sat::LratExportedClause::unknown_fields
const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND
Definition lrat.pb.h:557
operations_research::sat::LratExportedClause::literals
const ::google::protobuf::RepeatedField<::int32_t > & literals() const
Definition lrat.pb.h:1946
operations_research::sat::LratExportedClause::IsInitialized
bool IsInitialized() const
Definition lrat.pb.h:610
operations_research::sat::LratExportedClause::clause_id
::int64_t clause_id() const
Definition lrat.pb.h:1901
operations_research::sat::LratExportedClause::mutable_unknown_fields
inline ::google::protobuf::UnknownFieldSet *PROTOBUF_NONNULL mutable_unknown_fields() ABSL_ATTRIBUTE_LIFETIME_BOUND
Definition lrat.pb.h:561
operations_research::sat::LratExportedClause::has_clause_id
bool has_clause_id() const
Definition lrat.pb.h:1891
operations_research::sat::LratExportedClause::LratExportedClause
PROTOBUF_CONSTEXPR LratExportedClause(::google::protobuf::internal::ConstantInitialized)
operations_research::sat::LratExportedClause::GetDescriptor
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor()
Definition lrat.pb.h:569
operations_research::sat::LratExportedClause::_InternalSerialize
::uint8_t *PROTOBUF_NONNULL _InternalSerialize(::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
Definition lrat.pb.cc:1542
operations_research::sat::LratExportedClause::mutable_literals
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_literals()
Definition lrat.pb.h:1951
operations_research::sat::LratExportedClause::set_literals
void set_literals(int index, ::int32_t value)
Definition lrat.pb.h:1936
operations_research::sat::LratExportedClause::add_literals
void add_literals(::int32_t value)
Definition lrat.pb.h:1940
operations_research::sat::LratExportedClause::set_clause_id
void set_clause_id(::int64_t value)
Definition lrat.pb.h:1905
operations_research::sat::LratExportedClause::Swap
void Swap(LratExportedClause *PROTOBUF_NONNULL other)
Definition lrat.pb.h:581
operations_research::sat::LratExportedClause::CopyFrom
void CopyFrom(const LratExportedClause &from)
Definition lrat.pb.cc:1643
operations_research::sat::LratExportedClause::_impl_
Impl_ _impl_
Definition lrat.pb.h:729
operations_research::sat::LratExportedClause::kIndexInFileMessages
static constexpr int kIndexInFileMessages
Definition lrat.pb.h:579
operations_research::sat::LratExportedClause::clear_clause_id
void clear_clause_id()
Definition lrat.pb.h:1895
operations_research::sat::LratExportedClause::literals_size
int literals_size() const
Definition lrat.pb.h:1923
operations_research::sat::LratImportedClause::_Internal
Definition lrat.pb.cc:312
operations_research::sat::LratImportedClause
Definition lrat.pb.h:312
operations_research::sat::LratImportedClause::MergeFrom
void MergeFrom(const LratImportedClause &from)
Definition lrat.pb.h:390
operations_research::sat::LratImportedClause::Clear
ABSL_ATTRIBUTE_REINITIALIZES void Clear() PROTOBUF_FINAL
Definition lrat.pb.cc:474
operations_research::sat::LratImportedClause::MessageLite
friend class ::google::protobuf::MessageLite
Definition lrat.pb.h:494
operations_research::sat::LratImportedClause::add_literals
void add_literals(::int32_t value)
Definition lrat.pb.h:1553
operations_research::sat::LratImportedClause::literals
::int32_t literals(int index) const
Definition lrat.pb.h:1545
operations_research::sat::LratImportedClause::default_instance
static const LratImportedClause & default_instance()
Definition lrat.pb.h:362
operations_research::sat::LratImportedClause::set_clause_id
void set_clause_id(::int64_t value)
Definition lrat.pb.h:1518
operations_research::sat::LratImportedClause::GetReflection
static const ::google::protobuf::Reflection *PROTOBUF_NONNULL GetReflection()
Definition lrat.pb.h:359
operations_research::sat::LratImportedClause::LratImportedClause
PROTOBUF_CONSTEXPR LratImportedClause(::google::protobuf::internal::ConstantInitialized)
operations_research::sat::LratImportedClause::unknown_fields
const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND
Definition lrat.pb.h:344
operations_research::sat::LratImportedClause::LratImportedClause
LratImportedClause()
Definition lrat.pb.h:314
operations_research::sat::LratImportedClause::clear_literals
void clear_literals()
Definition lrat.pb.h:1539
operations_research::sat::LratImportedClause::literals
const ::google::protobuf::RepeatedField<::int32_t > & literals() const
Definition lrat.pb.h:1559
operations_research::sat::LratImportedClause::GetDescriptor
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor()
Definition lrat.pb.h:356
operations_research::sat::LratImportedClause::clause_id
::int64_t clause_id() const
Definition lrat.pb.h:1514
operations_research::sat::LratImportedClause::literals_size
int literals_size() const
Definition lrat.pb.h:1536
operations_research::sat::LratImportedClause::IsInitialized
bool IsInitialized() const
Definition lrat.pb.h:397
operations_research::sat::LratImportedClause::_impl_
Impl_ _impl_
Definition lrat.pb.h:516
operations_research::sat::LratImportedClause::Swap
void Swap(LratImportedClause *PROTOBUF_NONNULL other)
Definition lrat.pb.h:368
operations_research::sat::LratImportedClause::mutable_literals
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_literals()
Definition lrat.pb.h:1564
operations_research::sat::LratImportedClause::clear_clause_id
void clear_clause_id()
Definition lrat.pb.h:1508
operations_research::sat::LratImportedClause::operator=
LratImportedClause & operator=(const LratImportedClause &from)
Definition lrat.pb.h:330
operations_research::sat::LratImportedClause::set_literals
void set_literals(int index, ::int32_t value)
Definition lrat.pb.h:1549
operations_research::sat::LratImportedClause::CopyFrom
void CopyFrom(const LratImportedClause &from)
Definition lrat.pb.cc:597
operations_research::sat::LratImportedClause::ByteSizeLong
::size_t ByteSizeLong() const final
Definition lrat.pb.cc:540
operations_research::sat::LratImportedClause::has_clause_id
bool has_clause_id() const
Definition lrat.pb.h:1504
operations_research::sat::LratImportedClause::_InternalSerialize
::uint8_t *PROTOBUF_NONNULL _InternalSerialize(::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
Definition lrat.pb.cc:496
operations_research::sat::LratInferredClause::_Internal
Definition lrat.pb.cc:926
operations_research::sat::LratInferredClause_RatInfo::_Internal
Definition lrat.pb.cc:619
operations_research::sat::LratInferredClause_RatInfo
Definition lrat.pb.h:99
operations_research::sat::LratInferredClause_RatInfo::set_resolvant_id
void set_resolvant_id(::int64_t value)
Definition lrat.pb.h:1602
operations_research::sat::LratInferredClause_RatInfo::mutable_unit_ids
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_unit_ids()
Definition lrat.pb.h:1648
operations_research::sat::LratInferredClause_RatInfo::MessageLite
friend class ::google::protobuf::MessageLite
Definition lrat.pb.h:281
operations_research::sat::LratInferredClause_RatInfo::resolvant_id
::int64_t resolvant_id() const
Definition lrat.pb.h:1598
operations_research::sat::LratInferredClause_RatInfo::add_unit_ids
void add_unit_ids(::int64_t value)
Definition lrat.pb.h:1637
operations_research::sat::LratInferredClause_RatInfo::IsInitialized
bool IsInitialized() const
Definition lrat.pb.h:184
operations_research::sat::LratInferredClause_RatInfo::LratInferredClause_RatInfo
LratInferredClause_RatInfo(const LratInferredClause_RatInfo &from)
Definition lrat.pb.h:114
operations_research::sat::LratInferredClause_RatInfo::clear_resolvant_id
void clear_resolvant_id()
Definition lrat.pb.h:1592
operations_research::sat::LratInferredClause_RatInfo::Swap
void Swap(LratInferredClause_RatInfo *PROTOBUF_NONNULL other)
Definition lrat.pb.h:155
operations_research::sat::LratInferredClause_RatInfo::set_unit_ids
void set_unit_ids(int index, ::int64_t value)
Definition lrat.pb.h:1633
operations_research::sat::LratInferredClause_RatInfo::has_resolvant_id
bool has_resolvant_id() const
Definition lrat.pb.h:1588
operations_research::sat::LratInferredClause_RatInfo::unknown_fields
const ::google::protobuf::UnknownFieldSet & unknown_fields() const ABSL_ATTRIBUTE_LIFETIME_BOUND
Definition lrat.pb.h:131
operations_research::sat::LratInferredClause_RatInfo::_impl_
Impl_ _impl_
Definition lrat.pb.h:303
operations_research::sat::LratInferredClause_RatInfo::LratInferredClause_RatInfo
PROTOBUF_CONSTEXPR LratInferredClause_RatInfo(::google::protobuf::internal::ConstantInitialized)
operations_research::sat::LratInferredClause_RatInfo::LratInferredClause_RatInfo
LratInferredClause_RatInfo()
Definition lrat.pb.h:101
operations_research::sat::LratInferredClause_RatInfo::unit_ids_size
int unit_ids_size() const
Definition lrat.pb.h:1620
operations_research::sat::LratInferredClause_RatInfo::clear_unit_ids
void clear_unit_ids()
Definition lrat.pb.h:1623
operations_research::sat::LratInferredClause_RatInfo::unit_ids
::int64_t unit_ids(int index) const
Definition lrat.pb.h:1629
operations_research::sat::LratInferredClause_RatInfo::operator=
LratInferredClause_RatInfo & operator=(const LratInferredClause_RatInfo &from)
Definition lrat.pb.h:117
operations_research::sat::LratInferredClause_RatInfo::CopyFrom
void CopyFrom(const LratInferredClause_RatInfo &from)
Definition lrat.pb.cc:904
operations_research::sat::LratInferredClause_RatInfo::unit_ids
const ::google::protobuf::RepeatedField<::int64_t > & unit_ids() const
Definition lrat.pb.h:1643
operations_research::sat::LratInferredClause
Definition lrat.pb.h:938
operations_research::sat::LratInferredClause::CopyFrom
void CopyFrom(const LratInferredClause &from)
Definition lrat.pb.cc:1329
operations_research::sat::LratInferredClause::set_exported
void set_exported(bool value)
Definition lrat.pb.h:1871
operations_research::sat::LratInferredClause::mutable_rat_infos
::operations_research::sat::LratInferredClause_RatInfo *PROTOBUF_NONNULL mutable_rat_infos(int index)
Definition lrat.pb.h:1813
operations_research::sat::LratInferredClause::set_clause_id
void set_clause_id(::int64_t value)
Definition lrat.pb.h:1686
operations_research::sat::LratInferredClause::clear_rat_infos
void clear_rat_infos()
Definition lrat.pb.h:1807
operations_research::sat::LratInferredClause::mutable_literals
::google::protobuf::RepeatedField<::int32_t > *PROTOBUF_NONNULL mutable_literals()
Definition lrat.pb.h:1732
operations_research::sat::LratInferredClause::ByteSizeLong
::size_t ByteSizeLong() const final
Definition lrat.pb.cc:1245
operations_research::sat::LratInferredClause::Swap
void Swap(LratInferredClause *PROTOBUF_NONNULL other)
Definition lrat.pb.h:994
operations_research::sat::LratInferredClause::add_unit_ids
void add_unit_ids(::int64_t value)
Definition lrat.pb.h:1771
operations_research::sat::LratInferredClause::GetReflection
static const ::google::protobuf::Reflection *PROTOBUF_NONNULL GetReflection()
Definition lrat.pb.h:985
operations_research::sat::LratInferredClause::add_rat_infos
::operations_research::sat::LratInferredClause_RatInfo *PROTOBUF_NONNULL add_rat_infos()
Definition lrat.pb.h:1830
operations_research::sat::LratInferredClause::set_unit_ids
void set_unit_ids(int index, ::int64_t value)
Definition lrat.pb.h:1767
operations_research::sat::LratInferredClause::clause_id
::int64_t clause_id() const
Definition lrat.pb.h:1682
operations_research::sat::LratInferredClause::_InternalSerialize
::uint8_t *PROTOBUF_NONNULL _InternalSerialize(::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
Definition lrat.pb.cc:1170
operations_research::sat::LratInferredClause::rat_infos
const ::google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo > & rat_infos() const
Definition lrat.pb.h:1840
operations_research::sat::LratInferredClause::rat_infos
const ::operations_research::sat::LratInferredClause_RatInfo & rat_infos(int index) const
Definition lrat.pb.h:1825
operations_research::sat::LratInferredClause::LratInferredClause
LratInferredClause()
Definition lrat.pb.h:940
operations_research::sat::LratInferredClause::unit_ids_size
int unit_ids_size() const
Definition lrat.pb.h:1754
operations_research::sat::LratInferredClause::clear_literals
void clear_literals()
Definition lrat.pb.h:1707
operations_research::sat::LratInferredClause::New
LratInferredClause *PROTOBUF_NONNULL New(::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
Definition lrat.pb.h:1010
operations_research::sat::LratInferredClause::literals_size
int literals_size() const
Definition lrat.pb.h:1704
operations_research::sat::LratInferredClause::_impl_
Impl_ _impl_
Definition lrat.pb.h:1196
operations_research::sat::LratInferredClause::exported
bool exported() const
Definition lrat.pb.h:1867
operations_research::sat::LratInferredClause::set_literals
void set_literals(int index, ::int32_t value)
Definition lrat.pb.h:1717
operations_research::sat::LratInferredClause::IsInitialized
bool IsInitialized() const
Definition lrat.pb.h:1023
operations_research::sat::LratInferredClause::literals
::int32_t literals(int index) const
Definition lrat.pb.h:1713
operations_research::sat::LratInferredClause::mutable_unit_ids
::google::protobuf::RepeatedField<::int64_t > *PROTOBUF_NONNULL mutable_unit_ids()
Definition lrat.pb.h:1782
operations_research::sat::LratInferredClause::clear_unit_ids
void clear_unit_ids()
Definition lrat.pb.h:1757
operations_research::sat::LratInferredClause::MergeFrom
void MergeFrom(const LratInferredClause &from)
Definition lrat.pb.h:1016
operations_research::sat::LratInferredClause::has_clause_id
bool has_clause_id() const
Definition lrat.pb.h:1672
operations_research::sat::LratInferredClause::operator=
LratInferredClause & operator=(const LratInferredClause &from)
Definition lrat.pb.h:956
operations_research::sat::LratInferredClause::GetDescriptor
static const ::google::protobuf::Descriptor *PROTOBUF_NONNULL GetDescriptor()
Definition lrat.pb.h:982
operations_research::sat::LratInferredClause::unit_ids
::int64_t unit_ids(int index) const
Definition lrat.pb.h:1763
operations_research::sat::LratInferredClause::clear_exported
void clear_exported()
Definition lrat.pb.h:1861
operations_research::sat::LratInferredClause::unit_ids
const ::google::protobuf::RepeatedField<::int64_t > & unit_ids() const
Definition lrat.pb.h:1777
operations_research::sat::LratInferredClause::has_exported
bool has_exported() const
Definition lrat.pb.h:1857
operations_research::sat::LratInferredClause::kClauseIdFieldNumber
@ kClauseIdFieldNumber
Definition lrat.pb.h:1083
operations_research::sat::LratInferredClause::kExportedFieldNumber
@ kExportedFieldNumber
Definition lrat.pb.h:1084
operations_research::sat::LratInferredClause::kRatInfosFieldNumber
@ kRatInfosFieldNumber
Definition lrat.pb.h:1082
operations_research::sat::LratInferredClause::literals
const ::google::protobuf::RepeatedField<::int32_t > & literals() const
Definition lrat.pb.h:1727
operations_research::sat::LratInferredClause::clear_clause_id
void clear_clause_id()
Definition lrat.pb.h:1676
operations_research::sat::LratInferredClause::rat_infos_size
int rat_infos_size() const
Definition lrat.pb.h:1804
operations_research::sat::LratInferredClause::add_literals
void add_literals(::int32_t value)
Definition lrat.pb.h:1721
operations_research::sat::LratInferredClause::default_instance
static const LratInferredClause & default_instance()
Definition lrat.pb.h:988
operations_research::sat::LratInferredClause::mutable_rat_infos
::google::protobuf::RepeatedPtrField<::operations_research::sat::LratInferredClause_RatInfo > *PROTOBUF_NONNULL mutable_rat_infos()
Definition lrat.pb.h:1818
operations_research::sat::LratProofStep::_Internal
Definition lrat.pb.cc:1945
operations_research::sat::LratProofStep
Definition lrat.pb.h:1205
operations_research::sat::LratProofStep::set_allocated_exported_clause
void set_allocated_exported_clause(::operations_research::sat::LratExportedClause *PROTOBUF_NULLABLE value)
Definition lrat.pb.cc:1977
operations_research::sat::LratProofStep::unsafe_arena_set_allocated_exported_clause
void unsafe_arena_set_allocated_exported_clause(::operations_research::sat::LratExportedClause *PROTOBUF_NULLABLE value)
Definition lrat.pb.h:2247
operations_research::sat::LratProofStep::set_allocated_inferred_clause
void set_allocated_inferred_clause(::operations_research::sat::LratInferredClause *PROTOBUF_NULLABLE value)
Definition lrat.pb.cc:1964
operations_research::sat::LratProofStep::step_case
StepCase step_case() const
Definition lrat.pb.h:2363
operations_research::sat::LratProofStep::release_deleted_clauses
::operations_research::sat::LratDeletedClauses *PROTOBUF_NULLABLE release_deleted_clauses()
Definition lrat.pb.h:2296
operations_research::sat::LratProofStep::has_exported_clause
bool has_exported_clause() const
Definition lrat.pb.h:2194
operations_research::sat::LratProofStep::clear_imported_clause
void clear_imported_clause()
Definition lrat.pb.h:2039
operations_research::sat::LratProofStep::unsafe_arena_release_imported_clause
::operations_research::sat::LratImportedClause *PROTOBUF_NULLABLE unsafe_arena_release_imported_clause()
Definition lrat.pb.h:2072
operations_research::sat::LratProofStep::StepCase
StepCase
Definition lrat.pb.h:1259
operations_research::sat::LratProofStep::kImportedClause
@ kImportedClause
Definition lrat.pb.h:1260
operations_research::sat::LratProofStep::kExportedClause
@ kExportedClause
Definition lrat.pb.h:1262
operations_research::sat::LratProofStep::kDeletedClauses
@ kDeletedClauses
Definition lrat.pb.h:1263
operations_research::sat::LratProofStep::kInferredClause
@ kInferredClause
Definition lrat.pb.h:1261
operations_research::sat::LratProofStep::STEP_NOT_SET
@ STEP_NOT_SET
Definition lrat.pb.h:1264
operations_research::sat::LratProofStep::default_instance
static const LratProofStep & default_instance()
Definition lrat.pb.h:1255
operations_research::sat::LratProofStep::swap
friend void swap(LratProofStep &a, LratProofStep &b)
Definition lrat.pb.h:1267
operations_research::sat::LratProofStep::clear_deleted_clauses
void clear_deleted_clauses()
Definition lrat.pb.h:2285
operations_research::sat::LratProofStep::clear_exported_clause
void clear_exported_clause()
Definition lrat.pb.h:2203
operations_research::sat::LratProofStep::operator=
LratProofStep & operator=(const LratProofStep &from)
Definition lrat.pb.h:1223
operations_research::sat::LratProofStep::unsafe_arena_release_deleted_clauses
::operations_research::sat::LratDeletedClauses *PROTOBUF_NULLABLE unsafe_arena_release_deleted_clauses()
Definition lrat.pb.h:2318
operations_research::sat::LratProofStep::clear_inferred_clause
void clear_inferred_clause()
Definition lrat.pb.h:2121
operations_research::sat::LratProofStep::clear_step
void clear_step()
Definition lrat.pb.cc:2079
operations_research::sat::LratProofStep::New
LratProofStep *PROTOBUF_NONNULL New(::google::protobuf::Arena *PROTOBUF_NULLABLE arena=nullptr) const
Definition lrat.pb.h:1284
operations_research::sat::LratProofStep::deleted_clauses
const ::operations_research::sat::LratDeletedClauses & deleted_clauses() const
Definition lrat.pb.h:2314
operations_research::sat::LratProofStep::imported_clause
const ::operations_research::sat::LratImportedClause & imported_clause() const
Definition lrat.pb.h:2068
operations_research::sat::LratProofStep::inferred_clause
const ::operations_research::sat::LratInferredClause & inferred_clause() const
Definition lrat.pb.h:2150
operations_research::sat::LratProofStep::mutable_imported_clause
::operations_research::sat::LratImportedClause *PROTOBUF_NONNULL mutable_imported_clause()
Definition lrat.pb.h:2104
operations_research::sat::LratProofStep::unsafe_arena_release_inferred_clause
::operations_research::sat::LratInferredClause *PROTOBUF_NULLABLE unsafe_arena_release_inferred_clause()
Definition lrat.pb.h:2154
operations_research::sat::LratProofStep::_InternalSerialize
::uint8_t *PROTOBUF_NONNULL _InternalSerialize(::uint8_t *PROTOBUF_NONNULL target, ::google::protobuf::io::EpsCopyOutputStream *PROTOBUF_NONNULL stream) const final
Definition lrat.pb.cc:2224
operations_research::sat::LratProofStep::IsInitialized
bool IsInitialized() const
Definition lrat.pb.h:1297
operations_research::sat::LratProofStep::ByteSizeLong
::size_t ByteSizeLong() const final
Definition lrat.pb.cc:2277
operations_research::sat::LratProofStep::release_imported_clause
::operations_research::sat::LratImportedClause *PROTOBUF_NULLABLE release_imported_clause()
Definition lrat.pb.h:2050
operations_research::sat::LratProofStep::mutable_deleted_clauses
::operations_research::sat::LratDeletedClauses *PROTOBUF_NONNULL mutable_deleted_clauses()
Definition lrat.pb.h:2350
operations_research::sat::LratProofStep::Swap
void Swap(LratProofStep *PROTOBUF_NONNULL other)
Definition lrat.pb.h:1268
operations_research::sat::LratProofStep::unsafe_arena_set_allocated_deleted_clauses
void unsafe_arena_set_allocated_deleted_clauses(::operations_research::sat::LratDeletedClauses *PROTOBUF_NULLABLE value)
Definition lrat.pb.h:2329
operations_research::sat::LratProofStep::has_deleted_clauses
bool has_deleted_clauses() const
Definition lrat.pb.h:2276
operations_research::sat::LratProofStep::set_allocated_deleted_clauses
void set_allocated_deleted_clauses(::operations_research::sat::LratDeletedClauses *PROTOBUF_NULLABLE value)
Definition lrat.pb.cc:1990
operations_research::sat::LratProofStep::unsafe_arena_release_exported_clause
::operations_research::sat::LratExportedClause *PROTOBUF_NULLABLE unsafe_arena_release_exported_clause()
Definition lrat.pb.h:2236
operations_research::sat::LratProofStep::has_inferred_clause
bool has_inferred_clause() const
Definition lrat.pb.h:2112
operations_research::sat::LratProofStep::mutable_exported_clause
::operations_research::sat::LratExportedClause *PROTOBUF_NONNULL mutable_exported_clause()
Definition lrat.pb.h:2268
operations_research::sat::LratProofStep::exported_clause
const ::operations_research::sat::LratExportedClause & exported_clause() const
Definition lrat.pb.h:2232
operations_research::sat::LratProofStep::release_exported_clause
::operations_research::sat::LratExportedClause *PROTOBUF_NULLABLE release_exported_clause()
Definition lrat.pb.h:2214
operations_research::sat::LratProofStep::set_allocated_imported_clause
void set_allocated_imported_clause(::operations_research::sat::LratImportedClause *PROTOBUF_NULLABLE value)
Definition lrat.pb.cc:1951
operations_research::sat::LratProofStep::has_imported_clause
bool has_imported_clause() const
Definition lrat.pb.h:2030
operations_research::sat::LratProofStep::LratProofStep
LratProofStep()
Definition lrat.pb.h:1207
operations_research::sat::LratProofStep::unsafe_arena_set_allocated_inferred_clause
void unsafe_arena_set_allocated_inferred_clause(::operations_research::sat::LratInferredClause *PROTOBUF_NULLABLE value)
Definition lrat.pb.h:2165
operations_research::sat::LratProofStep::kIndexInFileMessages
static constexpr int kIndexInFileMessages
Definition lrat.pb.h:1266
operations_research::sat::LratProofStep::mutable_inferred_clause
::operations_research::sat::LratInferredClause *PROTOBUF_NONNULL mutable_inferred_clause()
Definition lrat.pb.h:2186
operations_research::sat::LratProofStep::_impl_
Impl_ _impl_
Definition lrat.pb.h:1478
operations_research::sat::LratProofStep::release_inferred_clause
::operations_research::sat::LratInferredClause *PROTOBUF_NULLABLE release_inferred_clause()
Definition lrat.pb.h:2132
operations_research::sat::LratProofStep::unsafe_arena_set_allocated_imported_clause
void unsafe_arena_set_allocated_imported_clause(::operations_research::sat::LratImportedClause *PROTOBUF_NULLABLE value)
Definition lrat.pb.h:2083
descriptor_table_ortools_2fsat_2flrat_2eproto
PROTOBUF_CONSTINITconst ::_pbi::DescriptorTable descriptor_table_ortools_2fsat_2flrat_2eproto
Definition lrat.pb.cc:291
google::protobuf::internal::GetAnyMessageName
::absl::string_view GetAnyMessageName()
operations_research::sat
Definition routing_sat.cc:45
operations_research::sat::LratImportedClause_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull LratImportedClause_class_data_
Definition lrat.pb.cc:425
operations_research::sat::LratInferredClause_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull LratInferredClause_class_data_
Definition lrat.pb.cc:1064
operations_research::sat::LratInferredClause_RatInfo_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull LratInferredClause_RatInfo_class_data_
Definition lrat.pb.cc:732
operations_research::sat::_LratExportedClause_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LratExportedClauseDefaultTypeInternal _LratExportedClause_default_instance_
Definition lrat.pb.cc:109
operations_research::sat::LratExportedClause_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull LratExportedClause_class_data_
Definition lrat.pb.cc:1471
operations_research::sat::_LratDeletedClauses_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LratDeletedClausesDefaultTypeInternal _LratDeletedClauses_default_instance_
Definition lrat.pb.cc:135
operations_research::sat::LratProofStep_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull LratProofStep_class_data_
Definition lrat.pb.cc:2156
operations_research::sat::_LratInferredClause_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LratInferredClauseDefaultTypeInternal _LratInferredClause_default_instance_
Definition lrat.pb.cc:166
operations_research::sat::_LratProofStep_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LratProofStepDefaultTypeInternal _LratProofStep_default_instance_
Definition lrat.pb.cc:192
operations_research::sat::_LratInferredClause_RatInfo_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LratInferredClause_RatInfoDefaultTypeInternal _LratInferredClause_RatInfo_default_instance_
Definition lrat.pb.cc:55
operations_research::sat::LratDeletedClauses_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull LratDeletedClauses_class_data_
Definition lrat.pb.cc:1776
operations_research::sat::b
for b[i][j]
Definition diophantine.h:100
operations_research::sat::_LratImportedClause_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LratImportedClauseDefaultTypeInternal _LratImportedClause_default_instance_
Definition lrat.pb.cc:82
operations_research
OR-Tools root namespace.
Definition binary_indexed_tree.h:21
TableStruct_ortools_2fsat_2flrat_2eproto
Definition lrat.pb.h:49
TableStruct_ortools_2fsat_2flrat_2eproto::offsets
static const ::uint32_t offsets[]
Definition lrat.pb.h:50
operations_research::sat::LratDeletedClausesDefaultTypeInternal
Definition lrat.pb.cc:126
operations_research::sat::LratExportedClauseDefaultTypeInternal
Definition lrat.pb.cc:100
operations_research::sat::LratImportedClauseDefaultTypeInternal
Definition lrat.pb.cc:73
operations_research::sat::LratInferredClauseDefaultTypeInternal
Definition lrat.pb.cc:157
operations_research::sat::LratInferredClause_RatInfoDefaultTypeInternal
Definition lrat.pb.cc:46
operations_research::sat::LratProofStepDefaultTypeInternal
Definition lrat.pb.cc:183
operations_research::sat::LratProofStep::Impl_::StepUnion::exported_clause_
::google::protobuf::Message *PROTOBUF_NULLABLE exported_clause_
Definition lrat.pb.h:1471
operations_research::sat::LratProofStep::Impl_::StepUnion::imported_clause_
::google::protobuf::Message *PROTOBUF_NULLABLE imported_clause_
Definition lrat.pb.h:1469
operations_research::sat::LratProofStep::Impl_::StepUnion::inferred_clause_
::google::protobuf::Message *PROTOBUF_NULLABLE inferred_clause_
Definition lrat.pb.h:1470
operations_research::sat::LratProofStep::Impl_::StepUnion::deleted_clauses_
::google::protobuf::Message *PROTOBUF_NULLABLE deleted_clauses_
Definition lrat.pb.h:1472