Uses of Class
DLV.DLVInvocationException

Packages that use DLVInvocationException
DLV   
DLV.core   
 

Uses of DLVInvocationException in DLV
 

Methods in DLV that throw DLVInvocationException
 void DlvHandler.deFreeze()
          This function deFreezes the current DLV process.
 void DlvHandler.freeze()
          This function freezes the current DLV process.
 java.lang.String DlvHandler.getVersion()
          This function asks the selected DLV implementation for version information.
 java.lang.String DlvHandler.getWarnings()
          After a DLV invocation, this function returns the warning messages.
 boolean DlvHandler.hasMoreModels()
          Tests If there are more Model object available.
 void DlvHandler.kill()
          This function kills the current DLV process.
 Model DlvHandler.nextModel()
          Returns The next Model object available with respect to the current cursor position.
 void DlvHandler.reset()
          This function resets the current DlvHandler instance.
 void DlvHandler.run()
          // *************************************** FUNZIONI DI INVOCAZIONE ********************************** /** This function starts DLV in MODEL_SYNCHRONOUS mode.
 void DlvHandler.run(byte method)
          This function starts DLV in "method" mode.
 

Uses of DLVInvocationException in DLV.core
 

Methods in DLV.core that throw DLVInvocationException
 void JavaPipedIOImpl.deFreeze(DlvIOHandler handler)
           
 void AbstractIOImplementation.deFreeze(DlvIOHandler handler)
           
 void JavaPipedIOImpl.freeze(DlvIOHandler handler)
           
 void AbstractIOImplementation.freeze(DlvIOHandler handler)
           
 java.lang.String JavaPipedIOImpl.getVersion()
           
 java.lang.String AbstractIOImplementation.getVersion()
           
 java.lang.String JavaPipedIOImpl.getWarnings()
           
 java.lang.String AbstractIOImplementation.getWarnings()
           
 void JavaPipedIOImpl.kill(DlvIOHandler handler)
           
 void AbstractIOImplementation.kill(DlvIOHandler handler)
           
 void DlvIOHandler.run(byte method)
           
 void JavaPipedIOImpl.run(DlvIOHandler handler)
           
 void AbstractIOImplementation.run(DlvIOHandler handler)
           
 void JavaPipedIOImpl.setWarnings(java.lang.String warning)