44     def is_different(self, prev):  member in GenericMap
141     def is_different(self, prev):  member in EnvironmentFrame
162                 if f.is_different(prev_f):
172     def is_different(self, prev):  member in GenericEnvironment
203     def is_different(self, prev):  member in StoreCluster
219                    and prev.clusters[k].is_different(self.clusters[k])]
222     def is_different(self, prev):  member in Store
238     def is_different(self, prev):  member in CheckerLines
252                    and prev.items[k].is_different(self.items[k])]
255     def is_different(self, prev):  member in CheckerMessages
611                 if e.is_different(prev_e):
675                 if s.store.is_different(prev_st):
720                 if m.is_different(prev_m):
777                 if m.is_different(prev_m):