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

B

backup(int) - Method in class DLV.parser.JavaCharStream
 
BadArityException - Exception in DLV
This exception is trown if you try to construct a Literal specifying an incorrect number of terms.
BadArityException() - Constructor for exception DLV.BadArityException
 
BadArityException(String) - Constructor for exception DLV.BadArityException
 
BadColumnNameException - Exception in DLV
This exception is trown if the specified name does not correspond to a position.
BadColumnNameException() - Constructor for exception DLV.BadColumnNameException
 
BadColumnNameException(String) - Constructor for exception DLV.BadColumnNameException
 
beforeFirst() - Method in class DLV.Model
Moves the cursor to the front of this Model object, just before the first Predicate.
beforeFirst() - Method in class DLV.Predicate
Moves the cursor to the front of this Predicate object, just before the first Literal.
beginColumn - Variable in class DLV.parser.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
beginLine - Variable in class DLV.parser.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
BeginToken() - Method in class DLV.parser.JavaCharStream
 
BIGDECIMAL - Static variable in class DLV.ConversionType
The constant identifying the DLV Wrapper type BIGDECIMAL.
bodyEvidence() - Method in class DLV.parser.QueryParser
 
BOOLEAN - Static variable in class DLV.ConversionType
The constant identifying the DLV Wrapper type BOOLEAN.
BRAV - Static variable in interface DLV.parser.QueryParserConstants
 
bufpos - Variable in class DLV.parser.JavaCharStream
 
buildLiteralFile(String, String, int, int) - Static method in class DLV.io.RandomAccessLiteralFile
Builds an instance of RandomAccessLiteralFile that works on a datalog text file.
buildPredicate(String, int, Model, int) - Method in class DLV.ODIFilePredicate
 
buildPredicate(String, int, Model, int) - Method in class DLV.ODIJDBCPredicate
 
buildPredicate(String, int, Model, int) - Method in class DLV.ODIPredicate
 
buildPredicate(String, int, Model, int) - Method in class DLV.OutputDescriptorItem
 

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