Uses of Class
DLV.Predicate.Literal

Packages that use Predicate.Literal
DLV   
DLV.io   
 

Uses of Predicate.Literal in DLV
 

Methods in DLV that return Predicate.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.Literal.getContrary()
          Gets the contrary 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.lastLiteral()
          This method returns the last literal and set the cursor at the last position of this Predicate.
 Predicate.Literal Predicate.nextLiteral()
          This method returns the next literal.
 Predicate.Literal Predicate.previousLiteral()
          This method returns the previous literal.
 

Methods in DLV with parameters of type Predicate.Literal
 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.
 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.updateLiteral(Predicate.Literal literal)
          This method updates (replace) the literal currently pointed by the cursor if it exists, otherwise NoSuchLiteralException is thrown.
 

Uses of Predicate.Literal in DLV.io
 

Constructors in DLV.io with parameters of type Predicate.Literal
LiteralFile.LiteralHandler(long lgPosition, Predicate.Literal lit)