Home
last modified time | relevance | path

Searched refs:collectAssertionsForClauses (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dcnf_proof.h110 void collectAssertionsForClauses(const IdToSatClause& clauses,
H A Dcnf_proof.cpp336 void CnfProof::collectAssertionsForClauses(const IdToSatClause& clauses, in collectAssertionsForClauses() function in CVC4::CnfProof
H A Dproof_manager.cpp613 d_cnfProof->collectAssertionsForClauses(used_inputs, used_assertions); in toStream()