Google.OrTools.Sat.ILiteral Interface Reference

Holds a Boolean variable or its negation. More...

Inheritance diagram for Google.OrTools.Sat.ILiteral:

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

Detailed Description

Holds a Boolean variable or its negation.

Definition at line 25 of file IntegerExpressions.cs.

Member Function Documentation

GetIndex()

int Google.OrTools.Sat.ILiteral.GetIndex

(

)

Returns the logical index of the literal.

Implemented in Google.OrTools.Sat.NotBoolVar.

Not()

ILiteral Google.OrTools.Sat.ILiteral.Not

(

)

Returns the Boolean negation of the literal.

Implemented in Google.OrTools.Sat.BoolVar, and Google.OrTools.Sat.NotBoolVar.

NotAsExpr()

LinearExpr Google.OrTools.Sat.ILiteral.NotAsExpr

(

)

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

Implemented in Google.OrTools.Sat.BoolVar, and Google.OrTools.Sat.NotBoolVar.

---

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

• ortools/sat/csharp/IntegerExpressions.cs