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