EmbASP-Theoretic 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.