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

A

absolute(int) - Method in class DLV.Model
Moves the cursor to the given Predicate number in this Model object.
absolute(int) - Method in class DLV.Predicate
Moves the cursor to the given "row number" (in a relational view) in this Predicate object.
AbstractIOImplementation - Interface in DLV.core
 
addDescriptor(String, OutputDescriptorItem) - Method in class DLV.OutputDescriptor
Associates a predicate name with an OutputDescriptorItem.
addLiteral(Predicate.Literal) - Method in class DLV.Predicate
This method append a new Literal to this Predicate.
addLiteralHandler(LiteralFile.LiteralHandler) - Method in class DLV.io.LiteralFile
 
addModel(Model) - Method in interface DLV.core.DlvIOHandler
 
addModel(Model) - Method in class DLV.DlvHandler
 
addPredicate(Predicate) - Method in class DLV.Program
Adds to this Program a Predicate object.
addProgramFile(String) - Method in class DLV.Program
Adds to this Program a reference to a text file which contains a logic program.
addString(StringBuffer) - Method in class DLV.Program
Adds to this Program a StringBuffer containing a logic program in text format.
addString(String) - Method in class DLV.Program
Append to this Program a String containing a logic program in text format.
adjustBeginLineColumn(int, int) - Method in class DLV.parser.JavaCharStream
Method to adjust line and column numbers for the start of a token.
afterLast() - Method in class DLV.Model
Moves the cursor to the end of this Model object, just after the last Predicate.
afterLast() - Method in class DLV.Predicate
Moves the cursor to the end of this Predicate object, just after the last Literal.
allignMark(String, String, String) - Static method in class DLV.io.RandomAccessCharacterFile
 
appendString(StringBuffer) - Method in class DLV.Program
Append to this Program a StringBuffer containing a logic program in text format.
appendString(String) - Method in class DLV.Program
Append to this Program a String containing a logic program in text format.
appendTo(PrintWriter) - Method in class DLV.Model
This method allows to save this Model in the file handled by "out".
appendTo(PrintWriter) - Method in class DLV.Predicate
This method allows to save this Predicate in the file handled by "out".
appendTo(PrintWriter) - Method in class DLV.Predicate.Literal
This method allows to save this Literal in the file handled by "out" in datalog format.
arity() - Method in class DLV.Predicate
Returns the arity of this predicate.
arity() - Method in class DLV.Predicate.Literal
Returns the arity of the Predicate which contains this Literal.
arrayListToStringArray(ArrayList) - Static method in class DLV.Tools
This function converts a java.util.ArrayList containing String objects in an array of String objects.
ASYNCHRONOUS - Static variable in class DLV.DlvHandler
This constant indicates a kind of synchronization method of a DlvHandler instance.

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