C++ Reference
C++ Reference: CP-SAT
Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 12]
CBoolVar | A Boolean variable |
CClosedInterval | Represents a closed interval [start, end] |
▼CConstraint | A constraint |
CAutomatonConstraint | Specialized automaton constraint |
CCircuitConstraint | Specialized circuit constraint |
CCumulativeConstraint | Specialized cumulative constraint |
CMultipleCircuitConstraint | Specialized circuit constraint |
CNoOverlap2DConstraint | Specialized no_overlap2D constraint |
CReservoirConstraint | Specialized reservoir constraint |
CTableConstraint | Specialized assignment constraint |
CCpModelBuilder | Wrapper class around the cp_model proto |
CDomain | We call domain any subset of Int64 = [kint64min, kint64max] |
CSortedDisjointIntervalList::IntervalComparator | |
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 |
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 |
CTimeLimit | A simple class to enforce both an elapsed time limit and a deterministic time limit in the same thread as a program |