Java Reference
Java Reference
NotBooleanVariable.java
Go to the documentation of this file.
int getIndex()
Internal, returns the index of the variable in the underlying CpModelProto.
Definition: IntVar.java:45
The negation of a boolean variable.
Definition: NotBooleanVariable.java:20
int getIndex()
Internal: returns the index in the literal in the underlying CpModelProto.
Definition: NotBooleanVariable.java:27
NotBooleanVariable(IntVar boolVar)
Definition: NotBooleanVariable.java:21
String getShortString()
Returns a short string describing this literal.
Definition: NotBooleanVariable.java:39
Interface to describe a boolean variable or its negation.
Definition: Literal.java:17