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.

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