Lines Matching refs:sat_set
107 self.assertEqual(vc1_s.sat_set, set_combo)
113 self.assertEqual(vc1_ns.sat_set, set())
118 self.assertEqual(vc1_ns.sat_set, set())
123 self.assertEqual(vc1_ns.sat_set, set())
130 self.assertEqual(vc1_tmp.sat_set, set_combo)
148 self.assertEqual(intersect.sat_set, vct3_set_combo)
156 self.assertEqual(vc3_ns.sat_set, vct3_set_combo)
165 self.assertEqual(vc1_ns.sat_set, vct3_set_combo)
169 self.assertEqual(vc1_s.sat_set, set())
174 self.assertEqual(vc1_ns_simp.sat_set, set())