Searched refs:derive_proofs (Results 1 – 2 of 2) sorted by relevance
764 derive_proofs (formula& f, tree t, rules r) in derive_proofs() function881 result = derive_proofs (dnf, rhs, left); in subsumes_constraints_nonnull()886 result = derive_proofs (cnf, lhs, right); in subsumes_constraints_nonnull()
1950 (derive_proofs): Remove.