Searched refs:d_allSkolems (Results 1 – 2 of 2) sorted by relevance
78 d_allSkolems.insert(n); in mkTypedSkolem()84 return d_allSkolems.find(n) != d_allSkolems.end(); in isSkolem()
164 std::unordered_set<Node, NodeHashFunction> d_allSkolems; variable