Searched defs:clauseThm (Results 1 – 2 of 2) sorted by relevance
75 CVC3::Theorem clauseThm = cnf[i].getClauseTheorem(); in copy() local107 CVC3::Theorem clauseThm = oldClause.getClauseTheorem(); in operator +=() local127 CVC3::Theorem clauseThm = oldClause.getClauseTheorem(); in operator +=() local
277 const CVC3::Theorem clauseThm = node->getLeaf(); in generateSatProof() local