C++ Reference

C++ Reference: CP-SAT

cp_model.pb.h File Reference

Go to the source code of this file.

Classes

struct  TableStruct_ortools_2fsat_2fcp_5fmodel_2eproto
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
class  PROTOBUF_FINAL
 
struct  is_proto_enum< ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy >
 
struct  is_proto_enum< ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy >
 
struct  is_proto_enum< ::operations_research::sat::CpSolverStatus >
 

Namespaces

 internal
 
 operations_research
 
 operations_research::sat
 

Macros

#define PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2fcp_5fmodel_2eproto
 

Enumerations

enum  DecisionStrategyProto_VariableSelectionStrategy : int {
  DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_FIRST = 0, DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_LOWEST_MIN = 1, DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_HIGHEST_MAX = 2, DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_MIN_DOMAIN_SIZE = 3,
  DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_MAX_DOMAIN_SIZE = 4, DecisionStrategyProto_VariableSelectionStrategy_DecisionStrategyProto_VariableSelectionStrategy_INT_MIN_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::min(), DecisionStrategyProto_VariableSelectionStrategy_DecisionStrategyProto_VariableSelectionStrategy_INT_MAX_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::max()
}
 
enum  DecisionStrategyProto_DomainReductionStrategy : int {
  DecisionStrategyProto_DomainReductionStrategy_SELECT_MIN_VALUE = 0, DecisionStrategyProto_DomainReductionStrategy_SELECT_MAX_VALUE = 1, DecisionStrategyProto_DomainReductionStrategy_SELECT_LOWER_HALF = 2, DecisionStrategyProto_DomainReductionStrategy_SELECT_UPPER_HALF = 3,
  DecisionStrategyProto_DomainReductionStrategy_SELECT_MEDIAN_VALUE = 4, DecisionStrategyProto_DomainReductionStrategy_DecisionStrategyProto_DomainReductionStrategy_INT_MIN_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::min(), DecisionStrategyProto_DomainReductionStrategy_DecisionStrategyProto_DomainReductionStrategy_INT_MAX_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::max()
}
 
enum  CpSolverStatus : int {
  UNKNOWN = 0, MODEL_INVALID = 1, FEASIBLE = 2, INFEASIBLE = 3,
  OPTIMAL = 4, CpSolverStatus_INT_MIN_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::min(), CpSolverStatus_INT_MAX_SENTINEL_DO_NOT_USE_ = std::numeric_limits<::PROTOBUF_NAMESPACE_ID::int32>::max()
}
 

Functions

template<>
PROTOBUF_NAMESPACE_OPEN ::operations_research::sat::AllDifferentConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::AllDifferentConstraintProto > (Arena *)
 
template<>
::operations_research::sat::AutomatonConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::AutomatonConstraintProto > (Arena *)
 
template<>
::operations_research::sat::BoolArgumentProto * Arena::CreateMaybeMessage<::operations_research::sat::BoolArgumentProto > (Arena *)
 
template<>
::operations_research::sat::CircuitConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::CircuitConstraintProto > (Arena *)
 
template<>
::operations_research::sat::CircuitCoveringConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::CircuitCoveringConstraintProto > (Arena *)
 
template<>
::operations_research::sat::ConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::ConstraintProto > (Arena *)
 
template<>
::operations_research::sat::CpModelProto * Arena::CreateMaybeMessage<::operations_research::sat::CpModelProto > (Arena *)
 
template<>
::operations_research::sat::CpObjectiveProto * Arena::CreateMaybeMessage<::operations_research::sat::CpObjectiveProto > (Arena *)
 
template<>
::operations_research::sat::CpSolverResponse * Arena::CreateMaybeMessage<::operations_research::sat::CpSolverResponse > (Arena *)
 
template<>
::operations_research::sat::CumulativeConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::CumulativeConstraintProto > (Arena *)
 
template<>
::operations_research::sat::DecisionStrategyProto * Arena::CreateMaybeMessage<::operations_research::sat::DecisionStrategyProto > (Arena *)
 
template<>
::operations_research::sat::DecisionStrategyProto_AffineTransformation * Arena::CreateMaybeMessage<::operations_research::sat::DecisionStrategyProto_AffineTransformation > (Arena *)
 
template<>
::operations_research::sat::ElementConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::ElementConstraintProto > (Arena *)
 
template<>
::operations_research::sat::IntegerArgumentProto * Arena::CreateMaybeMessage<::operations_research::sat::IntegerArgumentProto > (Arena *)
 
template<>
::operations_research::sat::IntegerVariableProto * Arena::CreateMaybeMessage<::operations_research::sat::IntegerVariableProto > (Arena *)
 
template<>
::operations_research::sat::IntervalConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::IntervalConstraintProto > (Arena *)
 
template<>
::operations_research::sat::InverseConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::InverseConstraintProto > (Arena *)
 
template<>
::operations_research::sat::LinearArgumentProto * Arena::CreateMaybeMessage<::operations_research::sat::LinearArgumentProto > (Arena *)
 
template<>
::operations_research::sat::LinearConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::LinearConstraintProto > (Arena *)
 
template<>
::operations_research::sat::LinearExpressionProto * Arena::CreateMaybeMessage<::operations_research::sat::LinearExpressionProto > (Arena *)
 
template<>
::operations_research::sat::NoOverlap2DConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::NoOverlap2DConstraintProto > (Arena *)
 
template<>
::operations_research::sat::NoOverlapConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::NoOverlapConstraintProto > (Arena *)
 
template<>
::operations_research::sat::PartialVariableAssignment * Arena::CreateMaybeMessage<::operations_research::sat::PartialVariableAssignment > (Arena *)
 
template<>
::operations_research::sat::ReservoirConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::ReservoirConstraintProto > (Arena *)
 
template<>
::operations_research::sat::RoutesConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::RoutesConstraintProto > (Arena *)
 
template<>
::operations_research::sat::TableConstraintProto * Arena::CreateMaybeMessage<::operations_research::sat::TableConstraintProto > (Arena *)
 
bool DecisionStrategyProto_VariableSelectionStrategy_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * DecisionStrategyProto_VariableSelectionStrategy_descriptor ()
 
template<typename T >
const std::string & DecisionStrategyProto_VariableSelectionStrategy_Name (T enum_t_value)
 
bool DecisionStrategyProto_VariableSelectionStrategy_Parse (const std::string &name, DecisionStrategyProto_VariableSelectionStrategy *value)
 
bool DecisionStrategyProto_DomainReductionStrategy_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * DecisionStrategyProto_DomainReductionStrategy_descriptor ()
 
template<typename T >
const std::string & DecisionStrategyProto_DomainReductionStrategy_Name (T enum_t_value)
 
bool DecisionStrategyProto_DomainReductionStrategy_Parse (const std::string &name, DecisionStrategyProto_DomainReductionStrategy *value)
 
bool CpSolverStatus_IsValid (int value)
 
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor * CpSolverStatus_descriptor ()
 
template<typename T >
const std::string & CpSolverStatus_Name (T enum_t_value)
 
bool CpSolverStatus_Parse (const std::string &name, CpSolverStatus *value)
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy > ()
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy > ()
 
template<>
const EnumDescriptor * GetEnumDescriptor< ::operations_research::sat::CpSolverStatus > ()
 

Variables

const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto
 
AllDifferentConstraintProtoDefaultTypeInternal _AllDifferentConstraintProto_default_instance_
 
AutomatonConstraintProtoDefaultTypeInternal _AutomatonConstraintProto_default_instance_
 
BoolArgumentProtoDefaultTypeInternal _BoolArgumentProto_default_instance_
 
CircuitConstraintProtoDefaultTypeInternal _CircuitConstraintProto_default_instance_
 
CircuitCoveringConstraintProtoDefaultTypeInternal _CircuitCoveringConstraintProto_default_instance_
 
ConstraintProtoDefaultTypeInternal _ConstraintProto_default_instance_
 
CpModelProtoDefaultTypeInternal _CpModelProto_default_instance_
 
CpObjectiveProtoDefaultTypeInternal _CpObjectiveProto_default_instance_
 
CpSolverResponseDefaultTypeInternal _CpSolverResponse_default_instance_
 
CumulativeConstraintProtoDefaultTypeInternal _CumulativeConstraintProto_default_instance_
 
DecisionStrategyProtoDefaultTypeInternal _DecisionStrategyProto_default_instance_
 
DecisionStrategyProto_AffineTransformationDefaultTypeInternal _DecisionStrategyProto_AffineTransformation_default_instance_
 
ElementConstraintProtoDefaultTypeInternal _ElementConstraintProto_default_instance_
 
IntegerArgumentProtoDefaultTypeInternal _IntegerArgumentProto_default_instance_
 
IntegerVariableProtoDefaultTypeInternal _IntegerVariableProto_default_instance_
 
IntervalConstraintProtoDefaultTypeInternal _IntervalConstraintProto_default_instance_
 
InverseConstraintProtoDefaultTypeInternal _InverseConstraintProto_default_instance_
 
LinearArgumentProtoDefaultTypeInternal _LinearArgumentProto_default_instance_
 
LinearConstraintProtoDefaultTypeInternal _LinearConstraintProto_default_instance_
 
LinearExpressionProtoDefaultTypeInternal _LinearExpressionProto_default_instance_
 
NoOverlap2DConstraintProtoDefaultTypeInternal _NoOverlap2DConstraintProto_default_instance_
 
NoOverlapConstraintProtoDefaultTypeInternal _NoOverlapConstraintProto_default_instance_
 
PartialVariableAssignmentDefaultTypeInternal _PartialVariableAssignment_default_instance_
 
ReservoirConstraintProtoDefaultTypeInternal _ReservoirConstraintProto_default_instance_
 
RoutesConstraintProtoDefaultTypeInternal _RoutesConstraintProto_default_instance_
 
TableConstraintProtoDefaultTypeInternal _TableConstraintProto_default_instance_
 
constexpr DecisionStrategyProto_VariableSelectionStrategy DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MIN = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_FIRST
 
constexpr DecisionStrategyProto_VariableSelectionStrategy DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MAX = DecisionStrategyProto_VariableSelectionStrategy_CHOOSE_MAX_DOMAIN_SIZE
 
constexpr int DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_ARRAYSIZE = DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MAX + 1
 
constexpr DecisionStrategyProto_DomainReductionStrategy DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MIN = DecisionStrategyProto_DomainReductionStrategy_SELECT_MIN_VALUE
 
constexpr DecisionStrategyProto_DomainReductionStrategy DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MAX = DecisionStrategyProto_DomainReductionStrategy_SELECT_MEDIAN_VALUE
 
constexpr int DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_ARRAYSIZE = DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MAX + 1
 
constexpr CpSolverStatus CpSolverStatus_MIN = UNKNOWN
 
constexpr CpSolverStatus CpSolverStatus_MAX = OPTIMAL
 
constexpr int CpSolverStatus_ARRAYSIZE = CpSolverStatus_MAX + 1
 

Macro Definition Documentation

◆ PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2fcp_5fmodel_2eproto

#define PROTOBUF_INTERNAL_EXPORT_ortools_2fsat_2fcp_5fmodel_2eproto

Definition at line 39 of file cp_model.pb.h.

Function Documentation

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

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

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

::operations_research::sat::AutomatonConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::AutomatonConstraintProto > ( Arena *  )

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

::operations_research::sat::BoolArgumentProto* Arena::CreateMaybeMessage<::operations_research::sat::BoolArgumentProto > ( Arena *  )

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

::operations_research::sat::CircuitConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::CircuitConstraintProto > ( Arena *  )

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

::operations_research::sat::CircuitCoveringConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::CircuitCoveringConstraintProto > ( Arena *  )

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

::operations_research::sat::ConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::ConstraintProto > ( Arena *  )

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

::operations_research::sat::CpModelProto* Arena::CreateMaybeMessage<::operations_research::sat::CpModelProto > ( Arena *  )

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

::operations_research::sat::CpObjectiveProto* Arena::CreateMaybeMessage<::operations_research::sat::CpObjectiveProto > ( Arena *  )

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

::operations_research::sat::CpSolverResponse* Arena::CreateMaybeMessage<::operations_research::sat::CpSolverResponse > ( Arena *  )

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

::operations_research::sat::CumulativeConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::CumulativeConstraintProto > ( Arena *  )

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

::operations_research::sat::DecisionStrategyProto* Arena::CreateMaybeMessage<::operations_research::sat::DecisionStrategyProto > ( Arena *  )

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

::operations_research::sat::DecisionStrategyProto_AffineTransformation* Arena::CreateMaybeMessage<::operations_research::sat::DecisionStrategyProto_AffineTransformation > ( Arena *  )

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

::operations_research::sat::ElementConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::ElementConstraintProto > ( Arena *  )

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

::operations_research::sat::IntegerArgumentProto* Arena::CreateMaybeMessage<::operations_research::sat::IntegerArgumentProto > ( Arena *  )

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

::operations_research::sat::IntegerVariableProto* Arena::CreateMaybeMessage<::operations_research::sat::IntegerVariableProto > ( Arena *  )

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

::operations_research::sat::IntervalConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::IntervalConstraintProto > ( Arena *  )

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

::operations_research::sat::InverseConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::InverseConstraintProto > ( Arena *  )

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

::operations_research::sat::LinearArgumentProto* Arena::CreateMaybeMessage<::operations_research::sat::LinearArgumentProto > ( Arena *  )

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

::operations_research::sat::LinearConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::LinearConstraintProto > ( Arena *  )

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

::operations_research::sat::LinearExpressionProto* Arena::CreateMaybeMessage<::operations_research::sat::LinearExpressionProto > ( Arena *  )

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

::operations_research::sat::NoOverlap2DConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::NoOverlap2DConstraintProto > ( Arena *  )

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

::operations_research::sat::NoOverlapConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::NoOverlapConstraintProto > ( Arena *  )

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

::operations_research::sat::PartialVariableAssignment* Arena::CreateMaybeMessage<::operations_research::sat::PartialVariableAssignment > ( Arena *  )

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

::operations_research::sat::ReservoirConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::ReservoirConstraintProto > ( Arena *  )

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

::operations_research::sat::RoutesConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::RoutesConstraintProto > ( Arena *  )

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

::operations_research::sat::TableConstraintProto* Arena::CreateMaybeMessage<::operations_research::sat::TableConstraintProto > ( Arena *  )

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

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

Definition at line 11786 of file cp_model.pb.h.

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

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

Definition at line 11781 of file cp_model.pb.h.

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

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

Definition at line 11776 of file cp_model.pb.h.

Variable Documentation

◆ descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto

const ::PROTOBUF_NAMESPACE_ID::internal::DescriptorTable descriptor_table_ortools_2fsat_2fcp_5fmodel_2eproto