Searched refs:FormulaPair (Results 1 – 1 of 1) sorted by relevance
136 using FormulaPair = std::pair<const Formula *, const Formula *>; variable137 llvm::DenseMap<FormulaPair, const Formula *> Ands;138 llvm::DenseMap<FormulaPair, const Formula *> Ors;140 llvm::DenseMap<FormulaPair, const Formula *> Implies;141 llvm::DenseMap<FormulaPair, const Formula *> Equals;