NotBoolVar

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 NotBoolVar.java.

Public Member Functions
	NotBoolVar (BoolVar boolVar)
int	getIndex ()
	returns the index in the literal in the underlying CpModelProto. More...
Literal	not ()
	Returns the negation of this literal. More...
LinearExpr	build ()
	Builds a linear expression. More...
String	toString ()
	Returns a short string describing this literal. More...

Constructor & Destructor Documentation

NotBoolVar()

NotBoolVar

(

BoolVar

boolVar

)

Definition at line 21 of file NotBoolVar.java.

Member Function Documentation

build()

LinearExpr build

(

)

Builds a linear expression.

Implements LinearArgument.

Definition at line 39 of file NotBoolVar.java.

getIndex()

int getIndex

(

)

returns the index in the literal in the underlying CpModelProto.

Implements Literal.

Definition at line 27 of file NotBoolVar.java.

not()

Literal not

(

)

Returns the negation of this literal.

Implements Literal.

Definition at line 33 of file NotBoolVar.java.

toString()

String toString

(

)

Returns a short string describing this literal.

Definition at line 45 of file NotBoolVar.java.

---

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

• NotBoolVar.java