EmbASP-Java v7.1.0
Public Member Functions | List of all members
it.unical.mat.embasp.specializations.dlv.DLVFilterOption Class Reference
Inheritance diagram for it.unical.mat.embasp.specializations.dlv.DLVFilterOption:
it.unical.mat.embasp.languages.asp.ASPFilterOption it.unical.mat.embasp.base.OptionDescriptor

Public Member Functions

 DLVFilterOption (final String initial_option)
 
- Public Member Functions inherited from it.unical.mat.embasp.languages.asp.ASPFilterOption
 ASPFilterOption ()
 
- Public Member Functions inherited from it.unical.mat.embasp.base.OptionDescriptor
 OptionDescriptor ()
 
 OptionDescriptor (final String initial_option)
 
void addOption (final String option)
 
void clear ()
 
String getOptions ()
 
String getSeparator ()
 
void setOptions (final String option)
 
void setSeparator (final String separator)
 

Additional Inherited Members

- Protected Attributes inherited from it.unical.mat.embasp.base.OptionDescriptor
String separator
 
String options
 

Constructor & Destructor Documentation

◆ DLVFilterOption()

it.unical.mat.embasp.specializations.dlv.DLVFilterOption.DLVFilterOption ( final String  initial_option)
inline

The documentation for this class was generated from the following file: