Searched refs:collectAssertionsForClauses (Results 1 – 3 of 3) sorted by relevance
110 void collectAssertionsForClauses(const IdToSatClause& clauses,
336 void CnfProof::collectAssertionsForClauses(const IdToSatClause& clauses, in collectAssertionsForClauses() function in CVC4::CnfProof
613 d_cnfProof->collectAssertionsForClauses(used_inputs, used_assertions); in toStream()