Uses of Class
DLV.DLVInvocationException

Uses of DLVInvocationException in DLV

Methods in DLV that throw DLVInvocationException

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.
void	DlvHandler.kill() This function kills the current DLV process.
void	DlvHandler.freeze() This function freezes the current DLV process.
void	DlvHandler.deFreeze() This function deFreezes the current DLV process.
void	DlvHandler.reset() This function resets the current DlvHandler instance.
java.lang.String	DlvHandler.getWarnings() After a DLV invocation, this function returns the warning messages.
java.lang.String	DlvHandler.getVersion() This function asks the selected DLV implementation for version information.
boolean	DlvHandler.hasMoreModels() Tests If there are more Model object available.
Model	DlvHandler.nextModel() Returns The next Model object available with respect to the current cursor position.