## 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 |

CDoubleLinearExpr | A dedicated container for linear expressions with double coefficients |

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 |

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] |

CDomainIterator | Allows to iterate over all values of a domain in order with for (const int64_t v : domain.Values()) { ... } |

CDomainIteratorBeginEnd | |

CDomainIteratorBeginEndWithOwnership | |

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 |