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
R
RandomAccessCharacterFile
- Class in
DLV.io
This class allows to access a text file in random access.
RandomAccessCharacterFile(String, String, int)
- Constructor for class DLV.io.
RandomAccessCharacterFile
RandomAccessCharacterFile(String, String)
- Constructor for class DLV.io.
RandomAccessCharacterFile
RandomAccessLiteralFile
- Class in
DLV.io
This is an abstract class that implements a random access file of literals.
RandomAccessLiteralFile()
- Constructor for class DLV.io.
RandomAccessLiteralFile
read()
- Method in class DLV.io.
RandomAccessCharacterFile
readChar()
- Method in class DLV.parser.
JavaCharStream
READY
- Static variable in class DLV.core.
JavaPipedIOImpl
READY
- Static variable in class DLV.
DlvHandler
The status of a DlvHandler instance when DLV is running.
ReInit(Reader, int, int, int)
- Method in class DLV.parser.
JavaCharStream
ReInit(Reader, int, int)
- Method in class DLV.parser.
JavaCharStream
ReInit(Reader)
- Method in class DLV.parser.
JavaCharStream
ReInit(InputStream, int, int, int)
- Method in class DLV.parser.
JavaCharStream
ReInit(InputStream, int, int)
- Method in class DLV.parser.
JavaCharStream
ReInit(InputStream)
- Method in class DLV.parser.
JavaCharStream
ReInit(InputStream)
- Method in class DLV.parser.
QueryParser
ReInit(Reader)
- Method in class DLV.parser.
QueryParser
ReInit(QueryParserTokenManager)
- Method in class DLV.parser.
QueryParser
ReInit(JavaCharStream)
- Method in class DLV.parser.
QueryParserTokenManager
ReInit(JavaCharStream, int)
- Method in class DLV.parser.
QueryParserTokenManager
relative(int)
- Method in class DLV.
Model
Moves the cursor a relative number of positions, either positive or negative.
relative(int)
- Method in class DLV.
Predicate
Moves the cursor a relative number of positions, either positive or negative.
removeDescriptor(String)
- Method in class DLV.
OutputDescriptor
Removes (if exists) the OutputDescriptorItem associated with Predicate "predicateName".
removeLiteral()
- Method in class DLV.
Predicate
This method removes the current literal if it exists, otherwise no operation is performed.
removeLiteral(int)
- Method in class DLV.
Predicate
This method removes the i-th literal if it exists, otherwise no operation is performed.
removeLiteralHandler(long)
- Method in class DLV.io.
LiteralFile
removeModel(int)
- Method in class DLV.
DlvHandler
This function allows to discard the i-th Model object.
removeModel()
- Method in class DLV.
DlvHandler
This function allows to discard the current Model.
removePredicate(Predicate)
- Method in class DLV.
Program
Remove from this Program the "relation" Predicate object.
removePredicates()
- Method in class DLV.
Program
Remove all Predicate objects from this Program.
removeProgramFile(String)
- Method in class DLV.
Program
Removes from this Program a File which contains a logic program in text format.
removeProgramFiles()
- Method in class DLV.
Program
Removes from this Program all program files.
removeStrings()
- Method in class DLV.
Program
Clears the StringBuffer partition of this program.
reset()
- Method in interface DLV.core.
AbstractIOImplementation
reset()
- Method in class DLV.core.
JavaPipedIOImpl
reset()
- Method in class DLV.
DlvHandler
This function resets the current DlvHandler instance.
reset()
- Method in class DLV.
OutputDescriptor
Resets this OutputDescriptor.
reset()
- Method in class DLV.
Program
Resets this Program object (is equivalent to call removePredicates(), removeProgramFiles(), removeResultSetHandlers() and removeStrings()).
ROUND_DOUBLE
- Static variable in class DLV.
ConversionType
The constant identifying the DLV Wrapper type ROUND_DOUBLE.
ROUND_FLOAT
- Static variable in class DLV.
ConversionType
The constant identifying the DLV Wrapper type ROUND_FLOAT.
run(DlvIOHandler)
- Method in interface DLV.core.
AbstractIOImplementation
run(byte)
- Method in interface DLV.core.
DlvIOHandler
run(DlvIOHandler)
- Method in class DLV.core.
JavaPipedIOImpl
run()
- Method in class DLV.
DlvHandler
// *************************************** FUNZIONI DI INVOCAZIONE ********************************** /** This function starts DLV in MODEL_SYNCHRONOUS mode.
run(byte)
- Method in class DLV.
DlvHandler
This function starts DLV in "method" mode.
RUNNING
- Static variable in class DLV.core.
JavaPipedIOImpl
RUNNING
- Static variable in class DLV.
DlvHandler
The status of a DlvHandler instance when DLV process is running.
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