|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DLV | |
---|---|
DLV | |
DLV.core | |
DLV.io | |
DLV.parser |
Classes in DLV used by DLV | |
---|---|
ConversionType.DBNull
The static class identifying the DLV term used to identify database null values. |
|
DLVException
This is the ancestor class of all (checked) Exception classes which are contained in DLV package. |
|
DLVExceptionUncheked
This is the ancestor class of all (unchecked) Exception classes which are contained in DLV package. |
|
DLVInvocationException
This exception is trown if any error is occurred during DLV invocation. |
|
Model
This class represents a Model of a logic program (output of DLV). |
|
OutputDescriptor
This class describes how to build the output of DLV. |
|
OutputDescriptorItem
Each OutputDescriptorItem instance allows to specify how to build a specified Predicate object during DLV output handling process. |
|
Predicate
This class allows to handle predicates (which corresponds to tables in a relational database). |
|
Predicate.Literal
This class represents Literals. |
|
PredicateMetaData
An object that can be used to get information about the types and properties of the "columns" in a Predicate object (in a relational database view of predicates). |
|
Program
This class represents a logic program input of DLV. |
Classes in DLV used by DLV.core | |
---|---|
DLVInvocationException
This exception is trown if any error is occurred during DLV invocation. |
|
Model
This class represents a Model of a logic program (output of DLV). |
|
OutputDescriptor
This class describes how to build the output of DLV. |
|
Program
This class represents a logic program input of DLV. |
Classes in DLV used by DLV.io | |
---|---|
DLVExceptionUncheked
This is the ancestor class of all (unchecked) Exception classes which are contained in DLV package. |
|
Predicate.Literal
This class represents Literals. |
Classes in DLV used by DLV.parser | |
---|---|
DLVExceptionUncheked
This is the ancestor class of all (unchecked) Exception classes which are contained in DLV package. |
|
ParserException
This exception is trown if a syntax error is found. |
|
Predicate
This class allows to handle predicates (which corresponds to tables in a relational database). |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |