DotNet Reference

.Net Reference

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 BoolVar, and NotBoolVar.

◆ NotAsExpr()

LinearExpr NotAsExpr ( )

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

Implemented in BoolVar, and NotBoolVar.


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