EmbASP-Python
Public Member Functions | Static Public Attributes | List of all members
parsers.asp.dlv.DLVLexer.DLVLexer Class Reference
Inheritance diagram for parsers.asp.dlv.DLVLexer.DLVLexer:

Public Member Functions

def __init__ (self, input=None, output=sys.stdout)
 

Static Public Attributes

 atn = ATNDeserializer().deserialize(serializedATN())
 
list decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]
 
int IN_GROUND_QUERY = 1
 
int HEADER = 1
 
int COLON = 2
 
int COST_BEGIN = 3
 
int COST_END = 4
 
int OPEN_SQUARE_BRACKET = 5
 
int CLOSE_SQUARE_BRACKET = 6
 
int GROUND_QUERY_BEGIN = 7
 
int MODEL_BEGIN = 8
 
int MODEL_END = 9
 
int WEIGHTED_MODEL_LABEL = 10
 
int COMMA = 11
 
int IDENTIFIER = 12
 
int INTEGER_CONSTANT = 13
 
int STRING_CONSTANT = 14
 
int TERMS_BEGIN = 15
 
int TERMS_END = 16
 
int WHITESPACE = 17
 
int REASONING = 18
 
int DOT = 19
 
int BOOLEAN = 20
 
int WHITESPACE_IN_GROUND_QUERY = 21
 
int WITNESS_LABEL = 22
 
list channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]
 
list modeNames = [ u"DEFAULT_MODE", u"IN_GROUND_QUERY" ]
 
list literalNames
 
list symbolicNames
 
list ruleNames
 
string grammarFileName = u"DLVLexer.g4"
 

Detailed Description

Definition at line 99 of file DLVLexer.py.

Member Data Documentation

◆ literalNames

list parsers.asp.dlv.DLVLexer.DLVLexer.literalNames
static
Initial value:
= [ u"<INVALID>",
u"':'", u"'Cost ([Weight:Level]): <'", u"'>'", u"'['", u"']'",
u"' is '", u"'{'", u"'}'", u"'Best model:'", u"','", u"'('",
u"')'", u"'.'", u"', evidenced by'" ]

Definition at line 134 of file DLVLexer.py.

◆ ruleNames

list parsers.asp.dlv.DLVLexer.DLVLexer.ruleNames
static
Initial value:
= [ u"HEADER", u"COLON", u"COST_BEGIN", u"COST_END", u"OPEN_SQUARE_BRACKET",
u"CLOSE_SQUARE_BRACKET", u"GROUND_QUERY_BEGIN", u"MODEL_BEGIN",
u"MODEL_END", u"WEIGHTED_MODEL_LABEL", u"COMMA", u"IDENTIFIER",
u"INTEGER_CONSTANT", u"STRING_CONSTANT", u"TERMS_BEGIN",
u"TERMS_END", u"WHITESPACE", u"REASONING", u"DOT", u"BOOLEAN",
u"WHITESPACE_IN_GROUND_QUERY", u"WITNESS_LABEL", u"WS" ]

Definition at line 147 of file DLVLexer.py.

◆ symbolicNames

list parsers.asp.dlv.DLVLexer.DLVLexer.symbolicNames
static
Initial value:
= [ u"<INVALID>",
u"HEADER", u"COLON", u"COST_BEGIN", u"COST_END", u"OPEN_SQUARE_BRACKET",
u"CLOSE_SQUARE_BRACKET", u"GROUND_QUERY_BEGIN", u"MODEL_BEGIN",
u"MODEL_END", u"WEIGHTED_MODEL_LABEL", u"COMMA", u"IDENTIFIER",
u"INTEGER_CONSTANT", u"STRING_CONSTANT", u"TERMS_BEGIN", u"TERMS_END",
u"WHITESPACE", u"REASONING", u"DOT", u"BOOLEAN", u"WHITESPACE_IN_GROUND_QUERY",
u"WITNESS_LABEL" ]

Definition at line 139 of file DLVLexer.py.


The documentation for this class was generated from the following file: