EmbASP-Python
EmbASP-Python
specializations
dlv2
dlv2_answer_sets.py
1
from
languages.asp.answer_sets
import
AnswerSets
2
from
parsers.asp.asp_solvers_parser
import
ASPSolversParser
3
4
5
class
DLV2AnswerSets
(
AnswerSets
):
6
"""Represents Dlv2's answersets."""
7
8
def
__init__(self, out, err=None):
9
super(DLV2AnswerSets, self).__init__(out, err)
10
11
def
_parse(self):
12
ASPSolversParser.parse_dlv2(self, self.
_output
,
True
)
languages.asp.answer_sets
Definition:
answer_sets.py:1
specializations.dlv2.dlv2_answer_sets.DLV2AnswerSets
Definition:
dlv2_answer_sets.py:5
base.output.Output._output
_output
Definition:
output.py:5
languages.asp.answer_sets.AnswerSets
Definition:
answer_sets.py:8
parsers.asp.asp_solvers_parser
Definition:
asp_solvers_parser.py:1
Generated by
1.8.17