def __init__(self, operator, lbp):
GrammarSymbol.__init__(self)
self.operator = operator
self.lbp = lbp
def __init__(self):
GrammarSymbol.__init__(self)
self.lbp = 300
def __init__(self, value):
GrammarSymbol.__init__(self)
self.value = value
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)
def __init__(self, width):
GrammarSymbol.__init__(self)
self.width = width
