Java Reference
Java Reference
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: