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
M
main(String[])
- Static method in class DLV.io.
LiteralFile
main(String[])
- Static method in class DLV.parser.
QueryParser
main(String[])
- Static method in class DLV.
Tester
MalformedTermException
- Exception in
DLV
This exception is trown if you try to put a malformed term in a literal.
MalformedTermException()
- Constructor for exception DLV.
MalformedTermException
MalformedTermException(String)
- Constructor for exception DLV.
MalformedTermException
Model
- Class in
DLV
This class represents a Model of a logic program (output of DLV).
MODEL_SYNCHRONOUS
- Static variable in class DLV.
DlvHandler
This constant indicates a kind of synchronization method of a DlvHandler instance.
modelElapsedTime()
- Method in class DLV.
Parser
moveToCurrentRow()
- Method in class DLV.
Predicate
Moves the cursor to the remembered cursor position, usually the current row.
moveToInsertRow()
- Method in class DLV.
Predicate
multipleModelAllowed()
- Method in class DLV.
ODIFilePredicate
multipleModelAllowed()
- Method in class DLV.
ODIJDBCPredicate
multipleModelAllowed()
- Method in class DLV.
OutputDescriptor
Returns true if this OutputDescriptor supports multiple model generation, false otherwise.
multipleModelAllowed()
- Method in class DLV.
OutputDescriptorItem
Returns true if this OutputDescriptorItem supports multiple model generation, false otherwise.
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