EmbASP-Python
asp_filter_option.py
1 from abc import ABCMeta
2 from base.option_descriptor import OptionDescriptor
3 
4 
6  """Generic filter option for ASP solver."""
7 
8  __metaclass__ = ABCMeta
9 
10  def __init__(self):
11  super(ASPFilterOption, self).__init__("-filter=")
base.option_descriptor.OptionDescriptor
Definition: option_descriptor.py:1
base.option_descriptor
Definition: option_descriptor.py:1
languages.asp.asp_filter_option.ASPFilterOption
Definition: asp_filter_option.py:5