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

Classes

class  Answer_setContext
 
class  Cost_levelContext
 
class  CostContext
 
class  GroundQueryContext
 
class  ModelContext
 
class  NonGroundQueryContext
 
class  OutputContext
 
class  PredicateContext
 
class  SimpleModelContext
 
class  TermContext
 
class  WeightedModelContext
 
class  WitnessContext
 

Public Member Functions

def __init__ (self, input, output=sys.stdout)
 
def answer_set (self)
 
def cost (self)
 
def cost_level (self)
 
def model (self)
 
def output (self)
 
def predicate (self)
 
def term (self)
 
def witness (self)
 

Public Attributes

 state
 

Static Public Attributes

string grammarFileName = "DLVParser.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_cost_level = 2
 
int RULE_model = 3
 
int RULE_output = 4
 
int RULE_predicate = 5
 
int RULE_term = 6
 
int RULE_witness = 7
 
list ruleNames
 
 EOF = Token.EOF
 
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
 

Constructor & Destructor Documentation

◆ __init__()

def parsers.asp.dlv.DLVParser.DLVParser.__init__ (   self,
  input,
  output = sys.stdout 
)

Member Function Documentation

◆ answer_set()

def parsers.asp.dlv.DLVParser.DLVParser.answer_set (   self)

◆ cost()

def parsers.asp.dlv.DLVParser.DLVParser.cost (   self)

◆ cost_level()

def parsers.asp.dlv.DLVParser.DLVParser.cost_level (   self)

◆ model()

def parsers.asp.dlv.DLVParser.DLVParser.model (   self)

◆ output()

def parsers.asp.dlv.DLVParser.DLVParser.output (   self)

◆ predicate()

def parsers.asp.dlv.DLVParser.DLVParser.predicate (   self)

◆ term()

def parsers.asp.dlv.DLVParser.DLVParser.term (   self)

◆ witness()

def parsers.asp.dlv.DLVParser.DLVParser.witness (   self)

Member Data Documentation

◆ atn

parsers.asp.dlv.DLVParser.DLVParser.atn = ATNDeserializer().deserialize(serializedATN())
static

◆ BOOLEAN

int parsers.asp.dlv.DLVParser.DLVParser.BOOLEAN = 20
static

◆ CLOSE_SQUARE_BRACKET

int parsers.asp.dlv.DLVParser.DLVParser.CLOSE_SQUARE_BRACKET = 6
static

◆ COLON

int parsers.asp.dlv.DLVParser.DLVParser.COLON = 2
static

◆ COMMA

int parsers.asp.dlv.DLVParser.DLVParser.COMMA = 11
static

◆ COST_BEGIN

int parsers.asp.dlv.DLVParser.DLVParser.COST_BEGIN = 3
static

◆ COST_END

int parsers.asp.dlv.DLVParser.DLVParser.COST_END = 4
static

◆ decisionsToDFA

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

◆ DOT

int parsers.asp.dlv.DLVParser.DLVParser.DOT = 19
static

◆ EOF

parsers.asp.dlv.DLVParser.DLVParser.EOF = Token.EOF
static

◆ grammarFileName

string parsers.asp.dlv.DLVParser.DLVParser.grammarFileName = "DLVParser.g4"
static

◆ GROUND_QUERY_BEGIN

int parsers.asp.dlv.DLVParser.DLVParser.GROUND_QUERY_BEGIN = 7
static

◆ HEADER

int parsers.asp.dlv.DLVParser.DLVParser.HEADER = 1
static

◆ IDENTIFIER

int parsers.asp.dlv.DLVParser.DLVParser.IDENTIFIER = 12
static

◆ INTEGER_CONSTANT

int parsers.asp.dlv.DLVParser.DLVParser.INTEGER_CONSTANT = 13
static

◆ literalNames

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

◆ MODEL_BEGIN

int parsers.asp.dlv.DLVParser.DLVParser.MODEL_BEGIN = 8
static

◆ MODEL_END

int parsers.asp.dlv.DLVParser.DLVParser.MODEL_END = 9
static

◆ OPEN_SQUARE_BRACKET

int parsers.asp.dlv.DLVParser.DLVParser.OPEN_SQUARE_BRACKET = 5
static

◆ REASONING

int parsers.asp.dlv.DLVParser.DLVParser.REASONING = 18
static

◆ RULE_answer_set

int parsers.asp.dlv.DLVParser.DLVParser.RULE_answer_set = 0
static

◆ RULE_cost

int parsers.asp.dlv.DLVParser.DLVParser.RULE_cost = 1
static

◆ RULE_cost_level

int parsers.asp.dlv.DLVParser.DLVParser.RULE_cost_level = 2
static

◆ RULE_model

int parsers.asp.dlv.DLVParser.DLVParser.RULE_model = 3
static

◆ RULE_output

int parsers.asp.dlv.DLVParser.DLVParser.RULE_output = 4
static

◆ RULE_predicate

int parsers.asp.dlv.DLVParser.DLVParser.RULE_predicate = 5
static

◆ RULE_term

int parsers.asp.dlv.DLVParser.DLVParser.RULE_term = 6
static

◆ RULE_witness

int parsers.asp.dlv.DLVParser.DLVParser.RULE_witness = 7
static

◆ ruleNames

list parsers.asp.dlv.DLVParser.DLVParser.ruleNames
static
Initial value:
= [ u"answer_set", u"cost", u"cost_level", u"model", u"output",
u"predicate", u"term", u"witness" ]

◆ sharedContextCache

parsers.asp.dlv.DLVParser.DLVParser.sharedContextCache = PredictionContextCache()
static

◆ state

parsers.asp.dlv.DLVParser.DLVParser.state

◆ STRING_CONSTANT

int parsers.asp.dlv.DLVParser.DLVParser.STRING_CONSTANT = 14
static

◆ symbolicNames

list parsers.asp.dlv.DLVParser.DLVParser.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" ]

◆ TERMS_BEGIN

int parsers.asp.dlv.DLVParser.DLVParser.TERMS_BEGIN = 15
static

◆ TERMS_END

int parsers.asp.dlv.DLVParser.DLVParser.TERMS_END = 16
static

◆ WEIGHTED_MODEL_LABEL

int parsers.asp.dlv.DLVParser.DLVParser.WEIGHTED_MODEL_LABEL = 10
static

◆ WHITESPACE

int parsers.asp.dlv.DLVParser.DLVParser.WHITESPACE = 17
static

◆ WHITESPACE_IN_GROUND_QUERY

int parsers.asp.dlv.DLVParser.DLVParser.WHITESPACE_IN_GROUND_QUERY = 21
static

◆ WITNESS_LABEL

int parsers.asp.dlv.DLVParser.DLVParser.WITNESS_LABEL = 22
static

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