C++ Reference
C++ Reference: CP-SAT
Namespace List
Here is a list of all namespaces with brief descriptions:
[detail level 123]
▼Noperations_research | |
▼Nsat | |
CBoolVar | A Boolean variable |
CIntVar | An integer variable |
CLinearExpr | A dedicated container for linear expressions |
CIntervalVar | Represents a Interval variable |
CConstraint | A constraint |
CCircuitConstraint | Specialized circuit constraint |
CMultipleCircuitConstraint | Specialized circuit constraint |
CTableConstraint | Specialized assignment constraint |
CReservoirConstraint | Specialized reservoir constraint |
CAutomatonConstraint | Specialized automaton constraint |
CNoOverlap2DConstraint | Specialized no_overlap2D constraint |
CCumulativeConstraint | Specialized cumulative constraint |
CCpModelBuilder | Wrapper class around the cp_model proto |
CModel | Class that owns everything related to a particular optimization model |
CClosedInterval | Represents a closed interval [start, end] |
CDomain | We call domain any subset of Int64 = [kint64min, kint64max] |
▼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 |
CSharedTimeLimit | |
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 |