A B C D E F G H I J K L M N O P Q R S T U V W

D

DATE - Static variable in class DLV.ConversionType
The constant identifying the DLV Wrapper type DATE.
DBNULL - Static variable in class DLV.ConversionType
The constant identifying the DLV term used to identify database null values.
DBNULL_CLASS - Static variable in class DLV.ConversionType
The statc class instance identifying the DLV term used to identify database null values.
debugStream - Variable in class DLV.parser.QueryParserTokenManager
 
DEFAULT - Static variable in interface DLV.parser.QueryParserConstants
 
deFreeze(DlvIOHandler) - Method in interface DLV.core.AbstractIOImplementation
 
deFreeze(DlvIOHandler) - Method in class DLV.core.JavaPipedIOImpl
 
deFreeze() - Method in class DLV.DlvHandler
This function deFreezes the current DLV process.
DIGIT - Static variable in interface DLV.parser.QueryParserConstants
 
disable_tracing() - Method in class DLV.parser.QueryParser
 
DLV - package DLV
 
DLV.core - package DLV.core
 
DLV.io - package DLV.io
 
DLV.parser - package DLV.parser
 
DLVException - Class in DLV
This is the ancestor class of all (checked) Exception classes which are contained in DLV package.
DLVException() - Constructor for class DLV.DLVException
 
DLVException(String) - Constructor for class DLV.DLVException
 
DLVExceptionUncheked - Exception in DLV
This is the ancestor class of all (unchecked) Exception classes which are contained in DLV package.
DLVExceptionUncheked() - Constructor for exception DLV.DLVExceptionUncheked
 
DLVExceptionUncheked(String) - Constructor for exception DLV.DLVExceptionUncheked
 
DlvHandler - Class in DLV
This is a wrapper class that allows to call DLV from a Java program.
DlvHandler(String) - Constructor for class DLV.DlvHandler
Constructs a Dlvhandler object that uses the standard Input Output implementation.
DlvHandler(AbstractIOImplementation) - Constructor for class DLV.DlvHandler
Constructs a Dlvhandler object that uses the specified implementation.
DLVInvocationException - Class in DLV
This exception is trown if any error is occurred during DLV invocation.
DLVInvocationException() - Constructor for class DLV.DLVInvocationException
 
DLVInvocationException(String) - Constructor for class DLV.DLVInvocationException
 
DlvIOHandler - Interface in DLV.core
 
Done() - Method in class DLV.parser.JavaCharStream
 

A B C D E F G H I J K L M N O P Q R S T U V W