|
EmbASP-Python v7.1.0
|
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) |
Represents options for a generic ASP programs.
| def base.option_descriptor.OptionDescriptor.__init__ | ( | self, | |
initial_option = None |
|||
| ) |
Reimplemented in specializations.dlv.dlv_filter_option.DLVFilterOption.
| 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.
| def base.option_descriptor.OptionDescriptor.clear | ( | self | ) |
After using this method the _options variable will be empty.
| def base.option_descriptor.OptionDescriptor.get_options | ( | self | ) |
Returns values stored in _options, in a string format.
| def base.option_descriptor.OptionDescriptor.get_separator | ( | self | ) |
Get separator character.
| def base.option_descriptor.OptionDescriptor.set_options | ( | self, | |
| option | |||
| ) |
Set _option string with new string.
| def base.option_descriptor.OptionDescriptor.set_separator | ( | self, | |
| separator | |||
| ) |
Set _separator character with new separator.