Uses of Class
DLV.Predicate.Literal

Uses of Predicate.Literal in DLV

Methods in DLV that return Predicate.Literal

Predicate.Literal	Predicate.getLiteral() Returns the literal currently pointed by the cursor.
Predicate.Literal	Predicate.getLiteral(int i) Returns the i-th literal.
Predicate.Literal	Predicate.nextLiteral() This method returns the next literal.
Predicate.Literal	Predicate.previousLiteral() This method returns the previous literal.
Predicate.Literal	Predicate.firstLiteral() This method returns the first literal and sets the cursor at the first position of this Predicate.
Predicate.Literal	Predicate.lastLiteral() This method returns the last literal and set the cursor at the last position of this Predicate.
Predicate.Literal	Predicate.Literal.getContrary() Gets the contrary Literal.

Methods in DLV with parameters of type Predicate.Literal

void	Predicate.updateLiteral(Predicate.Literal literal) This method updates (replace) the literal currently pointed by the cursor if it exists, otherwise NoSuchLiteralException is thrown.
void	Predicate.updateLiteral(int i, Predicate.Literal literal) This method updates (replace) the i-th literal if it exists, otherwise NoSuchLiteralException is thrown.
void	Predicate.addLiteral(Predicate.Literal literal) This method append a new Literal to this Predicate.
boolean	Predicate.Literal.isContrary(Predicate.Literal f) If this Literal is the contrary of f returns true, otherwise false.