Searched refs:d_skolemDeclarations (Results 1 – 2 of 2) sorted by relevance
80 ExprSet d_skolemDeclarations; // all the skolem variable declarations variable
1271 d_skolemDeclarations.insert(*it); in printTermDeclarations()1288 …for (ExprSet::const_iterator it = d_skolemDeclarations.begin(); it != d_skolemDeclarations.end(); … in printDeferredDeclarations()