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 |
| ▼CMessage | |
| CPROTOBUF_FINAL | |
| 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 |
| CTableStruct_ortools_2fsat_2fboolean_5fproblem_2eproto | |
| CTableStruct_ortools_2fsat_2fcp_5fmodel_2eproto | |
| CTimeLimit | A simple class to enforce both an elapsed time limit and a deterministic time limit in the same thread as a program |
| ▼Ctrue_type | |
| Cis_proto_enum< ::operations_research::sat::CpSolverStatus > | |
| Cis_proto_enum< ::operations_research::sat::DecisionStrategyProto_DomainReductionStrategy > | |
| Cis_proto_enum< ::operations_research::sat::DecisionStrategyProto_VariableSelectionStrategy > |