Searched defs:satisfy_conjunction (Results 1 – 2 of 2) sorted by relevance
2722 satisfy_conjunction (tree t, tree args, sat_info info) in satisfy_conjunction() function
2406 satisfy_conjunction (tree t, tree args, subst_info info) in satisfy_conjunction() function