Java Reference

Java Reference

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 IntVar, and NotBooleanVariable.

◆ getShortString()

String getShortString ( )

Returns a short string to describe the literal.

Implemented in IntVar, and NotBooleanVariable.

◆ not()

Literal not ( )

Returns the Boolean negation of the current literal.

Implemented in IntVar, and NotBooleanVariable.


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