Searched defs:save_subsumption (Results 1 – 2 of 2) sorted by relevance
771 save_subsumption (tree t1, tree t2, bool result) in save_subsumption() function
837 save_subsumption (tree t1, tree t2, bool result) in save_subsumption() function