Searched refs:non_values (Results 1 – 2 of 2) sorted by relevance
74 void get_implied_equalities_filter_basic(uint_set const& non_values, term_ids& terms) { in get_implied_equalities_filter_basic() argument82 uint_set::iterator it = non_values.begin(), end = non_values.end(); in get_implied_equalities_filter_basic()92 if (j < i && non_values.contains(j)) continue; in get_implied_equalities_filter_basic()93 if (found_root_value && !non_values.contains(j)) continue; in get_implied_equalities_filter_basic()104 if (!non_values.contains(j)) { in get_implied_equalities_filter_basic()178 uint_set non_values; in get_implied_equalities_model_based() local182 non_values.insert(i); in get_implied_equalities_model_based()184 get_implied_equalities_filter_basic(non_values, terms); in get_implied_equalities_model_based()207 non_values.insert(i); in get_implied_equalities_model_based()236 if (!non_values.empty()) { in get_implied_equalities_model_based()[all …]