|
def | __init__ (self, input, output=sys.stdout) |
|
def | answer_set (self) |
|
def | cost (self) |
|
def | level (self) |
|
def | model (self) |
|
def | output (self) |
|
def | predicate_atom (self) |
|
def | term (self) |
|
|
string | grammarFileName = "DLV2Parser.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_cost = 1 |
|
int | RULE_level = 2 |
|
int | RULE_model = 3 |
|
int | RULE_output = 4 |
|
int | RULE_predicate_atom = 5 |
|
int | RULE_term = 6 |
|
list | ruleNames |
|
| EOF = Token.EOF |
|
int | START = 1 |
|
int | COST_LABEL = 2 |
|
int | ANY = 3 |
|
int | IGNORE = 4 |
|
int | AT = 5 |
|
int | INTEGER = 6 |
|
int | NEW_LINE = 7 |
|
int | BLANK_SPACE = 8 |
|
int | COMMA = 9 |
|
int | INTEGER_CONSTANT = 10 |
|
int | IDENTIFIER = 11 |
|
int | MODEL_END = 12 |
|
int | STRING_CONSTANT = 13 |
|
int | TERMS_BEGIN = 14 |
|
int | TERMS_END = 15 |
|
int | WHITE_SPACE = 16 |
|
Definition at line 38 of file DLV2Parser.py.
◆ literalNames
list parsers.asp.dlv2.DLV2Parser.DLV2Parser.literalNames |
|
static |
Initial value:= [ u"<INVALID>", u"'{'", u"<INVALID>", u"<INVALID>", u"<INVALID>",
u"'@'", u"<INVALID>", u"<INVALID>", u"<INVALID>", u"','",
u"<INVALID>", u"<INVALID>", u"'}'", u"<INVALID>", u"'('",
u"')'" ]
Definition at line 48 of file DLV2Parser.py.
◆ ruleNames
list parsers.asp.dlv2.DLV2Parser.DLV2Parser.ruleNames |
|
static |
Initial value:= [ u"answer_set", u"cost", u"level", u"model", u"output",
u"predicate_atom", u"term" ]
Definition at line 67 of file DLV2Parser.py.
◆ symbolicNames
list parsers.asp.dlv2.DLV2Parser.DLV2Parser.symbolicNames |
|
static |
Initial value:= [ u"<INVALID>", u"START", u"COST_LABEL", u"ANY", u"IGNORE",
u"AT", u"INTEGER", u"NEW_LINE", u"BLANK_SPACE", u"COMMA",
u"INTEGER_CONSTANT", u"IDENTIFIER", u"MODEL_END",
u"STRING_CONSTANT", u"TERMS_BEGIN", u"TERMS_END",
u"WHITE_SPACE" ]
Definition at line 53 of file DLV2Parser.py.
The documentation for this class was generated from the following file: