Lines Matching defs:equivalent
119 is equivalent to when constructing the replacement expression. This is
254 def equivalent(self, other):
255 """Check that two constants are equivalent.
317 def equivalent(self, other):
318 """Check that two variables are equivalent.
386 def equivalent(self, other):
387 """Check that two variables are equivalent.
406 return all(s.equivalent(o) for s, o in zip(self.sources, other.sources))
420 not self.sources[0].equivalent(self.sources[1]):
898 # item is equivalent to nu in "Tree Automatons."