C++ Reference
C++ Reference: CP-SAT
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 123]
▼Noperations_research | |
▼Nsat | |
CAutomatonConstraint | Specialized automaton constraint |
CBoolVar | A Boolean variable |
CCircuitConstraint | Specialized circuit constraint |
CConstraint | A constraint |
CCpModelBuilder | Wrapper class around the cp_model proto |
CCumulativeConstraint | Specialized cumulative constraint |
CIntervalVar | Represents a Interval variable |
CIntVar | An integer variable |
CLinearExpr | A dedicated container for linear expressions |
CModel | Class that owns everything related to a particular optimization model |
CMultipleCircuitConstraint | Specialized circuit constraint |
CNoOverlap2DConstraint | Specialized no_overlap2D constraint |
CPROTOBUF_FINAL | |
CReservoirConstraint | Specialized reservoir constraint |
CTableConstraint | Specialized assignment constraint |
CClosedInterval | Represents a closed interval [start, end] |
CDomain | We call domain any subset of Int64 = [kint64min, kint64max] |
CNestedTimeLimit | Provides a way to nest time limits for algorithms where a certain part of the computation is bounded not just by the overall time limit, but also by a stricter time limit specific just for this particular part |
CSharedTimeLimit | |
▼CSortedDisjointIntervalList | This class represents a sorted list of disjoint, closed intervals |
CIntervalComparator | |
CTimeLimit | A simple class to enforce both an elapsed time limit and a deterministic time limit in the same thread as a program |
Cis_proto_enum< ::operations_research::sat::CpSolverStatus > | |
Cis_proto_enum< ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy > | |
Cis_proto_enum< ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy > | |
CTableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto | |
CTableStruct_ortools_2fsat_2fcp_5fmodel_2eproto |