EmbASP-Python
asp_solvers_parser.py
1 from parsers.asp.clingo.clingo_parser_visitor_implementation import ClingoParserVisitorImplementation
2 from parsers.asp.dlv.dlv_parser_visitor_implementation import DLVParserVisitorImplementation
3 from parsers.asp.dlv2.dlv2_parser_visitor_implementation import DLV2ParserVisitorImplementation
4 from parsers.asp.dlvhex.dlvhex_parser_visitor_implementation import DLVHEXParserVisitorImplementation
5 
6 
7 class ASPSolversParser(object):
8  @staticmethod
9  def parse_clingo(answerSets, atomsList, two_stageParsing):
10  ClingoParserVisitorImplementation.parse(
11  answerSets, atomsList, two_stageParsing)
12 
13  @staticmethod
14  def parse_dlv(answerSets, atomsList, two_stageParsing):
15  DLVParserVisitorImplementation.parse(
16  answerSets, atomsList, two_stageParsing)
17 
18  @staticmethod
19  def parse_dlv2(answerSets, atomsList, two_stageParsing):
20  DLV2ParserVisitorImplementation.parse(
21  answerSets, atomsList, two_stageParsing)
22 
23  @staticmethod
24  def parse_dlvhex(answerSets, atomsList, two_stageParsing):
25  DLVHEXParserVisitorImplementation.parse(
26  answerSets, atomsList, two_stageParsing)
parsers.asp.dlv.dlv_parser_visitor_implementation
Definition: dlv_parser_visitor_implementation.py:1
parsers.asp.asp_solvers_parser.ASPSolversParser
Definition: asp_solvers_parser.py:7
parsers.asp.dlv2.dlv2_parser_visitor_implementation
Definition: dlv2_parser_visitor_implementation.py:1
parsers.asp.clingo.clingo_parser_visitor_implementation
Definition: clingo_parser_visitor_implementation.py:1
parsers.asp.dlvhex.dlvhex_parser_visitor_implementation
Definition: dlvhex_parser_visitor_implementation.py:1