sat_parameters.pb.cc File Reference

Go to the source code of this file.

Classes
class	SatParametersDefaultTypeInternal
class	_Internal

Namespaces
	operations_research
	The vehicle routing library lets one model and solve generic vehicle routing problems ranging from the Traveling Salesman Problem to more complex problems such as the Capacitated Vehicle Routing Problem with Time Windows.
	operations_research::sat

Macros
#define	CHK_(x)   if (PROTOBUF_PREDICT_FALSE(!(x))) goto failure

Functions
static void	InitDefaultsscc_info_SatParameters_ortools_2fsat_2fsat_5fparameters_2eproto ()
const ::PROTOBUF_NAMESPACE_ID::uint32 TableStruct_ortools_2fsat_2fsat_5fparameters_2eproto::offsets[]	PROTOBUF_SECTION_VARIABLE (protodesc_cold)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor *	SatParameters_VariableOrder_descriptor ()
bool	SatParameters_VariableOrder_IsValid (int value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor *	SatParameters_Polarity_descriptor ()
bool	SatParameters_Polarity_IsValid (int value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor *	SatParameters_ConflictMinimizationAlgorithm_descriptor ()
bool	SatParameters_ConflictMinimizationAlgorithm_IsValid (int value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor *	SatParameters_BinaryMinizationAlgorithm_descriptor ()
bool	SatParameters_BinaryMinizationAlgorithm_IsValid (int value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor *	SatParameters_ClauseProtection_descriptor ()
bool	SatParameters_ClauseProtection_IsValid (int value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor *	SatParameters_ClauseOrdering_descriptor ()
bool	SatParameters_ClauseOrdering_IsValid (int value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor *	SatParameters_RestartAlgorithm_descriptor ()
bool	SatParameters_RestartAlgorithm_IsValid (int value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor *	SatParameters_MaxSatAssumptionOrder_descriptor ()
bool	SatParameters_MaxSatAssumptionOrder_IsValid (int value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor *	SatParameters_MaxSatStratificationAlgorithm_descriptor ()
bool	SatParameters_MaxSatStratificationAlgorithm_IsValid (int value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor *	SatParameters_SearchBranching_descriptor ()
bool	SatParameters_SearchBranching_IsValid (int value)
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor *	SatParameters_FPRoundingMethod_descriptor ()
bool	SatParameters_FPRoundingMethod_IsValid (int value)
template<>
PROTOBUF_NAMESPACE_OPEN PROTOBUF_NOINLINE ::operations_research::sat::SatParameters *	Arena::CreateMaybeMessage< ::operations_research::sat::SatParameters > (Arena *arena)

Variables
class operations_research::sat::SatParametersDefaultTypeInternal	_SatParameters_default_instance_
::PROTOBUF_NAMESPACE_ID::internal::SCCInfo< 0 >	scc_info_SatParameters_ortools_2fsat_2fsat_5fparameters_2eproto
::PROTOBUF_NAMESPACE_ID::Metadata	file_level_metadata_ortools_2fsat_2fsat_5fparameters_2eproto [1]
static const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor *	file_level_enum_descriptors_ortools_2fsat_2fsat_5fparameters_2eproto [11]
static constexpr ::PROTOBUF_NAMESPACE_ID::ServiceDescriptor const **	file_level_service_descriptors_ortools_2fsat_2fsat_5fparameters_2eproto = nullptr
::PROTOBUF_NAMESPACE_ID::Message const *const	file_default_instances []
static const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable *const	descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto_deps [1]
::PROTOBUF_NAMESPACE_ID::internal::SCCInfoBase *const	descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto_sccs [1]
::PROTOBUF_NAMESPACE_ID::internal::once_flag	descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto_once
const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable	descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto
static bool	dynamic_init_dummy_ortools_2fsat_2fsat_5fparameters_2eproto = (static_cast<void>(::PROTOBUF_NAMESPACE_ID::internal::AddDescriptors(&descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto)), true)

Macro Definition Documentation

CHK_

#define CHK_

(

x

)

if (PROTOBUF_PREDICT_FALSE(!(x))) goto failure

Function Documentation

Arena::CreateMaybeMessage< ::operations_research::sat::SatParameters >()

PROTOBUF_NAMESPACE_OPEN PROTOBUF_NOINLINE ::operations_research::sat::SatParameters* Arena::CreateMaybeMessage< ::operations_research::sat::SatParameters >

(

Arena *

arena

)

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

InitDefaultsscc_info_SatParameters_ortools_2fsat_2fsat_5fparameters_2eproto()

static void InitDefaultsscc_info_SatParameters_ortools_2fsat_2fsat_5fparameters_2eproto ( )

static

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

PROTOBUF_SECTION_VARIABLE()

const ::PROTOBUF_NAMESPACE_ID::uint32 TableStruct_ortools_2fsat_2fsat_5fparameters_2eproto::offsets [] PROTOBUF_SECTION_VARIABLE

(

protodesc_cold

)

Variable Documentation

descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto

const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto

Initial value:

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

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

descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto_deps

const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable* const descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto_deps[1]

static

Initial value:

= {
}

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

descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto_once

::PROTOBUF_NAMESPACE_ID::internal::once_flag descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto_once

static

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

descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto_sccs

::PROTOBUF_NAMESPACE_ID::internal::SCCInfoBase* const descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto_sccs[1]

static

Initial value:

= {
  &scc_info_SatParameters_ortools_2fsat_2fsat_5fparameters_2eproto.base,
}

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

dynamic_init_dummy_ortools_2fsat_2fsat_5fparameters_2eproto

bool dynamic_init_dummy_ortools_2fsat_2fsat_5fparameters_2eproto = (static_cast<void>(::PROTOBUF_NAMESPACE_ID::internal::AddDescriptors(&descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto)), true)

static

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

file_default_instances

::PROTOBUF_NAMESPACE_ID::Message const* const file_default_instances[]

static

Initial value:

= {
  reinterpret_cast<const ::PROTOBUF_NAMESPACE_ID::Message*>(&::operations_research::sat::_SatParameters_default_instance_),
}

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

file_level_enum_descriptors_ortools_2fsat_2fsat_5fparameters_2eproto

const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* file_level_enum_descriptors_ortools_2fsat_2fsat_5fparameters_2eproto[11]

static

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

file_level_metadata_ortools_2fsat_2fsat_5fparameters_2eproto

::PROTOBUF_NAMESPACE_ID::Metadata file_level_metadata_ortools_2fsat_2fsat_5fparameters_2eproto[1]

static

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

file_level_service_descriptors_ortools_2fsat_2fsat_5fparameters_2eproto

constexpr ::PROTOBUF_NAMESPACE_ID::ServiceDescriptor const** file_level_service_descriptors_ortools_2fsat_2fsat_5fparameters_2eproto = nullptr

static

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

scc_info_SatParameters_ortools_2fsat_2fsat_5fparameters_2eproto

::PROTOBUF_NAMESPACE_ID::internal::SCCInfo<0> scc_info_SatParameters_ortools_2fsat_2fsat_5fparameters_2eproto

Initial value:

=
    {{ATOMIC_VAR_INIT(::PROTOBUF_NAMESPACE_ID::internal::SCCInfoBase::kUninitialized), 0, 0, InitDefaultsscc_info_SatParameters_ortools_2fsat_2fsat_5fparameters_2eproto}, {}}

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