Searched defs:satisfy_disjunction (Results 1 – 2 of 2) sorted by relevance
2776 satisfy_disjunction (tree t, tree args, sat_info info) in satisfy_disjunction() function
2460 satisfy_disjunction (tree t, tree args, subst_info info) in satisfy_disjunction() function