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) const	operations_research::sat::IntegerEncoder
DisableImplicationBetweenLiteral()	operations_research::sat::IntegerEncoder	inline
FullDomainEncoding(IntegerVariable var) const	operations_research::sat::IntegerEncoder
FullyEncodeVariable(IntegerVariable var)	operations_research::sat::IntegerEncoder
GetAllAssociatedVariables(Literal lit) const	operations_research::sat::IntegerEncoder	inline
GetAssociatedEqualityLiteral(IntegerVariable var, IntegerValue value) const	operations_research::sat::IntegerEncoder
GetAssociatedLiteral(IntegerLiteral i_lit) const	operations_research::sat::IntegerEncoder
GetEqualityLiterals(Literal lit) const	operations_research::sat::IntegerEncoder	inline
GetFalseLiteral()	operations_research::sat::IntegerEncoder	inline
GetIntegerLiterals(Literal lit) const	operations_research::sat::IntegerEncoder	inline
GetLiteralView(Literal lit) const	operations_research::sat::IntegerEncoder	inline
GetOrCreateAssociatedLiteral(IntegerLiteral i_lit)	operations_research::sat::IntegerEncoder
GetOrCreateLiteralAssociatedToEquality(IntegerVariable var, IntegerValue value)	operations_research::sat::IntegerEncoder
GetTrueLiteral()	operations_research::sat::IntegerEncoder	inline
IntegerEncoder(Model *model)	operations_research::sat::IntegerEncoder	inlineexplicit
IntegerEncoder(const IntegerEncoder &)=delete	operations_research::sat::IntegerEncoder
IsFixedOrHasAssociatedLiteral(IntegerLiteral i_lit) const	operations_research::sat::IntegerEncoder
LiteralOrNegationHasView(Literal lit, IntegerVariable *view=nullptr, bool *view_is_direct=nullptr) const	operations_research::sat::IntegerEncoder
NumVariables() const	operations_research::sat::IntegerEncoder	inline
operator=(const IntegerEncoder &)=delete	operations_research::sat::IntegerEncoder
PartialDomainEncoding(IntegerVariable var) const	operations_research::sat::IntegerEncoder
PartialGreaterThanEncoding(IntegerVariable var) const	operations_research::sat::IntegerEncoder
ReserveSpaceForNumVariables(int num_vars)	operations_research::sat::IntegerEncoder
SearchForLiteralAtOrAfter(IntegerLiteral i_lit, IntegerValue *bound) const	operations_research::sat::IntegerEncoder
SearchForLiteralAtOrBefore(IntegerLiteral i_lit, IntegerValue *bound) const	operations_research::sat::IntegerEncoder
UpdateEncodingOnInitialDomainChange(IntegerVariable var, Domain domain)	operations_research::sat::IntegerEncoder
VariableDomainHasHoles(IntegerVariable var)	operations_research::sat::IntegerEncoder	inline
VariableIsFullyEncoded(IntegerVariable var) const	operations_research::sat::IntegerEncoder
~IntegerEncoder()	operations_research::sat::IntegerEncoder	inline