Searched refs:AtomRefs (Results 1 – 2 of 2) sorted by relevance
142 llvm::DenseMap<Atom, const Formula *> AtomRefs; variable
35 return cached(AtomRefs, A, [&] { in makeAtomRef()