Uses of Class
DLV.io.RandomAccessLiteralFile

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.