OR-Tools  8.2
IntegerEncoder Member List

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

AddAllImplicationsBetweenAssociatedLiterals()IntegerEncoder
AssociateToIntegerEqualValue(Literal literal, IntegerVariable var, IntegerValue value)IntegerEncoder
AssociateToIntegerLiteral(Literal literal, IntegerLiteral i_lit)IntegerEncoder
Canonicalize(IntegerLiteral i_lit) constIntegerEncoder
ClearNewlyFixedIntegerLiterals()IntegerEncoderinline
DisableImplicationBetweenLiteral()IntegerEncoderinline
FullDomainEncoding(IntegerVariable var) constIntegerEncoder
FullyEncodeVariable(IntegerVariable var)IntegerEncoder
GetAllIntegerLiterals(Literal lit) constIntegerEncoderinline
GetAssociatedEqualityLiteral(IntegerVariable var, IntegerValue value) constIntegerEncoder
GetAssociatedLiteral(IntegerLiteral i_lit) constIntegerEncoder
GetFalseLiteral()IntegerEncoderinline
GetIntegerLiterals(Literal lit) constIntegerEncoderinline
GetLiteralView(Literal lit) constIntegerEncoderinline
GetOrCreateAssociatedLiteral(IntegerLiteral i_lit)IntegerEncoder
GetOrCreateLiteralAssociatedToEquality(IntegerVariable var, IntegerValue value)IntegerEncoder
GetTrueLiteral()IntegerEncoderinline
IntegerEncoder(Model *model)IntegerEncoderinlineexplicit
LiteralIsAssociated(IntegerLiteral i_lit) constIntegerEncoder
LiteralOrNegationHasView(Literal lit) constIntegerEncoderinline
NewlyFixedIntegerLiterals() constIntegerEncoderinline
PartialDomainEncoding(IntegerVariable var) constIntegerEncoder
PartialGreaterThanEncoding(IntegerVariable var) constIntegerEncoderinline
SearchForLiteralAtOrBefore(IntegerLiteral i, IntegerValue *bound) constIntegerEncoder
VariableIsFullyEncoded(IntegerVariable var) constIntegerEncoder
~IntegerEncoder()IntegerEncoderinline