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