DLV.core
Interface DlvIOHandler
- All Known Implementing Classes:
- DlvHandler
public interface DlvIOHandler
getInvocationParameters
java.lang.String[] getInvocationParameters()
getMethod
byte getMethod()
getProgram
Program getProgram()
getOutputDescriptor
OutputDescriptor getOutputDescriptor()
addModel
void addModel(Model m)
run
void run(byte method)
throws DLVInvocationException
- Throws:
DLVInvocationException
signalDlvEnd
void signalDlvEnd()
signalDlvKill
void signalDlvKill()
signalDlvFreeze
void signalDlvFreeze()
signalDlvDeFreeze
void signalDlvDeFreeze()
signalError
void signalError(java.lang.Throwable t)
getEncoding
java.lang.String getEncoding()