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	AsExpr ()
	Returns the literal as a linear expression.
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

AsExpr()

LinearExpr Google.OrTools.Sat.ILiteral.AsExpr

(

)

Returns the literal as a linear expression.

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

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