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.

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