|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use OutputDescriptor | |
---|---|
DLV | |
DLV.core |
Uses of OutputDescriptor in DLV |
---|
Methods in DLV that return OutputDescriptor | |
---|---|
OutputDescriptor |
DlvHandler.getOutputDescriptor()
This function allows to get the OutputDescriptor object which describe how to process the output of DLV. |
Methods in DLV with parameters of type OutputDescriptor | |
---|---|
void |
DlvHandler.setOutputDescriptor(OutputDescriptor outputDescriptor)
This function allows to set the OutputDescriptor object which describe how to process the output of DLV. |
Uses of OutputDescriptor in DLV.core |
---|
Methods in DLV.core that return OutputDescriptor | |
---|---|
OutputDescriptor |
DlvIOHandler.getOutputDescriptor()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |