Java Reference
Java Reference
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()
|
inline |
Definition at line 21 of file NotBooleanVariable.java.
Member Function Documentation
◆ getIndex()
|
inline |
Internal: returns the index in the literal in the underlying CpModelProto.
Implements Literal.
Definition at line 27 of file NotBooleanVariable.java.
◆ getShortString()
|
inline |
Returns a short string describing this literal.
Implements Literal.
Definition at line 39 of file NotBooleanVariable.java.
◆ not()
|
inline |
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: