Literal

Detailed Description

Interface to describe a boolean variable or its negation.

Definition at line 17 of file Literal.java.

Public Member Functions
int	getIndex ()
Literal	not ()
	Returns the Boolean negation of the current literal. More...
LinearExpr	build ()
	Builds a linear expression. More...

Member Function Documentation

build()

LinearExpr build ( )

inherited

Builds a linear expression.

Implemented in AffineExpression, ConstantExpression, IntVar, LinearExprBuilder, NotBoolVar, and WeightedSumExpression.

getIndex()

int getIndex

(

)

Implemented in NotBoolVar.

not()

Literal not

(

)

Returns the Boolean negation of the current literal.

Implemented in BoolVar, and NotBoolVar.

---

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

• Literal.java