EmbASP-Python
EmbASP-Python
languages
asp
asp_filter_option.py
1
from
abc
import
ABCMeta
2
from
base.option_descriptor
import
OptionDescriptor
3
4
5
class
ASPFilterOption
(
OptionDescriptor
):
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
Generated by
1.8.17