|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |