Uses of Class
DLV.io.LiteralFile.LiteralHandler

Packages that use LiteralFile.LiteralHandler
DLV.io   
 

Uses of LiteralFile.LiteralHandler in DLV.io
 

Methods in DLV.io that return LiteralFile.LiteralHandler
 LiteralFile.LiteralHandler LiteralFile.getLiteralHandler(long lgPosition)
           
 LiteralFile.LiteralHandler LiteralFile.indexOfLiteralHandler(LiteralFile.LiteralHandler lh)
           
 

Methods in DLV.io with parameters of type LiteralFile.LiteralHandler
 void LiteralFile.addLiteralHandler(LiteralFile.LiteralHandler lh)
           
 int LiteralFile.indexOfLiteral(LiteralFile.LiteralHandler lh)
           
 LiteralFile.LiteralHandler LiteralFile.indexOfLiteralHandler(LiteralFile.LiteralHandler lh)
           
 void LiteralFile.setLiteralHandler(long lgPosition, LiteralFile.LiteralHandler lh)