Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W