sat_parameters.pb.cc File Reference

#include "ortools/sat/sat_parameters.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::SatParametersDefaultTypeInternal
class	operations_research::sat::SatParameters::_Internal

Namespaces
namespace	operations_research
	In SWIG mode, we don't want anything besides these top-level includes.
namespace	operations_research::sat
namespace	google
namespace	google::protobuf

Functions
const ::uint32_t TableStruct_ortools_2fsat_2fsat_5fparameters_2eproto::offsets[]	ABSL_ATTRIBUTE_SECTION_VARIABLE (protodesc_cold)
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL	operations_research::sat::SatParameters_VariableOrder_descriptor ()
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL	operations_research::sat::SatParameters_Polarity_descriptor ()
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL	operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_descriptor ()
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL	operations_research::sat::SatParameters_BinaryMinizationAlgorithm_descriptor ()
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL	operations_research::sat::SatParameters_ClauseProtection_descriptor ()
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL	operations_research::sat::SatParameters_ClauseOrdering_descriptor ()
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL	operations_research::sat::SatParameters_RestartAlgorithm_descriptor ()
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL	operations_research::sat::SatParameters_MaxSatAssumptionOrder_descriptor ()
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL	operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_descriptor ()
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL	operations_research::sat::SatParameters_SearchBranching_descriptor ()
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL	operations_research::sat::SatParameters_SharedTreeSplitStrategy_descriptor ()
const ::google::protobuf::EnumDescriptor *PROTOBUF_NONNULL	operations_research::sat::SatParameters_FPRoundingMethod_descriptor ()

Variables
PROTOBUF_ATTRIBUTE_NO_DESTROY PROTOBUF_CONSTINIT OR_PROTO_DLL PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 SatParametersDefaultTypeInternal	operations_research::sat::_SatParameters_default_instance_
static const ::_pb::EnumDescriptor *PROTOBUF_NONNULL	file_level_enum_descriptors_ortools_2fsat_2fsat_5fparameters_2eproto [12]
static constexprconst ::_pb::ServiceDescriptor *PROTOBUF_NONNULL *PROTOBUF_NULLABLE	file_level_service_descriptors_ortools_2fsat_2fsat_5fparameters_2eproto = nullptr
static const ::_pb::Message *PROTOBUF_NONNULL const	file_default_instances []
::absl::once_flag	descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto_once
PROTOBUF_CONSTINITconst ::_pbi::DescriptorTable	descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto
PROTOBUF_CONSTINIT const uint32_t	operations_research::sat::SatParameters_VariableOrder_internal_data_ []
PROTOBUF_CONSTINIT const uint32_t	operations_research::sat::SatParameters_Polarity_internal_data_ []
PROTOBUF_CONSTINIT const uint32_t	operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_internal_data_ []
PROTOBUF_CONSTINIT const uint32_t	operations_research::sat::SatParameters_BinaryMinizationAlgorithm_internal_data_ []
PROTOBUF_CONSTINIT const uint32_t	operations_research::sat::SatParameters_ClauseProtection_internal_data_ []
PROTOBUF_CONSTINIT const uint32_t	operations_research::sat::SatParameters_ClauseOrdering_internal_data_ []
PROTOBUF_CONSTINIT const uint32_t	operations_research::sat::SatParameters_RestartAlgorithm_internal_data_ []
PROTOBUF_CONSTINIT const uint32_t	operations_research::sat::SatParameters_MaxSatAssumptionOrder_internal_data_ []
PROTOBUF_CONSTINIT const uint32_t	operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_internal_data_ []
PROTOBUF_CONSTINIT const uint32_t	operations_research::sat::SatParameters_SearchBranching_internal_data_ []
PROTOBUF_CONSTINIT const uint32_t	operations_research::sat::SatParameters_SharedTreeSplitStrategy_internal_data_ []
PROTOBUF_CONSTINIT const uint32_t	operations_research::sat::SatParameters_FPRoundingMethod_internal_data_ []
PROTOBUF_CONSTINIT PROTOBUF_ATTRIBUTE_INIT_PRIORITY1 const::google::protobuf::internal::ClassDataFull	operations_research::sat::SatParameters_class_data_
static PROTOBUF_ATTRIBUTE_INIT_PRIORITY2 ::std::false_type	_static_init2_
	@protoc_insertion_point(global_scope)

Function Documentation

ABSL_ATTRIBUTE_SECTION_VARIABLE()

const ::uint32_t TableStruct_ortools_2fsat_2fsat_5fparameters_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_2fsat_5fparameters_2eproto),
         ::std::false_type{})

@protoc_insertion_point(global_scope)

Definition at line 6619 of file sat_parameters.pb.cc.

descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto

PROTOBUF_CONSTINITconst ::_pbi::DescriptorTable descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto

Initial value:

= {
    false,
    false,
    14156,
    descriptor_table_protodef_ortools_2fsat_2fsat_5fparameters_2eproto,
    "ortools/sat/sat_parameters.proto",
    &descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto_once,
    nullptr,
    0,
    1,
    schemas,
    file_default_instances,
    TableStruct_ortools_2fsat_2fsat_5fparameters_2eproto::offsets,
    file_level_enum_descriptors_ortools_2fsat_2fsat_5fparameters_2eproto,
    file_level_service_descriptors_ortools_2fsat_2fsat_5fparameters_2eproto,
}

Definition at line 1263 of file sat_parameters.pb.cc.

descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto_once

::absl::once_flag descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto_once

static

Definition at line 1262 of file sat_parameters.pb.cc.

file_default_instances

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

static

Initial value:

= {
    &::operations_research::sat::_SatParameters_default_instance_._instance,
}

Definition at line 902 of file sat_parameters.pb.cc.

file_level_enum_descriptors_ortools_2fsat_2fsat_5fparameters_2eproto

const ::_pb::EnumDescriptor* PROTOBUF_NONNULL file_level_enum_descriptors_ortools_2fsat_2fsat_5fparameters_2eproto[12]

static

Definition at line 337 of file sat_parameters.pb.cc.

file_level_service_descriptors_ortools_2fsat_2fsat_5fparameters_2eproto

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

staticconstexpr

Definition at line 339 of file sat_parameters.pb.cc.