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
F
FilePredicate
- Class in
DLV
This class allows to handle ground predicates stored in a text file in datalog format.
FilePredicate(String, int, String)
- Constructor for class DLV.
FilePredicate
Constructs a new FilePredicate instance.
FilePredicate(String, int, String, String, int, int)
- Constructor for class DLV.
FilePredicate
Constructs a new FilePredicate instance.
FilePredicate(String, int, RandomAccessLiteralFile)
- Constructor for class DLV.
FilePredicate
Constructs a new FilePredicate instance.
FINISHED
- Static variable in class DLV.core.
JavaPipedIOImpl
FINISHED
- Static variable in class DLV.
DlvHandler
The status of a DlvHandler instance when DLV process terminates a computation.
first()
- Method in class DLV.
Model
This method moves the cursor to the first Predicate in this Model object.
first()
- Method in class DLV.
Predicate
This method moves the cursor to the first Literal in this Predicate object.
firstLiteral()
- Method in class DLV.
Predicate
This method returns the first literal and sets the cursor at the first position of this Predicate.
firstPredicate()
- Method in class DLV.
Model
This method returns the first predicate and set the cursor at the beginning of this Model.
flush()
- Method in class DLV.
FilePredicate
This method calls the flush() method of the underlying RandomAccessLiteralFile.
flush()
- Method in class DLV.io.
LiteralFile
flush()
- Method in class DLV.io.
RandomAccessCharacterFile
flush()
- Method in class DLV.io.
RandomAccessLiteralFile
Flushes buffers.
flushAndClean()
- Method in class DLV.
ODIFilePredicate
flushAndClean()
- Method in class DLV.
ODIJDBCPredicate
flushAndClean()
- Method in class DLV.
ODIPredicate
flushAndClean()
- Method in class DLV.
OutputDescriptorItem
freeze(DlvIOHandler)
- Method in interface DLV.core.
AbstractIOImplementation
freeze(DlvIOHandler)
- Method in class DLV.core.
JavaPipedIOImpl
freeze()
- Method in class DLV.
DlvHandler
This function freezes the current DLV process.
FREEZED
- Static variable in class DLV.core.
JavaPipedIOImpl
FREEZED
- Static variable in class DLV.
DlvHandler
The status of a DlvHandler instance when DLV process was freezed.
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