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

Classes

class  Answer_setContext
 
class  AtomsContext
 
class  CostContext
 
class  GroundQueryContext
 
class  LevelContext
 
class  ModelContext
 
class  OutputContext
 
class  Predicate_atomContext
 
class  TermContext
 
class  WitnessContext
 

Public Member Functions

def __init__ (self, input, output=sys.stdout)
 
def answer_set (self)
 
def atoms (self)
 
def cost (self)
 
def level (self)
 
def output (self)
 
def predicate_atom (self)
 
def term (self)
 
def witness (self)
 

Public Attributes

 state
 

Static Public Attributes

string grammarFileName = "DLVHEXParser.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_atoms = 1
 
int RULE_cost = 2
 
int RULE_level = 3
 
int RULE_output = 4
 
int RULE_predicate_atom = 5
 
int RULE_term = 6
 
int RULE_witness = 7
 
list ruleNames
 
 EOF = Token.EOF
 
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
 

Detailed Description

Definition at line 45 of file DLVHEXParser.py.

Member Data Documentation

◆ literalNames

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

Definition at line 55 of file DLVHEXParser.py.

◆ ruleNames

list parsers.asp.dlvhex.DLVHEXParser.DLVHEXParser.ruleNames
static
Initial value:
= [ u"answer_set", u"atoms", u"cost", u"level", u"output",
u"predicate_atom", u"term", u"witness" ]

Definition at line 78 of file DLVHEXParser.py.

◆ symbolicNames

list parsers.asp.dlvhex.DLVHEXParser.DLVHEXParser.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" ]

Definition at line 61 of file DLVHEXParser.py.


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