EmbASP-Python
dlv_filter_option.py
1 from languages.asp.asp_filter_option import ASPFilterOption
2 
3 
5  """Represents a filter option that can be added to a DLV
6  execution, for filtering output generated by the solver."""
7 
8  def __init__(self, initial_option):
9  self._options += initial_option
languages.asp.asp_filter_option
Definition: asp_filter_option.py:1
base.option_descriptor.OptionDescriptor._options
_options
Definition: option_descriptor.py:5
languages.asp.asp_filter_option.ASPFilterOption
Definition: asp_filter_option.py:5
specializations.dlv.dlv_filter_option.DLVFilterOption
Definition: dlv_filter_option.py:4