C++ Reference

C++ Reference: CP-SAT

Domain Member List

This is the complete list of members for Domain, including all inherited members.

AdditionWith(const Domain &domain) constDomain
AllValues()Domainstatic
back() constDomaininline
begin() constDomaininline
Complement() constDomain
Contains(int64 value) constDomain
ContinuousMultiplicationBy(int64 coeff) constDomain
ContinuousMultiplicationBy(const Domain &domain) constDomain
DivisionBy(int64 coeff) constDomain
Domain()Domaininline
Domain(const Domain &other)Domaininline
Domain(Domain &&other)Domaininline
Domain(int64 value)Domainexplicit
Domain(int64 left, int64 right)Domain
end() constDomaininline
FixedValue() constDomain
FlattenedIntervals() constDomain
FromFlatIntervals(const std::vector< int64 > &flat_intervals)Domainstatic
FromFlatSpanOfIntervals(absl::Span< const int64 > flat_intervals)Domainstatic
FromIntervals(absl::Span< const ClosedInterval > intervals)Domainstatic
FromValues(std::vector< int64 > values)Domainstatic
FromVectorIntervals(const std::vector< std::vector< int64 > > &intervals)Domainstatic
front() constDomaininline
IntersectionWith(const Domain &domain) constDomain
intervals() constDomaininline
InverseMultiplicationBy(const int64 coeff) constDomain
IsEmpty() constDomain
IsFixed() constDomain
IsIncludedIn(const Domain &domain) constDomain
Max() constDomain
Min() constDomain
MultiplicationBy(int64 coeff, bool *exact=nullptr) constDomain
Negation() constDomain
NumIntervals() constDomaininline
operator!=(const Domain &other) constDomaininline
operator<(const Domain &other) constDomain
operator=(const Domain &other)Domaininline
operator=(Domain &&other)Domaininline
operator==(const Domain &other) constDomaininline
operator[](int i) constDomaininline
RelaxIfTooComplex() constDomain
SimplifyUsingImpliedDomain(const Domain &implied_domain) constDomain
Size() constDomain
ToString() constDomain
UnionWith(const Domain &domain) constDomain