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
DisableImplicationBetweenLiteral()	IntegerEncoder	inline
FullDomainEncoding(IntegerVariable var) const	IntegerEncoder
FullyEncodeVariable(IntegerVariable var)	IntegerEncoder
GetAllAssociatedVariables(Literal lit) const	IntegerEncoder	inline
GetAssociatedEqualityLiteral(IntegerVariable var, IntegerValue value) const	IntegerEncoder
GetAssociatedLiteral(IntegerLiteral i_lit) const	IntegerEncoder
GetEqualityLiterals(Literal lit) const	IntegerEncoder	inline
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	inlineexplicit
LiteralOrNegationHasView(Literal lit, IntegerVariable *view=nullptr, bool *view_is_direct=nullptr) const	IntegerEncoder
PartialDomainEncoding(IntegerVariable var) const	IntegerEncoder
PartialGreaterThanEncoding(IntegerVariable var) const	IntegerEncoder
ReserveSpaceForNumVariables(int num_vars)	IntegerEncoder
SearchForLiteralAtOrBefore(IntegerLiteral i_lit, IntegerValue *bound) const	IntegerEncoder
UpdateEncodingOnInitialDomainChange(IntegerVariable var, Domain domain)	IntegerEncoder
VariableIsFullyEncoded(IntegerVariable var) const	IntegerEncoder
~IntegerEncoder()	IntegerEncoder	inline