Searched refs:AtomNames (Results 1 – 2 of 2) sorted by relevance
87 using AtomNames = llvm::DenseMap<Atom, std::string>; variable91 void print(llvm::raw_ostream &OS, const AtomNames * = nullptr) const;
58 void Formula::print(llvm::raw_ostream &OS, const AtomNames *Names) const { in print()