Searched refs:projectToLeaders (Results 1 – 1 of 1) sorted by relevance
53 projectToLeaders(const llvm::DenseSet<Atom> &Atoms, in projectToLeaders() function110 TrueAtoms = projectToLeaders(TrueAtoms, EquivalentAtoms); in simplifyConstraints()111 FalseAtoms = projectToLeaders(FalseAtoms, EquivalentAtoms); in simplifyConstraints()