Definition at line 276 of file integer.h.
◆ IntegerEncoder()
◆ ~IntegerEncoder()
◆ AddAllImplicationsBetweenAssociatedLiterals()
void AddAllImplicationsBetweenAssociatedLiterals |
( |
| ) |
|
◆ AssociateToIntegerEqualValue()
void AssociateToIntegerEqualValue |
( |
Literal |
literal, |
|
|
IntegerVariable |
var, |
|
|
IntegerValue |
value |
|
) |
| |
◆ AssociateToIntegerLiteral()
◆ Canonicalize()
◆ ClearNewlyFixedIntegerLiterals()
void ClearNewlyFixedIntegerLiterals |
( |
| ) |
|
|
inline |
◆ DisableImplicationBetweenLiteral()
void DisableImplicationBetweenLiteral |
( |
| ) |
|
|
inline |
◆ FullDomainEncoding()
◆ FullyEncodeVariable()
void FullyEncodeVariable |
( |
IntegerVariable |
var | ) |
|
◆ GetAllIntegerLiterals()
◆ GetAssociatedEqualityLiteral()
LiteralIndex GetAssociatedEqualityLiteral |
( |
IntegerVariable |
var, |
|
|
IntegerValue |
value |
|
) |
| const |
◆ GetAssociatedLiteral()
◆ GetFalseLiteral()
◆ GetIntegerLiterals()
◆ GetLiteralView()
const IntegerVariable GetLiteralView |
( |
Literal |
lit | ) |
const |
|
inline |
◆ GetOrCreateAssociatedLiteral()
◆ GetOrCreateLiteralAssociatedToEquality()
Literal GetOrCreateLiteralAssociatedToEquality |
( |
IntegerVariable |
var, |
|
|
IntegerValue |
value |
|
) |
| |
◆ GetTrueLiteral()
◆ LiteralIsAssociated()
◆ LiteralOrNegationHasView()
const bool LiteralOrNegationHasView |
( |
Literal |
lit | ) |
const |
|
inline |
◆ NewlyFixedIntegerLiterals()
◆ PartialDomainEncoding()
◆ PartialGreaterThanEncoding()
std::map<IntegerValue, Literal> PartialGreaterThanEncoding |
( |
IntegerVariable |
var | ) |
const |
|
inline |
◆ SearchForLiteralAtOrBefore()
LiteralIndex SearchForLiteralAtOrBefore |
( |
IntegerLiteral |
i, |
|
|
IntegerValue * |
bound |
|
) |
| const |
◆ VariableIsFullyEncoded()
bool VariableIsFullyEncoded |
( |
IntegerVariable |
var | ) |
const |
The documentation for this class was generated from the following files: