Uses of Interface
DLV.core.DlvIOHandler

Packages that use DlvIOHandler
DLV   
DLV.core   
 

Uses of DlvIOHandler in DLV
 

Classes in DLV that implement DlvIOHandler
 class DlvHandler
          This is a wrapper class that allows to call DLV from a Java program.
 

Methods in DLV with parameters of type DlvIOHandler
 void Parser.parse(java.io.BufferedReader in, DlvIOHandler dm)
           
 

Uses of DlvIOHandler in DLV.core
 

Methods in DLV.core with parameters of type DlvIOHandler
 void JavaPipedIOImpl.deFreeze(DlvIOHandler handler)
           
 void AbstractIOImplementation.deFreeze(DlvIOHandler handler)
           
 void JavaPipedIOImpl.freeze(DlvIOHandler handler)
           
 void AbstractIOImplementation.freeze(DlvIOHandler handler)
           
 void JavaPipedIOImpl.kill(DlvIOHandler handler)
           
 void AbstractIOImplementation.kill(DlvIOHandler handler)
           
 void JavaPipedIOImpl.run(DlvIOHandler handler)
           
 void AbstractIOImplementation.run(DlvIOHandler handler)