|
def | __init__ (self, input, output=sys.stdout) |
|
def | answer_set (self) |
|
def | model (self) |
|
def | output (self) |
|
def | predicate_atom (self) |
|
def | term (self) |
|
|
string | grammarFileName = "ClingoParser.g4" |
|
| atn = ATNDeserializer().deserialize(serializedATN()) |
|
list | decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ] |
|
| sharedContextCache = PredictionContextCache() |
|
list | literalNames |
|
list | symbolicNames |
|
int | RULE_answer_set = 0 |
|
int | RULE_model = 1 |
|
int | RULE_output = 2 |
|
int | RULE_predicate_atom = 3 |
|
int | RULE_term = 4 |
|
list | ruleNames |
|
| EOF = Token.EOF |
|
int | START = 1 |
|
int | ANY = 2 |
|
int | COMMA = 3 |
|
int | INTEGER_CONSTANT = 4 |
|
int | NEW_LINE = 5 |
|
int | IDENTIFIER = 6 |
|
int | STRING_CONSTANT = 7 |
|
int | TERMS_BEGIN = 8 |
|
int | TERMS_END = 9 |
|
int | WHITE_SPACE = 10 |
|
Definition at line 31 of file ClingoParser.py.
◆ literalNames
list parsers.asp.clingo.ClingoParser.ClingoParser.literalNames |
|
static |
Initial value:= [ u"<INVALID>", u"<INVALID>", u"<INVALID>", u"','", u"<INVALID>",
u"<INVALID>", u"<INVALID>", u"<INVALID>", u"'('", u"')'" ]
Definition at line 41 of file ClingoParser.py.
◆ ruleNames
list parsers.asp.clingo.ClingoParser.ClingoParser.ruleNames |
|
static |
Initial value:= [ u"answer_set", u"model", u"output", u"predicate_atom",
u"term" ]
Definition at line 54 of file ClingoParser.py.
◆ symbolicNames
list parsers.asp.clingo.ClingoParser.ClingoParser.symbolicNames |
|
static |
Initial value:= [ u"<INVALID>", u"START", u"ANY", u"COMMA", u"INTEGER_CONSTANT",
u"NEW_LINE", u"IDENTIFIER", u"STRING_CONSTANT", u"TERMS_BEGIN",
u"TERMS_END", u"WHITE_SPACE" ]
Definition at line 44 of file ClingoParser.py.
The documentation for this class was generated from the following file: