Searched refs:TrueAtoms (Results 1 – 2 of 2) sorted by relevance
83 llvm::DenseSet<Atom> TrueAtoms; in simplifyConstraints() local90 TrueAtoms.insert(Constraint->getAtom()); in simplifyConstraints()110 TrueAtoms = projectToLeaders(TrueAtoms, EquivalentAtoms); in simplifyConstraints()117 if (TrueAtoms.contains(Leader)) { in simplifyConstraints()158 if (TrueAtoms.contains(At) || FalseAtoms.contains(At)) in simplifyConstraints()167 for (Atom At : TrueAtoms) in simplifyConstraints()168 Info->TrueAtoms.append(atomsInEquivalenceClass(EquivalentAtoms, At)); in simplifyConstraints()169 std::sort(Info->TrueAtoms.begin(), Info->TrueAtoms.end()); in simplifyConstraints()
270 if (!Info.TrueAtoms.empty()) { in dumpFlowCondition()272 printAtomList(Info.TrueAtoms, OS); in dumpFlowCondition()