lrat.pb.cc File Reference

#include "ortools/sat/lrat.pb.h"
#include <algorithm>
#include <type_traits>
#include "google/protobuf/io/coded_stream.h"
#include "google/protobuf/generated_message_tctable_impl.h"
#include "google/protobuf/extension_set.h"
#include "google/protobuf/generated_message_util.h"
#include "google/protobuf/wire_format_lite.h"
#include "google/protobuf/descriptor.h"
#include "google/protobuf/generated_message_reflection.h"
#include "google/protobuf/reflection_ops.h"
#include "google/protobuf/wire_format.h"
#include "google/protobuf/port_def.inc"
#include "google/protobuf/port_undef.inc"

Go to the source code of this file.

Classes
struct	operations_research::sat::LratInferredClause_RatInfoDefaultTypeInternal
struct	operations_research::sat::LratImportedClauseDefaultTypeInternal
struct	operations_research::sat::LratExportedClauseDefaultTypeInternal
struct	operations_research::sat::LratDeletedClausesDefaultTypeInternal
struct	operations_research::sat::LratInferredClauseDefaultTypeInternal
struct	operations_research::sat::LratProofStepDefaultTypeInternal
class	operations_research::sat::LratImportedClause::_Internal
class	operations_research::sat::LratInferredClause_RatInfo::_Internal
class	operations_research::sat::LratInferredClause::_Internal
class	operations_research::sat::LratExportedClause::_Internal
class	operations_research::sat::LratDeletedClauses::_Internal
class	operations_research::sat::LratProofStep::_Internal

Namespaces
namespace	operations_research
	OR-Tools root namespace.
namespace	operations_research::sat
namespace	google
namespace	google::protobuf

Functions
const ::uint32_t TableStruct_ortools_2fsat_2flrat_2eproto::offsets[]	ABSL_ATTRIBUTE_SECTION_VARIABLE (protodesc_cold)

Variables
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LratInferredClause_RatInfoDefaultTypeInternal	operations_research::sat::_LratInferredClause_RatInfo_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LratImportedClauseDefaultTypeInternal	operations_research::sat::_LratImportedClause_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LratExportedClauseDefaultTypeInternal	operations_research::sat::_LratExportedClause_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LratDeletedClausesDefaultTypeInternal	operations_research::sat::_LratDeletedClauses_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LratInferredClauseDefaultTypeInternal	operations_research::sat::_LratInferredClause_default_instance_
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 LratProofStepDefaultTypeInternal	operations_research::sat::_LratProofStep_default_instance_
static constexprconst ::_pb::EnumDescriptor *PROTOBUF_NONNULL *PROTOBUF_NULLABLE	file_level_enum_descriptors_ortools_2fsat_2flrat_2eproto = nullptr
static constexprconst ::_pb::ServiceDescriptor *PROTOBUF_NONNULL *PROTOBUF_NULLABLE	file_level_service_descriptors_ortools_2fsat_2flrat_2eproto = nullptr
static const ::_pb::Message *PROTOBUF_NONNULL const	file_default_instances []
::absl::once_flag	descriptor_table_ortools_2fsat_2flrat_2eproto_once
PROTOBUF_CONSTINITconst ::_pbi::DescriptorTable	descriptor_table_ortools_2fsat_2flrat_2eproto
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull	operations_research::sat::LratImportedClause_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull	operations_research::sat::LratInferredClause_RatInfo_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull	operations_research::sat::LratInferredClause_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull	operations_research::sat::LratExportedClause_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull	operations_research::sat::LratDeletedClauses_class_data_
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull	operations_research::sat::LratProofStep_class_data_
static PROTOBUF_ATTRIBUTE_INIT_PRIORITY2 ::std::false_type	_static_init2_

Function Documentation

ABSL_ATTRIBUTE_SECTION_VARIABLE()

const ::uint32_t TableStruct_ortools_2fsat_2flrat_2eproto::offsets[] ABSL_ATTRIBUTE_SECTION_VARIABLE

(

protodesc_cold

)

Variable Documentation

_static_init2_

PROTOBUF_ATTRIBUTE_INIT_PRIORITY2 ::std::false_type _static_init2_

static

Initial value:

=
        (::_pbi::AddDescriptors(&descriptor_table_ortools_2fsat_2flrat_2eproto),
         ::std::false_type{})

Definition at line 2413 of file lrat.pb.cc.

descriptor_table_ortools_2fsat_2flrat_2eproto

PROTOBUF_CONSTINITconst ::_pbi::DescriptorTable descriptor_table_ortools_2fsat_2flrat_2eproto

Initial value:

= {
    false,
    false,
    766,
    descriptor_table_protodef_ortools_2fsat_2flrat_2eproto,
    "ortools/sat/lrat.proto",
    &descriptor_table_ortools_2fsat_2flrat_2eproto_once,
    nullptr,
    0,
    6,
    schemas,
    file_default_instances,
    TableStruct_ortools_2fsat_2flrat_2eproto::offsets,
    file_level_enum_descriptors_ortools_2fsat_2flrat_2eproto,
    file_level_service_descriptors_ortools_2fsat_2flrat_2eproto,
}

Definition at line 291 of file lrat.pb.cc.

descriptor_table_ortools_2fsat_2flrat_2eproto_once

::absl::once_flag descriptor_table_ortools_2fsat_2flrat_2eproto_once

static

Definition at line 290 of file lrat.pb.cc.

file_default_instances

const ::_pb::Message* PROTOBUF_NONNULL const file_default_instances[]

static

Initial value:

= {
    &::operations_research::sat::_LratImportedClause_default_instance_._instance,
    &::operations_research::sat::_LratInferredClause_RatInfo_default_instance_._instance,
    &::operations_research::sat::_LratInferredClause_default_instance_._instance,
    &::operations_research::sat::_LratExportedClause_default_instance_._instance,
    &::operations_research::sat::_LratDeletedClauses_default_instance_._instance,
    &::operations_research::sat::_LratProofStep_default_instance_._instance,
}

Definition at line 259 of file lrat.pb.cc.

file_level_enum_descriptors_ortools_2fsat_2flrat_2eproto

constexprconst ::_pb::EnumDescriptor* PROTOBUF_NONNULL* PROTOBUF_NULLABLE file_level_enum_descriptors_ortools_2fsat_2flrat_2eproto = nullptr

staticconstexpr

Definition at line 196 of file lrat.pb.cc.

file_level_service_descriptors_ortools_2fsat_2flrat_2eproto

constexprconst ::_pb::ServiceDescriptor* PROTOBUF_NONNULL* PROTOBUF_NULLABLE file_level_service_descriptors_ortools_2fsat_2flrat_2eproto = nullptr

staticconstexpr

Definition at line 198 of file lrat.pb.cc.