EmbASP-Python
EmbASP-Python
specializations
dlv
dlv_filter_option.py
1
from
languages.asp.asp_filter_option
import
ASPFilterOption
2
3
4
class
DLVFilterOption
(
ASPFilterOption
):
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
Generated by
1.8.17