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) const
IntegerEncoder
ClearNewlyFixedIntegerLiterals
()
IntegerEncoder
inline
DisableImplicationBetweenLiteral
()
IntegerEncoder
inline
FullDomainEncoding
(IntegerVariable var) const
IntegerEncoder
FullyEncodeVariable
(IntegerVariable var)
IntegerEncoder
GetAllIntegerLiterals
(Literal lit) const
IntegerEncoder
inline
GetAssociatedEqualityLiteral
(IntegerVariable var, IntegerValue value) const
IntegerEncoder
GetAssociatedLiteral
(IntegerLiteral i_lit) const
IntegerEncoder
GetFalseLiteral
()
IntegerEncoder
inline
GetIntegerLiterals
(Literal lit) const
IntegerEncoder
inline
GetLiteralView
(Literal lit) const
IntegerEncoder
inline
GetOrCreateAssociatedLiteral
(IntegerLiteral i_lit)
IntegerEncoder
GetOrCreateLiteralAssociatedToEquality
(IntegerVariable var, IntegerValue value)
IntegerEncoder
GetTrueLiteral
()
IntegerEncoder
inline
IntegerEncoder
(Model *model)
IntegerEncoder
inline
explicit
LiteralIsAssociated
(IntegerLiteral i_lit) const
IntegerEncoder
LiteralOrNegationHasView
(Literal lit) const
IntegerEncoder
inline
NewlyFixedIntegerLiterals
() const
IntegerEncoder
inline
PartialDomainEncoding
(IntegerVariable var) const
IntegerEncoder
PartialGreaterThanEncoding
(IntegerVariable var) const
IntegerEncoder
inline
SearchForLiteralAtOrBefore
(IntegerLiteral i, IntegerValue *bound) const
IntegerEncoder
VariableIsFullyEncoded
(IntegerVariable var) const
IntegerEncoder
~IntegerEncoder
()
IntegerEncoder
inline
Generated by
1.9.1