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

Classes

class  Answer_setContext
 
class  ModelContext
 
class  OutputContext
 
class  Predicate_atomContext
 
class  TermContext
 

Public Member Functions

def __init__ (self, input, output=sys.stdout)
 
def answer_set (self)
 
def model (self)
 
def output (self)
 
def predicate_atom (self)
 
def term (self)
 

Public Attributes

 state
 

Static Public Attributes

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
 

Detailed Description

Definition at line 31 of file ClingoParser.py.

Member Data Documentation

◆ 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: