Uses of Class
DLV.OutputDescriptor

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()