C++ Reference
C++ Reference: CP-SAT
Classes | |
class | AutomatonConstraint |
Specialized automaton constraint. More... | |
class | BoolVar |
A Boolean variable. More... | |
class | CircuitConstraint |
Specialized circuit constraint. More... | |
class | Constraint |
A constraint. More... | |
class | CpModelBuilder |
Wrapper class around the cp_model proto. More... | |
class | CumulativeConstraint |
Specialized cumulative constraint. More... | |
class | IntervalVar |
Represents a Interval variable. More... | |
class | IntVar |
An integer variable. More... | |
class | LinearExpr |
A dedicated container for linear expressions. More... | |
class | Model |
Class that owns everything related to a particular optimization model. More... | |
class | MultipleCircuitConstraint |
Specialized circuit constraint. More... | |
class | NoOverlap2DConstraint |
Specialized no_overlap2D constraint. More... | |
class | PROTOBUF_FINAL |
class | ReservoirConstraint |
Specialized reservoir constraint. More... | |
class | TableConstraint |
Specialized assignment constraint. More... | |
Functions | |
std::ostream & | operator<< (std::ostream &os, const BoolVar &var) |
BoolVar | Not (BoolVar x) |
A convenient wrapper so we can write Not(x) instead of x.Not() which is sometimes clearer. More... | |
std::ostream & | operator<< (std::ostream &os, const IntVar &var) |
std::ostream & | operator<< (std::ostream &os, const IntervalVar &var) |
int64 | SolutionIntegerValue (const CpSolverResponse &r, const LinearExpr &expr) |
Evaluates the value of an linear expression in a solver response. More... | |
int64 | SolutionIntegerMin (const CpSolverResponse &r, IntVar x) |
Returns the min of an integer variable in a solution. More... | |
int64 | SolutionIntegerMax (const CpSolverResponse &r, IntVar x) |
Returns the max of an integer variable in a solution. More... | |
bool | SolutionBooleanValue (const CpSolverResponse &r, BoolVar x) |
Evaluates the value of a Boolean literal in a solver response. More... | |
CpSolverResponse | Solve (const CpModelProto &model_proto) |
Solves the given CpModelProto and returns an instance of CpSolverResponse. More... | |
CpSolverResponse | SolveWithParameters (const CpModelProto &model_proto, const SatParameters ¶ms) |
Solves the given CpModelProto with the given parameters. More... | |
std::string | CpModelStats (const CpModelProto &model) |
Returns a string with some statistics on the given CpModelProto. More... | |
std::string | CpSolverResponseStats (const CpSolverResponse &response, bool has_objective=true) |
Returns a string with some statistics on the solver response. More... | |
CpSolverResponse | SolveCpModel (const CpModelProto &model_proto, Model *model) |
Solves the given CpModelProto. More... | |
CpSolverResponse | SolveWithParameters (const CpModelProto &model_proto, const std::string ¶ms) |
Solves the given CpModelProto with the given sat parameters as string in JSon format, and returns an instance of CpSolverResponse. More... | |
std::function< void(Model *)> | NewFeasibleSolutionObserver (const std::function< void(const CpSolverResponse &response)> &observer) |
Creates a solution observer with the model with model.Add(NewFeasibleSolutionObserver([](response){...}));. More... | |
void | SetSynchronizationFunction (std::function< CpSolverResponse()> f, Model *model) |
If set, the underlying solver will call this function regularly in a deterministic way. More... | |
std::function< SatParameters(Model *)> | NewSatParameters (const std::string ¶ms) |
Creates parameters for the solver, which you can add to the model with. More... | |
std::function< SatParameters(Model *)> | NewSatParameters (const SatParameters ¶meters) |
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 (::PROTOBUF_NAMESPACE_ID::ConstStringParam 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 (::PROTOBUF_NAMESPACE_ID::ConstStringParam 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 (::PROTOBUF_NAMESPACE_ID::ConstStringParam name, CpSolverStatus *value) |
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) |
Enumeration Type Documentation
◆ CpSolverStatus
enum CpSolverStatus : int |
Enumerator | |
---|---|
UNKNOWN | |
MODEL_INVALID | |
FEASIBLE | |
INFEASIBLE | |
OPTIMAL | |
CpSolverStatus_INT_MIN_SENTINEL_DO_NOT_USE_ | |
CpSolverStatus_INT_MAX_SENTINEL_DO_NOT_USE_ |
Definition at line 222 of file cp_model.pb.h.
◆ DecisionStrategyProto_DomainReductionStrategy
Definition at line 194 of file cp_model.pb.h.
◆ DecisionStrategyProto_VariableSelectionStrategy
Definition at line 166 of file cp_model.pb.h.
◆ SatParameters_BinaryMinizationAlgorithm
enum SatParameters_BinaryMinizationAlgorithm : int |
Definition at line 145 of file sat_parameters.pb.h.
◆ SatParameters_ClauseOrdering
enum SatParameters_ClauseOrdering : int |
Enumerator | |
---|---|
SatParameters_ClauseOrdering_CLAUSE_ACTIVITY | |
SatParameters_ClauseOrdering_CLAUSE_LBD |
Definition at line 195 of file sat_parameters.pb.h.
◆ SatParameters_ClauseProtection
enum SatParameters_ClauseProtection : int |
Enumerator | |
---|---|
SatParameters_ClauseProtection_PROTECTION_NONE | |
SatParameters_ClauseProtection_PROTECTION_ALWAYS | |
SatParameters_ClauseProtection_PROTECTION_LBD |
Definition at line 171 of file sat_parameters.pb.h.
◆ SatParameters_ConflictMinimizationAlgorithm
enum SatParameters_ConflictMinimizationAlgorithm : int |
Definition at line 120 of file sat_parameters.pb.h.
◆ SatParameters_FPRoundingMethod
enum SatParameters_FPRoundingMethod : int |
Enumerator | |
---|---|
SatParameters_FPRoundingMethod_NEAREST_INTEGER | |
SatParameters_FPRoundingMethod_LOCK_BASED | |
SatParameters_FPRoundingMethod_ACTIVE_LOCK_BASED | |
SatParameters_FPRoundingMethod_PROPAGATION_ASSISTED |
Definition at line 320 of file sat_parameters.pb.h.
◆ SatParameters_MaxSatAssumptionOrder
enum SatParameters_MaxSatAssumptionOrder : int |
Enumerator | |
---|---|
SatParameters_MaxSatAssumptionOrder_DEFAULT_ASSUMPTION_ORDER | |
SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_DEPTH | |
SatParameters_MaxSatAssumptionOrder_ORDER_ASSUMPTION_BY_WEIGHT |
Definition at line 244 of file sat_parameters.pb.h.
◆ SatParameters_MaxSatStratificationAlgorithm
enum SatParameters_MaxSatStratificationAlgorithm : int |
Definition at line 268 of file sat_parameters.pb.h.
◆ SatParameters_Polarity
enum SatParameters_Polarity : int |
Definition at line 94 of file sat_parameters.pb.h.
◆ SatParameters_RestartAlgorithm
enum SatParameters_RestartAlgorithm : int |
Definition at line 218 of file sat_parameters.pb.h.
◆ SatParameters_SearchBranching
enum SatParameters_SearchBranching : int |
Definition at line 292 of file sat_parameters.pb.h.
◆ SatParameters_VariableOrder
enum SatParameters_VariableOrder : int |
Enumerator | |
---|---|
SatParameters_VariableOrder_IN_ORDER | |
SatParameters_VariableOrder_IN_REVERSE_ORDER | |
SatParameters_VariableOrder_IN_RANDOM_ORDER |
Definition at line 70 of file sat_parameters.pb.h.
Function Documentation
◆ CpModelStats()
std::string operations_research::sat::CpModelStats | ( | const CpModelProto & | model | ) |
Returns a string with some statistics on the given CpModelProto.
◆ CpSolverResponseStats()
std::string operations_research::sat::CpSolverResponseStats | ( | const CpSolverResponse & | response, |
bool | has_objective = true |
||
) |
Returns a string with some statistics on the solver response.
If the second argument is false, we will just display NA for the objective value instead of zero. It is not really needed but it makes things a bit clearer to see that there is no objective.
◆ CpSolverStatus_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::CpSolverStatus_descriptor | ( | ) |
◆ CpSolverStatus_IsValid()
bool operations_research::sat::CpSolverStatus_IsValid | ( | int | value | ) |
◆ CpSolverStatus_Name()
|
inline |
Definition at line 238 of file cp_model.pb.h.
◆ CpSolverStatus_Parse()
|
inline |
Definition at line 245 of file cp_model.pb.h.
◆ DecisionStrategyProto_DomainReductionStrategy_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::DecisionStrategyProto_DomainReductionStrategy_descriptor | ( | ) |
◆ DecisionStrategyProto_DomainReductionStrategy_IsValid()
bool operations_research::sat::DecisionStrategyProto_DomainReductionStrategy_IsValid | ( | int | value | ) |
◆ DecisionStrategyProto_DomainReductionStrategy_Name()
|
inline |
Definition at line 210 of file cp_model.pb.h.
◆ DecisionStrategyProto_DomainReductionStrategy_Parse()
|
inline |
Definition at line 217 of file cp_model.pb.h.
◆ DecisionStrategyProto_VariableSelectionStrategy_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy_descriptor | ( | ) |
◆ DecisionStrategyProto_VariableSelectionStrategy_IsValid()
bool operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy_IsValid | ( | int | value | ) |
◆ DecisionStrategyProto_VariableSelectionStrategy_Name()
|
inline |
Definition at line 182 of file cp_model.pb.h.
◆ DecisionStrategyProto_VariableSelectionStrategy_Parse()
|
inline |
Definition at line 189 of file cp_model.pb.h.
◆ NewFeasibleSolutionObserver()
std::function<void(Model*)> operations_research::sat::NewFeasibleSolutionObserver | ( | const std::function< void(const CpSolverResponse &response)> & | observer | ) |
Creates a solution observer with the model with model.Add(NewFeasibleSolutionObserver([](response){...}));.
The given function will be called on each improving feasible solution found during the search. For a non-optimization problem, if the option to find all solution was set, then this will be called on each new solution.
◆ NewSatParameters() [1/2]
std::function<SatParameters(Model*)> operations_research::sat::NewSatParameters | ( | const SatParameters & | parameters | ) |
◆ NewSatParameters() [2/2]
std::function<SatParameters(Model*)> operations_research::sat::NewSatParameters | ( | const std::string & | params | ) |
Creates parameters for the solver, which you can add to the model with.
before calling SolveCpModel()
.
◆ Not()
A convenient wrapper so we can write Not(x) instead of x.Not() which is sometimes clearer.
◆ operator<<() [1/3]
std::ostream& operations_research::sat::operator<< | ( | std::ostream & | os, |
const BoolVar & | var | ||
) |
◆ operator<<() [2/3]
std::ostream& operations_research::sat::operator<< | ( | std::ostream & | os, |
const IntervalVar & | var | ||
) |
◆ operator<<() [3/3]
std::ostream& operations_research::sat::operator<< | ( | std::ostream & | os, |
const IntVar & | var | ||
) |
◆ SatParameters_BinaryMinizationAlgorithm_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::SatParameters_BinaryMinizationAlgorithm_descriptor | ( | ) |
◆ SatParameters_BinaryMinizationAlgorithm_IsValid()
bool operations_research::sat::SatParameters_BinaryMinizationAlgorithm_IsValid | ( | int | value | ) |
◆ SatParameters_BinaryMinizationAlgorithm_Name()
|
inline |
Definition at line 159 of file sat_parameters.pb.h.
◆ SatParameters_BinaryMinizationAlgorithm_Parse()
|
inline |
Definition at line 166 of file sat_parameters.pb.h.
◆ SatParameters_ClauseOrdering_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::SatParameters_ClauseOrdering_descriptor | ( | ) |
◆ SatParameters_ClauseOrdering_IsValid()
bool operations_research::sat::SatParameters_ClauseOrdering_IsValid | ( | int | value | ) |
◆ SatParameters_ClauseOrdering_Name()
|
inline |
Definition at line 206 of file sat_parameters.pb.h.
◆ SatParameters_ClauseOrdering_Parse()
|
inline |
Definition at line 213 of file sat_parameters.pb.h.
◆ SatParameters_ClauseProtection_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::SatParameters_ClauseProtection_descriptor | ( | ) |
◆ SatParameters_ClauseProtection_IsValid()
bool operations_research::sat::SatParameters_ClauseProtection_IsValid | ( | int | value | ) |
◆ SatParameters_ClauseProtection_Name()
|
inline |
Definition at line 183 of file sat_parameters.pb.h.
◆ SatParameters_ClauseProtection_Parse()
|
inline |
Definition at line 190 of file sat_parameters.pb.h.
◆ SatParameters_ConflictMinimizationAlgorithm_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_descriptor | ( | ) |
◆ SatParameters_ConflictMinimizationAlgorithm_IsValid()
bool operations_research::sat::SatParameters_ConflictMinimizationAlgorithm_IsValid | ( | int | value | ) |
◆ SatParameters_ConflictMinimizationAlgorithm_Name()
|
inline |
Definition at line 133 of file sat_parameters.pb.h.
◆ SatParameters_ConflictMinimizationAlgorithm_Parse()
|
inline |
Definition at line 140 of file sat_parameters.pb.h.
◆ SatParameters_FPRoundingMethod_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::SatParameters_FPRoundingMethod_descriptor | ( | ) |
◆ SatParameters_FPRoundingMethod_IsValid()
bool operations_research::sat::SatParameters_FPRoundingMethod_IsValid | ( | int | value | ) |
◆ SatParameters_FPRoundingMethod_Name()
|
inline |
Definition at line 333 of file sat_parameters.pb.h.
◆ SatParameters_FPRoundingMethod_Parse()
|
inline |
Definition at line 340 of file sat_parameters.pb.h.
◆ SatParameters_MaxSatAssumptionOrder_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::SatParameters_MaxSatAssumptionOrder_descriptor | ( | ) |
◆ SatParameters_MaxSatAssumptionOrder_IsValid()
bool operations_research::sat::SatParameters_MaxSatAssumptionOrder_IsValid | ( | int | value | ) |
◆ SatParameters_MaxSatAssumptionOrder_Name()
|
inline |
Definition at line 256 of file sat_parameters.pb.h.
◆ SatParameters_MaxSatAssumptionOrder_Parse()
|
inline |
Definition at line 263 of file sat_parameters.pb.h.
◆ SatParameters_MaxSatStratificationAlgorithm_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_descriptor | ( | ) |
◆ SatParameters_MaxSatStratificationAlgorithm_IsValid()
bool operations_research::sat::SatParameters_MaxSatStratificationAlgorithm_IsValid | ( | int | value | ) |
◆ SatParameters_MaxSatStratificationAlgorithm_Name()
|
inline |
Definition at line 280 of file sat_parameters.pb.h.
◆ SatParameters_MaxSatStratificationAlgorithm_Parse()
|
inline |
Definition at line 287 of file sat_parameters.pb.h.
◆ SatParameters_Polarity_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::SatParameters_Polarity_descriptor | ( | ) |
◆ SatParameters_Polarity_IsValid()
bool operations_research::sat::SatParameters_Polarity_IsValid | ( | int | value | ) |
◆ SatParameters_Polarity_Name()
|
inline |
Definition at line 108 of file sat_parameters.pb.h.
◆ SatParameters_Polarity_Parse()
|
inline |
Definition at line 115 of file sat_parameters.pb.h.
◆ SatParameters_RestartAlgorithm_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::SatParameters_RestartAlgorithm_descriptor | ( | ) |
◆ SatParameters_RestartAlgorithm_IsValid()
bool operations_research::sat::SatParameters_RestartAlgorithm_IsValid | ( | int | value | ) |
◆ SatParameters_RestartAlgorithm_Name()
|
inline |
Definition at line 232 of file sat_parameters.pb.h.
◆ SatParameters_RestartAlgorithm_Parse()
|
inline |
Definition at line 239 of file sat_parameters.pb.h.
◆ SatParameters_SearchBranching_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::SatParameters_SearchBranching_descriptor | ( | ) |
◆ SatParameters_SearchBranching_IsValid()
bool operations_research::sat::SatParameters_SearchBranching_IsValid | ( | int | value | ) |
◆ SatParameters_SearchBranching_Name()
|
inline |
Definition at line 308 of file sat_parameters.pb.h.
◆ SatParameters_SearchBranching_Parse()
|
inline |
Definition at line 315 of file sat_parameters.pb.h.
◆ SatParameters_VariableOrder_descriptor()
const ::PROTOBUF_NAMESPACE_ID::EnumDescriptor* operations_research::sat::SatParameters_VariableOrder_descriptor | ( | ) |
◆ SatParameters_VariableOrder_IsValid()
bool operations_research::sat::SatParameters_VariableOrder_IsValid | ( | int | value | ) |
◆ SatParameters_VariableOrder_Name()
|
inline |
Definition at line 82 of file sat_parameters.pb.h.
◆ SatParameters_VariableOrder_Parse()
|
inline |
Definition at line 89 of file sat_parameters.pb.h.
◆ SetSynchronizationFunction()
void operations_research::sat::SetSynchronizationFunction | ( | std::function< CpSolverResponse()> | f, |
Model * | model | ||
) |
If set, the underlying solver will call this function regularly in a deterministic way.
It will then wait until this function returns with the current best information about the current problem.
This is meant to be used in a multi-threaded environment with many parallel solving process. If the returned current "best" response only uses information derived at a lower deterministic time (possibly with offset) than the deterministic time of the current thread, the whole process can be made deterministic.
◆ SolutionBooleanValue()
bool operations_research::sat::SolutionBooleanValue | ( | const CpSolverResponse & | r, |
BoolVar | x | ||
) |
Evaluates the value of a Boolean literal in a solver response.
◆ SolutionIntegerMax()
int64 operations_research::sat::SolutionIntegerMax | ( | const CpSolverResponse & | r, |
IntVar | x | ||
) |
Returns the max of an integer variable in a solution.
◆ SolutionIntegerMin()
int64 operations_research::sat::SolutionIntegerMin | ( | const CpSolverResponse & | r, |
IntVar | x | ||
) |
Returns the min of an integer variable in a solution.
◆ SolutionIntegerValue()
int64 operations_research::sat::SolutionIntegerValue | ( | const CpSolverResponse & | r, |
const LinearExpr & | expr | ||
) |
Evaluates the value of an linear expression in a solver response.
◆ Solve()
CpSolverResponse operations_research::sat::Solve | ( | const CpModelProto & | model_proto | ) |
Solves the given CpModelProto and returns an instance of CpSolverResponse.
◆ SolveCpModel()
CpSolverResponse operations_research::sat::SolveCpModel | ( | const CpModelProto & | model_proto, |
Model * | model | ||
) |
Solves the given CpModelProto.
This advanced API accept a Model* which allows to access more adavanced features by configuring some classes in the Model before solve.
For instance:
- model->Add(NewSatParameters(parameters_as_string_or_proto));
- model->GetOrCreate<TimeLimit>()->RegisterExternalBooleanAsLimit(&stop);
- model->Add(NewFeasibleSolutionObserver(observer));
◆ SolveWithParameters() [1/2]
CpSolverResponse operations_research::sat::SolveWithParameters | ( | const CpModelProto & | model_proto, |
const SatParameters & | params | ||
) |
Solves the given CpModelProto with the given parameters.
◆ SolveWithParameters() [2/2]
CpSolverResponse operations_research::sat::SolveWithParameters | ( | const CpModelProto & | model_proto, |
const std::string & | params | ||
) |
Solves the given CpModelProto with the given sat parameters as string in JSon format, and returns an instance of CpSolverResponse.
Variable Documentation
◆ _AllDifferentConstraintProto_default_instance_
|
extern |
◆ _AutomatonConstraintProto_default_instance_
|
extern |
◆ _BoolArgumentProto_default_instance_
|
extern |
◆ _BooleanAssignment_default_instance_
|
extern |
◆ _CircuitConstraintProto_default_instance_
|
extern |
◆ _ConstraintProto_default_instance_
|
extern |
◆ _CpModelProto_default_instance_
|
extern |
◆ _CpObjectiveProto_default_instance_
|
extern |
◆ _CpSolverResponse_default_instance_
|
extern |
◆ _CumulativeConstraintProto_default_instance_
|
extern |
◆ _DecisionStrategyProto_AffineTransformation_default_instance_
|
extern |
◆ _DecisionStrategyProto_default_instance_
|
extern |
◆ _ElementConstraintProto_default_instance_
|
extern |
◆ _IntegerArgumentProto_default_instance_
|
extern |
◆ _IntegerVariableProto_default_instance_
|
extern |
◆ _IntervalConstraintProto_default_instance_
|
extern |
◆ _InverseConstraintProto_default_instance_
|
extern |
◆ _LinearArgumentProto_default_instance_
|
extern |
◆ _LinearBooleanConstraint_default_instance_
|
extern |
◆ _LinearBooleanProblem_default_instance_
|
extern |
◆ _LinearConstraintProto_default_instance_
|
extern |
◆ _LinearExpressionProto_default_instance_
|
extern |
◆ _LinearObjective_default_instance_
|
extern |
◆ _NoOverlap2DConstraintProto_default_instance_
|
extern |
◆ _NoOverlapConstraintProto_default_instance_
|
extern |
◆ _PartialVariableAssignment_default_instance_
|
extern |
◆ _ReservoirConstraintProto_default_instance_
|
extern |
◆ _RoutesConstraintProto_default_instance_
|
extern |
◆ _SatParameters_default_instance_
|
extern |
◆ _TableConstraintProto_default_instance_
|
extern |
◆ CpSolverStatus_ARRAYSIZE
|
constexpr |
Definition at line 234 of file cp_model.pb.h.
◆ CpSolverStatus_MAX
|
constexpr |
Definition at line 233 of file cp_model.pb.h.
◆ CpSolverStatus_MIN
|
constexpr |
Definition at line 232 of file cp_model.pb.h.
◆ DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_ARRAYSIZE
|
constexpr |
Definition at line 206 of file cp_model.pb.h.
◆ DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MAX
|
constexpr |
Definition at line 205 of file cp_model.pb.h.
◆ DecisionStrategyProto_DomainReductionStrategy_DomainReductionStrategy_MIN
|
constexpr |
Definition at line 204 of file cp_model.pb.h.
◆ DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_ARRAYSIZE
|
constexpr |
Definition at line 178 of file cp_model.pb.h.
◆ DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MAX
|
constexpr |
Definition at line 177 of file cp_model.pb.h.
◆ DecisionStrategyProto_VariableSelectionStrategy_VariableSelectionStrategy_MIN
|
constexpr |
Definition at line 176 of file cp_model.pb.h.
◆ SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_ARRAYSIZE
|
constexpr |
Definition at line 155 of file sat_parameters.pb.h.
◆ SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MAX
|
constexpr |
Definition at line 154 of file sat_parameters.pb.h.
◆ SatParameters_BinaryMinizationAlgorithm_BinaryMinizationAlgorithm_MIN
|
constexpr |
Definition at line 153 of file sat_parameters.pb.h.
◆ SatParameters_ClauseOrdering_ClauseOrdering_ARRAYSIZE
|
constexpr |
Definition at line 202 of file sat_parameters.pb.h.
◆ SatParameters_ClauseOrdering_ClauseOrdering_MAX
|
constexpr |
Definition at line 201 of file sat_parameters.pb.h.
◆ SatParameters_ClauseOrdering_ClauseOrdering_MIN
|
constexpr |
Definition at line 200 of file sat_parameters.pb.h.
◆ SatParameters_ClauseProtection_ClauseProtection_ARRAYSIZE
|
constexpr |
Definition at line 179 of file sat_parameters.pb.h.
◆ SatParameters_ClauseProtection_ClauseProtection_MAX
|
constexpr |
Definition at line 178 of file sat_parameters.pb.h.
◆ SatParameters_ClauseProtection_ClauseProtection_MIN
|
constexpr |
Definition at line 177 of file sat_parameters.pb.h.
◆ SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_ARRAYSIZE
|
constexpr |
Definition at line 129 of file sat_parameters.pb.h.
◆ SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MAX
|
constexpr |
Definition at line 128 of file sat_parameters.pb.h.
◆ SatParameters_ConflictMinimizationAlgorithm_ConflictMinimizationAlgorithm_MIN
|
constexpr |
Definition at line 127 of file sat_parameters.pb.h.
◆ SatParameters_FPRoundingMethod_FPRoundingMethod_ARRAYSIZE
|
constexpr |
Definition at line 329 of file sat_parameters.pb.h.
◆ SatParameters_FPRoundingMethod_FPRoundingMethod_MAX
|
constexpr |
Definition at line 328 of file sat_parameters.pb.h.
◆ SatParameters_FPRoundingMethod_FPRoundingMethod_MIN
|
constexpr |
Definition at line 327 of file sat_parameters.pb.h.
◆ SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_ARRAYSIZE
|
constexpr |
Definition at line 252 of file sat_parameters.pb.h.
◆ SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MAX
|
constexpr |
Definition at line 251 of file sat_parameters.pb.h.
◆ SatParameters_MaxSatAssumptionOrder_MaxSatAssumptionOrder_MIN
|
constexpr |
Definition at line 250 of file sat_parameters.pb.h.
◆ SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_ARRAYSIZE
|
constexpr |
Definition at line 276 of file sat_parameters.pb.h.
◆ SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MAX
|
constexpr |
Definition at line 275 of file sat_parameters.pb.h.
◆ SatParameters_MaxSatStratificationAlgorithm_MaxSatStratificationAlgorithm_MIN
|
constexpr |
Definition at line 274 of file sat_parameters.pb.h.
◆ SatParameters_Polarity_Polarity_ARRAYSIZE
|
constexpr |
Definition at line 104 of file sat_parameters.pb.h.
◆ SatParameters_Polarity_Polarity_MAX
|
constexpr |
Definition at line 103 of file sat_parameters.pb.h.
◆ SatParameters_Polarity_Polarity_MIN
|
constexpr |
Definition at line 102 of file sat_parameters.pb.h.
◆ SatParameters_RestartAlgorithm_RestartAlgorithm_ARRAYSIZE
|
constexpr |
Definition at line 228 of file sat_parameters.pb.h.
◆ SatParameters_RestartAlgorithm_RestartAlgorithm_MAX
|
constexpr |
Definition at line 227 of file sat_parameters.pb.h.
◆ SatParameters_RestartAlgorithm_RestartAlgorithm_MIN
|
constexpr |
Definition at line 226 of file sat_parameters.pb.h.
◆ SatParameters_SearchBranching_SearchBranching_ARRAYSIZE
|
constexpr |
Definition at line 304 of file sat_parameters.pb.h.
◆ SatParameters_SearchBranching_SearchBranching_MAX
|
constexpr |
Definition at line 303 of file sat_parameters.pb.h.
◆ SatParameters_SearchBranching_SearchBranching_MIN
|
constexpr |
Definition at line 302 of file sat_parameters.pb.h.
◆ SatParameters_VariableOrder_VariableOrder_ARRAYSIZE
|
constexpr |
Definition at line 78 of file sat_parameters.pb.h.
◆ SatParameters_VariableOrder_VariableOrder_MAX
|
constexpr |
Definition at line 77 of file sat_parameters.pb.h.
◆ SatParameters_VariableOrder_VariableOrder_MIN
|
constexpr |
Definition at line 76 of file sat_parameters.pb.h.