ILiteral

Detailed Description

Holds a Boolean variable or its negation.

Definition at line 25 of file IntegerExpressions.cs.

Public Member Functions
ILiteral	Not ()
	Returns the Boolean negation of the literal. More...
int	GetIndex ()
	Returns the logical index of the literal. More...
LinearExpr	NotAsExpr ()
	Returns the Boolean negation of the literal as a linear expression. More...

Member Function Documentation

GetIndex()

int GetIndex

(

)

Returns the logical index of the literal.

Implemented in NotBoolVar.

Not()

ILiteral Not

(

)

Returns the Boolean negation of the literal.

Implemented in NotBoolVar, and BoolVar.

NotAsExpr()

LinearExpr NotAsExpr

(

)

Returns the Boolean negation of the literal as a linear expression.

Implemented in NotBoolVar, and BoolVar.

---

The documentation for this interface was generated from the following file:

• IntegerExpressions.cs