Inheritance diagram for specializations.dlv.dlv_filter_option.DLVFilterOption:
Public Member Functions | |
| def | __init__ (self, initial_option) |
 Public Member Functions inherited from languages.asp.asp_filter_option.ASPFilterOption | |
| def | __init__ (self) |
| Public Member Functions inherited from base.option_descriptor.OptionDescriptor | |
| def | add_option (self, option) |
| def | clear (self) |
| def | get_options (self) |
| def | get_separator (self) |
| def | set_options (self, option) |
| def | set_separator (self, separator) |
Detailed Description
Represents a filter option that can be added to a DLV execution, for filtering output generated by the solver.
Constructor & Destructor Documentation
◆ __init__()
| def specializations.dlv.dlv_filter_option.DLVFilterOption.__init__ | ( | self, | |
| initial_option | |||
| ) |
Reimplemented from base.option_descriptor.OptionDescriptor.
The documentation for this class was generated from the following file:
- embasp-theoretic/specializations/dlv/dlv_filter_option.py
