EmbASP-Python
dlv2_answer_sets.py
1 from languages.asp.answer_sets import AnswerSets
2 from parsers.asp.asp_solvers_parser import ASPSolversParser
3 
4 
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