Searched defs:satisfy_atom (Results 1 – 2 of 2) sorted by relevance
2911 satisfy_atom (tree t, tree args, sat_info info) in satisfy_atom() function
2576 satisfy_atom (tree t, tree args, subst_info info) in satisfy_atom() function