Uses of Package
DLV

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.