Searched refs:TheAtom (Results 1 – 1 of 1) sorted by relevance
115 Atom TheAtom = E->getData(); in simplifyConstraints() local116 Atom Leader = EquivalentAtoms.getLeaderValue(TheAtom); in simplifyConstraints()122 Substitutions.insert({TheAtom, &arena.makeLiteral(true)}); in simplifyConstraints()124 Substitutions.insert({TheAtom, &arena.makeLiteral(false)}); in simplifyConstraints()125 } else if (TheAtom != Leader) { in simplifyConstraints()126 Substitutions.insert({TheAtom, &arena.makeAtomRef(Leader)}); in simplifyConstraints()