Searched refs:contradicted_incompatibilities (Results 1 – 1 of 1) sorted by relevance
32 contradicted_incompatibilities: rustc_hash::FxHashSet<IncompId<P, V>>, field61 contradicted_incompatibilities: rustc_hash::FxHashSet::default(), in init()110 if self.contradicted_incompatibilities.contains(&incompat_id) { in unit_propagation()130 self.contradicted_incompatibilities.insert(incompat_id); in unit_propagation()133 self.contradicted_incompatibilities.insert(incompat_id); in unit_propagation()150 self.contradicted_incompatibilities.insert(root_cause); in unit_propagation()212 self.contradicted_incompatibilities.clear(); in backtrack()