Uses of Class
DLV.Model

Uses of Model in DLV

Fields in DLV declared as Model

static Model

Model.NO_MODEL DLV programs may have many models or no model at all.

Methods in DLV that return Model

Model	Predicate.getModel() Returns the model which contains this predicate, null otherwise.
Model	DlvHandler.nextModel() Returns The next Model object available with respect to the current cursor position.
Model	DlvHandler.previousModel() Returns The previous Model object available with respect to the current cursor position.
Model	DlvHandler.getModel(int i) Returns the i-th Model object if exists null otherwise.
Model	DlvHandler.getModel() If exists, returns the Model object currently pointed by the cursor, null otherwise.

Methods in DLV with parameters of type Model

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)
void	DlvHandler.addModel(Model m)