EmbASP-Python
|
Public Member Functions | |
def | __init__ (self, initial_option) |
![]() | |
def | __init__ (self) |
![]() | |
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 a filter option that can be added to a DLV execution, for filtering output generated by the solver.
Definition at line 4 of file dlv_filter_option.py.