Lines Matching refs:res
127 res = self.difference(var)
128 return not res.type_diffs and not res.value_diffs
131 res = VCTDifference([], [])
134 res.type_diffs.append(k)
137 res.value_diffs.append((k, v))
138 return res
225 res = set(self.__combinations)
227 self.__sat_set = res
229 self.__not_sat_set = res
308 res = copy.copy(self)
309 res.__sat_set &= vc.__sat_set
310 res.__not_sat_set &= vc.__sat_set
311 return res