Lines Matching refs:symbols
106 def __init__(self, value = 0, symbols = []):
108 symbols = [str(value)]
111 self.symbols = symbols
115 return EncodedSize(self.value + other, self.symbols)
117 return EncodedSize(self.value, self.symbols + [str(other)])
119 return EncodedSize(self.value + other.value, self.symbols + other.symbols)
125 return EncodedSize(self.value * other, [str(other) + '*' + s for s in self.symbols])
130 if not self.symbols:
133 return '(' + str(self.value) + ' + ' + ' + '.join(self.symbols) + ')'
136 if not self.symbols:
