NotBooleanVariable

Detailed Description

The negation of a boolean variable.

This class should not be used directly, Literal must be used instead.

Definition at line 20 of file NotBooleanVariable.java.

Public Member Functions
	NotBooleanVariable (IntVar boolVar)
int	getIndex ()
	Internal: returns the index in the literal in the underlying CpModelProto. More...
Literal	not ()
	Returns the negation of this literal. More...
String	getShortString ()
	Returns a short string describing this literal. More...

Constructor & Destructor Documentation

NotBooleanVariable()

NotBooleanVariable

(

IntVar

boolVar

)

Definition at line 21 of file NotBooleanVariable.java.

Member Function Documentation

getIndex()

int getIndex

(

)

Internal: returns the index in the literal in the underlying CpModelProto.

Implements Literal.

Definition at line 27 of file NotBooleanVariable.java.

getShortString()

String getShortString

(

)

Returns a short string describing this literal.

Implements Literal.

Definition at line 39 of file NotBooleanVariable.java.

not()

Literal not

(

)

Returns the negation of this literal.

Implements Literal.

Definition at line 33 of file NotBooleanVariable.java.

---

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

• NotBooleanVariable.java