Searched refs:markPrinted (Results 1 – 4 of 4) sorted by relevance
281 void markPrinted(const Type& type);
675 ProofManager::currentPM()->markPrinted(*it); in printSortDeclarations()
923 void ProofManager::markPrinted(const Type& type) { in markPrinted() function in CVC4::ProofManager
1233 ProofManager::currentPM()->markPrinted(*it); in printSortDeclarations()