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...
String	getShortString ()
	Returns a short string to describe the literal. More...

Member Function Documentation

getIndex()

int getIndex

(

)

Implemented in NotBooleanVariable, and IntVar.

getShortString()

String getShortString

(

)

Returns a short string to describe the literal.

Implemented in NotBooleanVariable, and IntVar.

not()

Literal not

(

)

Returns the Boolean negation of the current literal.

Implemented in NotBooleanVariable, and IntVar.

---

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

• Literal.java