Home
last modified time | relevance | path

Searched refs:markPrinted (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dproof_manager.h281 void markPrinted(const Type& type);
H A Duf_proof.cpp675 ProofManager::currentPM()->markPrinted(*it); in printSortDeclarations()
H A Dproof_manager.cpp923 void ProofManager::markPrinted(const Type& type) { in markPrinted() function in CVC4::ProofManager
H A Darray_proof.cpp1233 ProofManager::currentPM()->markPrinted(*it); in printSortDeclarations()