Example #1
0
 def __init__(self, operator, lbp):
     GrammarSymbol.__init__(self)
     self.operator = operator
     self.lbp = lbp
Example #2
0
 def __init__(self):
     GrammarSymbol.__init__(self)
     self.lbp = 300
Example #3
0
 def __init__(self, value):
     GrammarSymbol.__init__(self)
     self.value = value
Example #4
0
 def __init__(self, name, env):
     GrammarSymbol.__init__(self)
     self.value = env.formula_manager.get_symbol(name)
     if self.value is None:
         raise ValueError("Undefined symbol: '%s'" % name)
Example #5
0
 def __init__(self, width):
     GrammarSymbol.__init__(self)
     self.width = width