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