Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
DLV.OutputDescriptor

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.
 

Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES