Inheritance diagram for base.option_descriptor.OptionDescriptor:
Public Member Functions | |
| def | __init__ (self, initial_option=None) |
| 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 options for a generic ASP programs.
Constructor & Destructor Documentation
◆ __init__()
| def base.option_descriptor.OptionDescriptor.__init__ | ( | self, | |
initial_option = None |
|||
| ) |
Reimplemented in specializations.dlv.dlv_filter_option.DLVFilterOption.
Member Function Documentation
◆ add_option()
| def base.option_descriptor.OptionDescriptor.add_option | ( | self, | |
| option | |||
| ) |
Concatenate a new option in a string format to the current _options. The parameter option is the string to be concatenated.
◆ clear()
| def base.option_descriptor.OptionDescriptor.clear | ( | self | ) |
After using this method the _options variable will be empty.
◆ get_options()
| def base.option_descriptor.OptionDescriptor.get_options | ( | self | ) |
Returns values stored in _options, in a string format.
◆ get_separator()
| def base.option_descriptor.OptionDescriptor.get_separator | ( | self | ) |
Get separator character.
◆ set_options()
| def base.option_descriptor.OptionDescriptor.set_options | ( | self, | |
| option | |||
| ) |
Set _option string with new string.
◆ set_separator()
| def base.option_descriptor.OptionDescriptor.set_separator | ( | self, | |
| separator | |||
| ) |
Set _separator character with new separator.
The documentation for this class was generated from the following file:
- embasp-theoretic/base/option_descriptor.py
