- _ -
- _ATN
: it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarLexer
, it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarParser
, it.unical.mat.parsers.asp.clingo.ClingoLexer
, it.unical.mat.parsers.asp.clingo.ClingoParser
, it.unical.mat.parsers.asp.dlv.DLVLexer
, it.unical.mat.parsers.asp.dlv.DLVParser
, it.unical.mat.parsers.asp.dlv2.DLV2Lexer
, it.unical.mat.parsers.asp.dlv2.DLV2Parser
, it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer
, it.unical.mat.parsers.asp.dlvhex.DLVHEXParser
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarLexer
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarParser
, it.unical.mat.parsers.datalog.idlv.IDLVLexer
, it.unical.mat.parsers.datalog.idlv.IDLVParser
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarLexer
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarParser
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarLexer
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarParser
- _decisionToDFA
: it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarLexer
, it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarParser
, it.unical.mat.parsers.asp.clingo.ClingoLexer
, it.unical.mat.parsers.asp.clingo.ClingoParser
, it.unical.mat.parsers.asp.dlv.DLVLexer
, it.unical.mat.parsers.asp.dlv.DLVParser
, it.unical.mat.parsers.asp.dlv2.DLV2Lexer
, it.unical.mat.parsers.asp.dlv2.DLV2Parser
, it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer
, it.unical.mat.parsers.asp.dlvhex.DLVHEXParser
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarLexer
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarParser
, it.unical.mat.parsers.datalog.idlv.IDLVLexer
, it.unical.mat.parsers.datalog.idlv.IDLVParser
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarLexer
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarParser
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarLexer
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarParser
- _serializedATN
: it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarLexer
, it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarParser
, it.unical.mat.parsers.asp.clingo.ClingoLexer
, it.unical.mat.parsers.asp.clingo.ClingoParser
, it.unical.mat.parsers.asp.dlv.DLVLexer
, it.unical.mat.parsers.asp.dlv.DLVParser
, it.unical.mat.parsers.asp.dlv2.DLV2Lexer
, it.unical.mat.parsers.asp.dlv2.DLV2Parser
, it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer
, it.unical.mat.parsers.asp.dlvhex.DLVHEXParser
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarLexer
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarParser
, it.unical.mat.parsers.datalog.idlv.IDLVLexer
, it.unical.mat.parsers.datalog.idlv.IDLVParser
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarLexer
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarParser
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarLexer
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarParser
- _sharedContextCache
: it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarLexer
, it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarParser
, it.unical.mat.parsers.asp.clingo.ClingoLexer
, it.unical.mat.parsers.asp.clingo.ClingoParser
, it.unical.mat.parsers.asp.dlv.DLVLexer
, it.unical.mat.parsers.asp.dlv.DLVParser
, it.unical.mat.parsers.asp.dlv2.DLV2Lexer
, it.unical.mat.parsers.asp.dlv2.DLV2Parser
, it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer
, it.unical.mat.parsers.asp.dlvhex.DLVHEXParser
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarLexer
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarParser
, it.unical.mat.parsers.datalog.idlv.IDLVLexer
, it.unical.mat.parsers.datalog.idlv.IDLVParser
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarLexer
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarParser
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarLexer
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarParser
- a -
- c -
- d -
- e -
- f -
- h -
- i -
- l -
- m -
- o -
- p -
- r -
- RESULT_NOTIFICATION
: it.unical.mat.embasp.specializations.dlv.android.DLVAndroidReasoner
- RULE_answer_set
: it.unical.mat.parsers.asp.clingo.ClingoParser
, it.unical.mat.parsers.asp.dlv.DLVParser
, it.unical.mat.parsers.asp.dlv2.DLV2Parser
, it.unical.mat.parsers.asp.dlvhex.DLVHEXParser
- RULE_array
: it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarParser
- RULE_atom
: it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarParser
- RULE_output
: it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarParser
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarParser
, it.unical.mat.parsers.datalog.idlv.IDLVParser
- ruleNames
: it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarLexer
, it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarParser
, it.unical.mat.parsers.asp.clingo.ClingoLexer
, it.unical.mat.parsers.asp.clingo.ClingoParser
, it.unical.mat.parsers.asp.dlv.DLVLexer
, it.unical.mat.parsers.asp.dlv.DLVParser
, it.unical.mat.parsers.asp.dlv2.DLV2Lexer
, it.unical.mat.parsers.asp.dlv2.DLV2Parser
, it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer
, it.unical.mat.parsers.asp.dlvhex.DLVHEXParser
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarLexer
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarParser
, it.unical.mat.parsers.datalog.idlv.IDLVLexer
, it.unical.mat.parsers.datalog.idlv.IDLVParser
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarLexer
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarParser
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarLexer
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarParser
- s -
- t -
- T__0
: it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarLexer
, it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarParser
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarLexer
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarParser
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarLexer
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarParser
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarLexer
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarParser
- tokenNames
: it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarLexer
, it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarParser
, it.unical.mat.parsers.asp.clingo.ClingoLexer
, it.unical.mat.parsers.asp.clingo.ClingoParser
, it.unical.mat.parsers.asp.dlv.DLVLexer
, it.unical.mat.parsers.asp.dlv.DLVParser
, it.unical.mat.parsers.asp.dlv2.DLV2Lexer
, it.unical.mat.parsers.asp.dlv2.DLV2Parser
, it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer
, it.unical.mat.parsers.asp.dlvhex.DLVHEXParser
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarLexer
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarParser
, it.unical.mat.parsers.datalog.idlv.IDLVLexer
, it.unical.mat.parsers.datalog.idlv.IDLVParser
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarLexer
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarParser
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarLexer
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarParser
- v -
- VOCABULARY
: it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarLexer
, it.unical.mat.parsers.asp.asp_parser_base.ASPGrammarParser
, it.unical.mat.parsers.asp.clingo.ClingoLexer
, it.unical.mat.parsers.asp.clingo.ClingoParser
, it.unical.mat.parsers.asp.dlv.DLVLexer
, it.unical.mat.parsers.asp.dlv.DLVParser
, it.unical.mat.parsers.asp.dlv2.DLV2Lexer
, it.unical.mat.parsers.asp.dlv2.DLV2Parser
, it.unical.mat.parsers.asp.dlvhex.DLVHEXLexer
, it.unical.mat.parsers.asp.dlvhex.DLVHEXParser
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarLexer
, it.unical.mat.parsers.datalog.datalog_parser_base.DatalogGrammarParser
, it.unical.mat.parsers.datalog.idlv.IDLVLexer
, it.unical.mat.parsers.datalog.idlv.IDLVParser
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarLexer
, it.unical.mat.parsers.pddl.pddl_parser_base.PDDLGrammarParser
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarLexer
, it.unical.mat.parsers.pddl.solver_planning_domains.SPDGrammarParser