Searched defs:satisfy_constraint_r (Results 1 – 2 of 2) sorted by relevance
3015 satisfy_constraint_r (tree t, tree args, sat_info info) in satisfy_constraint_r() function
2657 satisfy_constraint_r (tree t, tree args, subst_info info) in satisfy_constraint_r() function