|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |