Package DLV

Class Summary

ConversionType	The class that defines the constants that are used to identify generic DLV Wrapper types.
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.
DlvHandler	This is a wrapper class that allows to call DLV from a Java program.
DLVInvocationException	This exception is trown if any error is occurred during DLV invocation.
FilePredicate	This class allows to handle ground predicates stored in a text file in datalog format.
JDBCPredicate	This class allows to handle ground predicates stored in realtional database tables.
Model	This class represents a Model of a logic program (output of DLV).
ODIFilePredicate	This class allows to specify that the output storage device are one or more text files in datalog format.
ODIJDBCPredicate	This class allows to specify that the output storage device is a database table.
ODIPredicate	This class allows to specify that the output storage device is main memory.
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.
Parser
Predicate	This class allows to handle predicates (which corresponds to tables in a relational database).
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.
Tester
Tools	This class provide some useful static methods.

Exception Summary

BadArityException	This exception is trown if you try to construct a Literal specifying an incorrect number of terms.
BadColumnNameException	This exception is trown if the specified name does not correspond to a position.
DLVExceptionUncheked	This is the ancestor class of all (unchecked) Exception classes which are contained in DLV package.
InvalidParameterException	This exception is trown if you insert an ivalid parameter.
InvalidValueException	This exception is trown if you try to get a value from a Predicate with an incorrect method.
IsNoModelException	This exception is trown if you call a method and this object represents no model.
JDBCException	This exception is thrown if something goes wrong working with JDBC classes.
LiteralStaledException	This exception is thrown if you try to update a staled Literal object.
MalformedTermException	This exception is trown if you try to put a malformed term in a literal.
NoModelsComputed	This exception is trown if you call a method to handle the output of DLV before the execution of DLV.
NoSuchLiteralException	This exception is thrown if you try to get, from a predicate, a literal which doesn't exist.
NoSuchModelException	This exception is trown if is asked to DLV_Manager istance a model that not exists.
NoSuchPredicateException	This exception is thrown if you try to get, from a model, a predicate which doesn't exist.
NoSuchTermException	This exception is thrown if you try to get, from a predicate, a term which doesn't exist.
ParserException	This exception is trown if a syntax error is found.
TrueNegationNotSupportedException	This exception is thrown if you try to use true negation in a predicate that does not support it.