C++ Reference

C++ Reference: CP-SAT

Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 12]
 CBoolVarA Boolean variable
 CClosedIntervalRepresents a closed interval [start, end]
 CConstraintA constraint
 CAutomatonConstraintSpecialized automaton constraint
 CCircuitConstraintSpecialized circuit constraint
 CCumulativeConstraintSpecialized cumulative constraint
 CMultipleCircuitConstraintSpecialized circuit constraint
 CNoOverlap2DConstraintSpecialized no_overlap2D constraint
 CReservoirConstraintSpecialized reservoir constraint
 CTableConstraintSpecialized assignment constraint
 CCpModelBuilderWrapper class around the cp_model proto
 CDomainWe call domain any subset of Int64 = [kint64min, kint64max]
 CSortedDisjointIntervalList::IntervalComparator
 CIntervalVarRepresents a Interval variable
 CIntVarAn integer variable
 CLinearExprA dedicated container for linear expressions
 CModelClass that owns everything related to a particular optimization model
 CNestedTimeLimitProvides 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
 CSortedDisjointIntervalListThis class represents a sorted list of disjoint, closed intervals
 CTimeLimitA simple class to enforce both an elapsed time limit and a deterministic time limit in the same thread as a program