Java Reference

Java Reference

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: