|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Predicate in DLV |
Subclasses of Predicate in DLV | |
class |
FilePredicate
This class allows to handle ground predicates stored in a text file in datalog format. |
class |
JDBCPredicate
This class allows to handle ground predicates stored in realtional database tables. |
Methods in DLV that return Predicate | |
Predicate[] |
Program.getPredicates()
Returns the array of predicate objects contained in this Program object. |
Predicate |
Predicate.Literal.getPredicate()
This function returns the Predicate object which contains this Literal. |
abstract Predicate |
OutputDescriptorItem.buildPredicate(java.lang.String name,
int arity,
Model m,
int modelNumber)
|
Predicate |
ODIPredicate.buildPredicate(java.lang.String name,
int arity,
Model m,
int modelNumber)
|
Predicate |
ODIJDBCPredicate.buildPredicate(java.lang.String name,
int arity,
Model m,
int modelNumber)
|
Predicate |
ODIFilePredicate.buildPredicate(java.lang.String name,
int arity,
Model m,
int modelNumber)
|
Predicate |
Model.getPredicate(java.lang.String name)
Returns, if exists, a Predicate object of name "name", null otherwise. |
Predicate |
Model.getPredicate()
Returns the Predicate currently pointed by the cursor. |
Predicate |
Model.getPredicate(int i)
Returns the i-th predicate. |
Predicate |
Model.nextPredicate()
This method returns the next predicate. |
Predicate |
Model.previousPredicate()
This method returns the previous Predicate. |
Predicate |
Model.firstPredicate()
This method returns the first predicate and set the cursor at the beginning of this Model. |
Predicate |
Model.lastPredicate()
This method returns the last predicate and set the cursor at the end of this Model. |
Methods in DLV with parameters of type Predicate | |
void |
Program.addPredicate(Predicate relation)
Adds to this Program a Predicate object. |
void |
Program.removePredicate(Predicate relation)
Remove from this Program the "relation" Predicate object. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |