|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use RandomAccessLiteralFile | |
---|---|
DLV | |
DLV.io |
Uses of RandomAccessLiteralFile in DLV |
---|
Methods in DLV that return RandomAccessLiteralFile | |
---|---|
RandomAccessLiteralFile |
FilePredicate.getRandomAccessLiteralFile()
Returns the underlying RandomAccessLiteralFile. |
Methods in DLV with parameters of type RandomAccessLiteralFile | |
---|---|
void |
FilePredicate.setRandomAccessLiteralFile(RandomAccessLiteralFile file)
Changes the underlying RandomAccessLiteralFile. |
Constructors in DLV with parameters of type RandomAccessLiteralFile | |
---|---|
FilePredicate(java.lang.String name,
int arity,
RandomAccessLiteralFile file)
Constructs a new FilePredicate instance. |
|
ODIFilePredicate(RandomAccessLiteralFile rFile)
Builds an ODIFilePredicate given a RandomAccessLiteralFile. |
Uses of RandomAccessLiteralFile in DLV.io |
---|
Subclasses of RandomAccessLiteralFile in DLV.io | |
---|---|
class |
LiteralFile
Implements a file of Literals. |
Methods in DLV.io that return RandomAccessLiteralFile | |
---|---|
static RandomAccessLiteralFile |
RandomAccessLiteralFile.buildLiteralFile(java.lang.String file,
java.lang.String encoding,
int cacheSize,
int lowLevelBufferSize)
Builds an instance of RandomAccessLiteralFile that works on a datalog text file. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |