Searched refs:y_cs_removed (Results 1 – 2 of 2) sorted by relevance
2237 Constraint_System y_cs_removed; in BFT00_upper_bound_assign_if_exact() local2299 y_cs_removed.insert(db_expr == 0); in BFT00_upper_bound_assign_if_exact()2309 if (y_cs_removed.empty()) { in BFT00_upper_bound_assign_if_exact()2332 for (Constraint_System::const_iterator j = y_cs_removed.begin(), in BFT00_upper_bound_assign_if_exact()2333 j_end = y_cs_removed.end(); j != j_end; ++j) { in BFT00_upper_bound_assign_if_exact()
82779 // and put into x_cs_removed and y_cs_removed those non-redundant82784 Constraint_System y_cs_removed;82846 y_cs_removed.insert(db_expr == 0);82856 if (y_cs_removed.empty()) {82879 for (Constraint_System::const_iterator j = y_cs_removed.begin(),82880 j_end = y_cs_removed.end(); j != j_end; ++j) {