OR-Tools  8.1
Classes | Namespaces | Macros | Enumerations | Functions | Variables
sat_parameters.pb.h File Reference

Go to the source code of this file.

Classes

struct  TableStruct_ortools_2fsat_2fsat_5fparameters_2eproto
 
class  PROTOBUF_FINAL
 
struct  is_proto_enum< ::operations_research::sat::SatParameters_VariableOrder >
 
struct  is_proto_enum< ::operations_research::sat::SatParameters_Polarity >
 
struct  is_proto_enum< ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm >
 
struct  is_proto_enum< ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm >
 
struct  is_proto_enum< ::operations_research::sat::SatParameters_ClauseProtection >
 
struct  is_proto_enum< ::operations_research::sat::SatParameters_ClauseOrdering >
 
struct  is_proto_enum< ::operations_research::sat::SatParameters_RestartAlgorithm >
 
struct  is_proto_enum< ::operations_research::sat::SatParameters_MaxSatAssumptionOrder >
 
struct  is_proto_enum< ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm >
 
struct  is_proto_enum< ::operations_research::sat::SatParameters_SearchBranching >
 
struct  is_proto_enum< ::operations_research::sat::SatParameters_FPRoundingMethod >
 

Namespaces

 internal
 
 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 PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2fsat_5fparameters_2eproto
 

Enumerations

enum  SatParameters_VariableOrder : int { SatParameters_VariableOrder_IN_ORDER = 0, SatParameters_VariableOrder_IN_REVERSE_ORDER = 1, SatParameters_VariableOrder_IN_RANDOM_ORDER = 2 }
 
enum  SatParameters_Polarity : int {
  SatParameters_Polarity_POLARITY_TRUE = 0, SatParameters_Polarity_POLARITY_FALSE = 1, SatParameters_Polarity_POLARITY_RANDOM = 2, SatParameters_Polarity_POLARITY_WEIGHTED_SIGN = 3,
  SatParameters_Polarity_POLARITY_REVERSE_WEIGHTED_SIGN = 4
}
 
enum  SatParameters_ConflictMinimizationAlgorithm : int { SatParameters_ConflictMinimizationAlgorithm_NONE = 0, SatParameters_ConflictMinimizationAlgorithm_SIMPLE = 1, SatParameters_ConflictMinimizationAlgorithm_RECURSIVE = 2, SatParameters_ConflictMinimizationAlgorithm_EXPERIMENTAL = 3 }
 
enum  SatParameters_BinaryMinizationAlgorithm : int {
  SatParameters_BinaryMinizationAlgorithm_NO_BINARY_MINIMIZATION = 0, SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST = 1, SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION = 4, SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_WITH_REACHABILITY = 2,
  SatParameters_BinaryMinizationAlgorithm_EXPERIMENTAL_BINARY_MINIMIZATION = 3
}
 
enum  SatParameters_ClauseProtection : int { SatParameters_ClauseProtection_PROTECTION_NONE = 0, SatParameters_ClauseProtection_PROTECTION_ALWAYS = 1, SatParameters_ClauseProtection_PROTECTION_LBD = 2 }
 
enum  SatParameters_ClauseOrdering : int { SatParameters_ClauseOrdering_CLAUSE_ACTIVITY = 0, SatParameters_ClauseOrdering_CLAUSE_LBD = 1 }
 
enum  SatParameters_RestartAlgorithm : int {
  SatParameters_RestartAlgorithm_NO_RESTART = 0, SatParameters_RestartAlgorithm_LUBY_RESTART = 1, SatParameters_RestartAlgorithm_DL_MOVING_AVERAGE_RESTART = 2, SatParameters_RestartAlgorithm_LBD_MOVING_AVERAGE_RESTART = 3,
  SatParameters_RestartAlgorithm_FIXED_RESTART = 4
}
 
enum  SatParameters_MaxSatAssumptionOrder : int { SatParameters_MaxSatAssumptionOrder_DEFAULT_ASSUMPTION_ORDER = 0, SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_DEPTH = 1, SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_WEIGHT = 2 }
 
enum  SatParameters_MaxSatStratificationAlgorithm : int { SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_NONE = 0, SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_DESCENT = 1, SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_ASCENT = 2 }
 
enum  SatParameters_SearchBranching : int {
  SatParameters_SearchBranching_AUTOMATIC_SEARCH = 0, SatParameters_SearchBranching_FIXED_SEARCH = 1, SatParameters_SearchBranching_PORTFOLIO_SEARCH = 2, SatParameters_SearchBranching_LP_SEARCH = 3,
  SatParameters_SearchBranching_PSEUDO_COST_SEARCH = 4, SatParameters_SearchBranching_PORTFOLIO_WITH_QUICK_RESTART_SEARCH = 5, SatParameters_SearchBranching_HINT_SEARCH = 6
}
 
enum  SatParameters_FPRoundingMethod : int { SatParameters_FPRoundingMethod_NEAREST_INTEGER = 0, SatParameters_FPRoundingMethod_LOCK_BASED = 1, SatParameters_FPRoundingMethod_ACTIVE_LOCK_BASED = 3, SatParameters_FPRoundingMethod_PROPAGATION_ASSISTED = 2 }
 

Functions

template<>
PROTOBUF_NAMESPACE_OPEN ::operations_research::sat::SatParameters * Arena::CreateMaybeMessage<::operations_research::sat::SatParameters > (Arena *)
 
bool SatParameters_VariableOrder_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_VariableOrder_descriptor ()
 
template<typename T >
const std::string & SatParameters_VariableOrder_Name (T enum_t_value)
 
bool SatParameters_VariableOrder_Parse (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_VariableOrder *value)
 
bool SatParameters_Polarity_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_Polarity_descriptor ()
 
template<typename T >
const std::string & SatParameters_Polarity_Name (T enum_t_value)
 
bool SatParameters_Polarity_Parse (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_Polarity *value)
 
bool SatParameters_ConflictMinimizationAlgorithm_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_ConflictMinimizationAlgorithm_descriptor ()
 
template<typename T >
const std::string & SatParameters_ConflictMinimizationAlgorithm_Name (T enum_t_value)
 
bool SatParameters_ConflictMinimizationAlgorithm_Parse (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ConflictMinimizationAlgorithm *value)
 
bool SatParameters_BinaryMinizationAlgorithm_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_BinaryMinizationAlgorithm_descriptor ()
 
template<typename T >
const std::string & SatParameters_BinaryMinizationAlgorithm_Name (T enum_t_value)
 
bool SatParameters_BinaryMinizationAlgorithm_Parse (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_BinaryMinizationAlgorithm *value)
 
bool SatParameters_ClauseProtection_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_ClauseProtection_descriptor ()
 
template<typename T >
const std::string & SatParameters_ClauseProtection_Name (T enum_t_value)
 
bool SatParameters_ClauseProtection_Parse (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ClauseProtection *value)
 
bool SatParameters_ClauseOrdering_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_ClauseOrdering_descriptor ()
 
template<typename T >
const std::string & SatParameters_ClauseOrdering_Name (T enum_t_value)
 
bool SatParameters_ClauseOrdering_Parse (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_ClauseOrdering *value)
 
bool SatParameters_RestartAlgorithm_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_RestartAlgorithm_descriptor ()
 
template<typename T >
const std::string & SatParameters_RestartAlgorithm_Name (T enum_t_value)
 
bool SatParameters_RestartAlgorithm_Parse (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_RestartAlgorithm *value)
 
bool SatParameters_MaxSatAssumptionOrder_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_MaxSatAssumptionOrder_descriptor ()
 
template<typename T >
const std::string & SatParameters_MaxSatAssumptionOrder_Name (T enum_t_value)
 
bool SatParameters_MaxSatAssumptionOrder_Parse (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_MaxSatAssumptionOrder *value)
 
bool SatParameters_MaxSatStratificationAlgorithm_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_MaxSatStratificationAlgorithm_descriptor ()
 
template<typename T >
const std::string & SatParameters_MaxSatStratificationAlgorithm_Name (T enum_t_value)
 
bool SatParameters_MaxSatStratificationAlgorithm_Parse (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_MaxSatStratificationAlgorithm *value)
 
bool SatParameters_SearchBranching_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_SearchBranching_descriptor ()
 
template<typename T >
const std::string & SatParameters_SearchBranching_Name (T enum_t_value)
 
bool SatParameters_SearchBranching_Parse (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_SearchBranching *value)
 
bool SatParameters_FPRoundingMethod_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * SatParameters_FPRoundingMethod_descriptor ()
 
template<typename T >
const std::string & SatParameters_FPRoundingMethod_Name (T enum_t_value)
 
bool SatParameters_FPRoundingMethod_Parse (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, SatParameters_FPRoundingMethod *value)
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::SatParameters_VariableOrder > ()
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::SatParameters_Polarity > ()
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm > ()
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm > ()
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseProtection > ()
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseOrdering > ()
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::SatParameters_RestartAlgorithm > ()
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatAssumptionOrder > ()
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm > ()
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::SatParameters_SearchBranching > ()
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::SatParameters_FPRoundingMethod > ()
 

Variables

const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto
 
constexpr SatParameters_VariableOrder SatParameters_VariableOrder_VariableOrder_MIN = SatParameters_VariableOrder_IN_ORDER
 
constexpr SatParameters_VariableOrder SatParameters_VariableOrder_VariableOrder_MAX = SatParameters_VariableOrder_IN_RANDOM_ORDER
 
constexpr int SatParameters_VariableOrder_VariableOrder_ARRAYSIZE = SatParameters_VariableOrder_VariableOrder_MAX + 1
 
constexpr SatParameters_Polarity SatParameters_Polarity_Polarity_MIN = SatParameters_Polarity_POLARITY_TRUE
 
constexpr SatParameters_Polarity SatParameters_Polarity_Polarity_MAX = SatParameters_Polarity_POLARITY_REVERSE_WEIGHTED_SIGN
 
constexpr int SatParameters_Polarity_Polarity_ARRAYSIZE = SatParameters_Polarity_Polarity_MAX + 1
 
constexpr SatParameters_ConflictMinimizationAlgorithm SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MIN = SatParameters_ConflictMinimizationAlgorithm_NONE
 
constexpr SatParameters_ConflictMinimizationAlgorithm SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MAX = SatParameters_ConflictMinimizationAlgorithm_EXPERIMENTAL
 
constexpr int SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_ARRAYSIZE = SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MAX + 1
 
constexpr SatParameters_BinaryMinizationAlgorithm SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MIN = SatParameters_BinaryMinizationAlgorithm_NO_BINARY_MINIMIZATION
 
constexpr SatParameters_BinaryMinizationAlgorithm SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MAX = SatParameters_BinaryMinizationAlgorithm_BINARY_MINIMIZATION_FIRST_WITH_TRANSITIVE_REDUCTION
 
constexpr int SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_ARRAYSIZE = SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MAX + 1
 
constexpr SatParameters_ClauseProtection SatParameters_ClauseProtection_ClauseProtection_MIN = SatParameters_ClauseProtection_PROTECTION_NONE
 
constexpr SatParameters_ClauseProtection SatParameters_ClauseProtection_ClauseProtection_MAX = SatParameters_ClauseProtection_PROTECTION_LBD
 
constexpr int SatParameters_ClauseProtection_ClauseProtection_ARRAYSIZE = SatParameters_ClauseProtection_ClauseProtection_MAX + 1
 
constexpr SatParameters_ClauseOrdering SatParameters_ClauseOrdering_ClauseOrdering_MIN = SatParameters_ClauseOrdering_CLAUSE_ACTIVITY
 
constexpr SatParameters_ClauseOrdering SatParameters_ClauseOrdering_ClauseOrdering_MAX = SatParameters_ClauseOrdering_CLAUSE_LBD
 
constexpr int SatParameters_ClauseOrdering_ClauseOrdering_ARRAYSIZE = SatParameters_ClauseOrdering_ClauseOrdering_MAX + 1
 
constexpr SatParameters_RestartAlgorithm SatParameters_RestartAlgorithm_RestartAlgorithm_MIN = SatParameters_RestartAlgorithm_NO_RESTART
 
constexpr SatParameters_RestartAlgorithm SatParameters_RestartAlgorithm_RestartAlgorithm_MAX = SatParameters_RestartAlgorithm_FIXED_RESTART
 
constexpr int SatParameters_RestartAlgorithm_RestartAlgorithm_ARRAYSIZE = SatParameters_RestartAlgorithm_RestartAlgorithm_MAX + 1
 
constexpr SatParameters_MaxSatAssumptionOrder SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MIN = SatParameters_MaxSatAssumptionOrder_DEFAULT_ASSUMPTION_ORDER
 
constexpr SatParameters_MaxSatAssumptionOrder SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MAX = SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_WEIGHT
 
constexpr int SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_ARRAYSIZE = SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MAX + 1
 
constexpr SatParameters_MaxSatStratificationAlgorithm SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MIN = SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_NONE
 
constexpr SatParameters_MaxSatStratificationAlgorithm SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MAX = SatParameters_MaxSatStratificationAlgorithm_STRATIFICATION_ASCENT
 
constexpr int SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_ARRAYSIZE = SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MAX + 1
 
constexpr SatParameters_SearchBranching SatParameters_SearchBranching_SearchBranching_MIN = SatParameters_SearchBranching_AUTOMATIC_SEARCH
 
constexpr SatParameters_SearchBranching SatParameters_SearchBranching_SearchBranching_MAX = SatParameters_SearchBranching_HINT_SEARCH
 
constexpr int SatParameters_SearchBranching_SearchBranching_ARRAYSIZE = SatParameters_SearchBranching_SearchBranching_MAX + 1
 
constexpr SatParameters_FPRoundingMethod SatParameters_FPRoundingMethod_FPRoundingMethod_MIN = SatParameters_FPRoundingMethod_NEAREST_INTEGER
 
constexpr SatParameters_FPRoundingMethod SatParameters_FPRoundingMethod_FPRoundingMethod_MAX = SatParameters_FPRoundingMethod_ACTIVE_LOCK_BASED
 
constexpr int SatParameters_FPRoundingMethod_FPRoundingMethod_ARRAYSIZE = SatParameters_FPRoundingMethod_FPRoundingMethod_MAX + 1
 

Macro Definition Documentation

◆ PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2fsat_5fparameters_2eproto

#define PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2fsat_5fparameters_2eproto

Definition at line 37 of file sat_parameters.pb.h.

Function Documentation

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

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

◆ GetEnumDescriptor< ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm >()

const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_BinaryMinizationAlgorithm > ( )
inline

Definition at line 7607 of file sat_parameters.pb.h.

◆ GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseOrdering >()

const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseOrdering > ( )
inline

Definition at line 7617 of file sat_parameters.pb.h.

◆ GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseProtection >()

const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ClauseProtection > ( )
inline

Definition at line 7612 of file sat_parameters.pb.h.

◆ GetEnumDescriptor< ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm >()

const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_ConflictMinimizationAlgorithm > ( )
inline

Definition at line 7602 of file sat_parameters.pb.h.

◆ GetEnumDescriptor< ::operations_research::sat::SatParameters_FPRoundingMethod >()

const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_FPRoundingMethod > ( )
inline

Definition at line 7642 of file sat_parameters.pb.h.

◆ GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatAssumptionOrder >()

const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatAssumptionOrder > ( )
inline

Definition at line 7627 of file sat_parameters.pb.h.

◆ GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm >()

const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_MaxSatStratificationAlgorithm > ( )
inline

Definition at line 7632 of file sat_parameters.pb.h.

◆ GetEnumDescriptor< ::operations_research::sat::SatParameters_Polarity >()

const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_Polarity > ( )
inline

Definition at line 7597 of file sat_parameters.pb.h.

◆ GetEnumDescriptor< ::operations_research::sat::SatParameters_RestartAlgorithm >()

const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_RestartAlgorithm > ( )
inline

Definition at line 7622 of file sat_parameters.pb.h.

◆ GetEnumDescriptor< ::operations_research::sat::SatParameters_SearchBranching >()

const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_SearchBranching > ( )
inline

Definition at line 7637 of file sat_parameters.pb.h.

◆ GetEnumDescriptor< ::operations_research::sat::SatParameters_VariableOrder >()

const EnumDescriptor* GetEnumDescriptor< ::operations_research::sat::SatParameters_VariableOrder > ( )
inline

Definition at line 7592 of file sat_parameters.pb.h.

Variable Documentation

◆ descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto

const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fsat_5fparameters_2eproto
extern

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