Package DLV.io

Class Summary
LiteralFile Implements a file of Literals.
LiteralFile.LiteralHandler  
RandomAccessCharacterFile This class allows to access a text file in random access.
RandomAccessLiteralFile This is an abstract class that implements a random access file of literals.
 

Exception Summary
LiteralIncompatibleException This exception is trown if you try to replace a Literal l1 from a Predicate p1 with Literal l2 from Predicate p2.