Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::IntegerEncoder Member List

This is the complete list of members for operations_research::sat::IntegerEncoder, including all inherited members.

AddAllImplicationsBetweenAssociatedLiterals()operations_research::sat::IntegerEncoder
AssociateToIntegerEqualValue(Literal literal, IntegerVariable var, IntegerValue value)operations_research::sat::IntegerEncoder
AssociateToIntegerLiteral(Literal literal, IntegerLiteral i_lit)operations_research::sat::IntegerEncoder
Canonicalize(IntegerLiteral i_lit) constoperations_research::sat::IntegerEncoder
DisableImplicationBetweenLiteral()operations_research::sat::IntegerEncoderinline
FullDomainEncoding(IntegerVariable var) constoperations_research::sat::IntegerEncoder
FullyEncodeVariable(IntegerVariable var)operations_research::sat::IntegerEncoder
GetAllAssociatedVariables(Literal lit) constoperations_research::sat::IntegerEncoderinline
GetAssociatedEqualityLiteral(IntegerVariable var, IntegerValue value) constoperations_research::sat::IntegerEncoder
GetAssociatedLiteral(IntegerLiteral i_lit) constoperations_research::sat::IntegerEncoder
GetEqualityLiterals(Literal lit) constoperations_research::sat::IntegerEncoderinline
GetFalseLiteral()operations_research::sat::IntegerEncoderinline
GetIntegerLiterals(Literal lit) constoperations_research::sat::IntegerEncoderinline
GetLiteralView(Literal lit) constoperations_research::sat::IntegerEncoderinline
GetOrCreateAssociatedLiteral(IntegerLiteral i_lit)operations_research::sat::IntegerEncoder
GetOrCreateLiteralAssociatedToEquality(IntegerVariable var, IntegerValue value)operations_research::sat::IntegerEncoder
GetTrueLiteral()operations_research::sat::IntegerEncoderinline
IntegerEncoder(Model *model)operations_research::sat::IntegerEncoderinlineexplicit
IntegerEncoder(const IntegerEncoder &)=deleteoperations_research::sat::IntegerEncoder
IsFixedOrHasAssociatedLiteral(IntegerLiteral i_lit) constoperations_research::sat::IntegerEncoder
LiteralOrNegationHasView(Literal lit, IntegerVariable *view=nullptr, bool *view_is_direct=nullptr) constoperations_research::sat::IntegerEncoder
operator=(const IntegerEncoder &)=deleteoperations_research::sat::IntegerEncoder
PartialDomainEncoding(IntegerVariable var) constoperations_research::sat::IntegerEncoder
PartialGreaterThanEncoding(IntegerVariable var) constoperations_research::sat::IntegerEncoder
ReserveSpaceForNumVariables(int num_vars)operations_research::sat::IntegerEncoder
SearchForLiteralAtOrBefore(IntegerLiteral i_lit, IntegerValue *bound) constoperations_research::sat::IntegerEncoder
UpdateEncodingOnInitialDomainChange(IntegerVariable var, Domain domain)operations_research::sat::IntegerEncoder
VariableIsFullyEncoded(IntegerVariable var) constoperations_research::sat::IntegerEncoder
~IntegerEncoder()operations_research::sat::IntegerEncoderinline