EmbASP-Python v7.1.0
Public Member Functions | Static Public Attributes | List of all members
parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer Class Reference
Inheritance diagram for parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer:

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 WHITE_SPACE = 2
 
int COLON = 3
 
int COMMA = 4
 
int COST_BEGIN = 5
 
int COST_END = 6
 
int INTEGER = 7
 
int LEVEL_BEGIN = 8
 
int LEVEL_END = 9
 
int GROUND_QUERY_BEGIN = 10
 
int ANSWER_SET_BEGIN = 11
 
int ANSWER_SET_END = 12
 
int IDENTIFIER = 13
 
int STRING_CONSTANT = 14
 
int TERMS_BEGIN = 15
 
int TERMS_END = 16
 
int REASONING = 17
 
int DOT = 18
 
int BOOLEAN = 19
 
int WHITESPACE_IN_GROUND_QUERY = 20
 
int WITNESS_LABEL = 21
 
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"DLVHEXLexer.g4"
 

Constructor & Destructor Documentation

◆ __init__()

def parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.__init__ (   self,
  input = None,
  output = sys.stdout 
)

Member Data Documentation

◆ ANSWER_SET_BEGIN

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.ANSWER_SET_BEGIN = 11
static

◆ ANSWER_SET_END

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.ANSWER_SET_END = 12
static

◆ atn

parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.atn = ATNDeserializer().deserialize(serializedATN())
static

◆ BOOLEAN

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.BOOLEAN = 19
static

◆ channelNames

list parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.channelNames = [ u"DEFAULT_TOKEN_CHANNEL", u"HIDDEN" ]
static

◆ COLON

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.COLON = 3
static

◆ COMMA

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.COMMA = 4
static

◆ COST_BEGIN

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.COST_BEGIN = 5
static

◆ COST_END

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.COST_END = 6
static

◆ decisionsToDFA

list parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.decisionsToDFA = [ DFA(ds, i) for i, ds in enumerate(atn.decisionToState) ]
static

◆ DOT

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.DOT = 18
static

◆ grammarFileName

string parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.grammarFileName = u"DLVHEXLexer.g4"
static

◆ GROUND_QUERY_BEGIN

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.GROUND_QUERY_BEGIN = 10
static

◆ HEADER

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.HEADER = 1
static

◆ IDENTIFIER

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.IDENTIFIER = 13
static

◆ IN_GROUND_QUERY

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.IN_GROUND_QUERY = 1
static

◆ INTEGER

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.INTEGER = 7
static

◆ LEVEL_BEGIN

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.LEVEL_BEGIN = 8
static

◆ LEVEL_END

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.LEVEL_END = 9
static

◆ literalNames

list parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.literalNames
static
Initial value:
= [ u"<INVALID>",
u"':'", u"','", u"'<'", u"'>'", u"'['", u"']'", u"' is '", u"'{'",
u"'}'", u"'('", u"')'", u"'.'", u"', evidenced by'" ]

◆ modeNames

list parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.modeNames = [ u"DEFAULT_MODE", u"IN_GROUND_QUERY" ]
static

◆ REASONING

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.REASONING = 17
static

◆ ruleNames

list parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.ruleNames
static
Initial value:
= [ u"HEADER", u"WHITE_SPACE", u"COLON", u"COMMA", u"COST_BEGIN",
u"COST_END", u"INTEGER", u"LEVEL_BEGIN", u"LEVEL_END",
u"GROUND_QUERY_BEGIN", u"ANSWER_SET_BEGIN", u"ANSWER_SET_END",
u"IDENTIFIER", u"STRING_CONSTANT", u"TERMS_BEGIN", u"TERMS_END",
u"REASONING", u"DOT", u"BOOLEAN", u"WHITESPACE_IN_GROUND_QUERY",
u"WITNESS_LABEL", u"NL", u"WS" ]

◆ STRING_CONSTANT

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.STRING_CONSTANT = 14
static

◆ symbolicNames

list parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.symbolicNames
static
Initial value:
= [ u"<INVALID>",
u"HEADER", u"WHITE_SPACE", u"COLON", u"COMMA", u"COST_BEGIN",
u"COST_END", u"INTEGER", u"LEVEL_BEGIN", u"LEVEL_END", u"GROUND_QUERY_BEGIN",
u"ANSWER_SET_BEGIN", u"ANSWER_SET_END", u"IDENTIFIER", u"STRING_CONSTANT",
u"TERMS_BEGIN", u"TERMS_END", u"REASONING", u"DOT", u"BOOLEAN",
u"WHITESPACE_IN_GROUND_QUERY", u"WITNESS_LABEL" ]

◆ TERMS_BEGIN

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.TERMS_BEGIN = 15
static

◆ TERMS_END

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.TERMS_END = 16
static

◆ WHITE_SPACE

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.WHITE_SPACE = 2
static

◆ WHITESPACE_IN_GROUND_QUERY

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.WHITESPACE_IN_GROUND_QUERY = 20
static

◆ WITNESS_LABEL

int parsers.asp.dlvhex.DLVHEXLexer.DLVHEXLexer.WITNESS_LABEL = 21
static

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