82   tree t;  member
137 term_list::term_list (tree t)  in term_list()
146 term_list::includes (tree t)  in includes()
154 term_list::push_back (tree t)  in push_back()
164 term_list::insert (iterator iter, tree t)  in insert()
194 term_list::replace (iterator iter, tree t)  in replace()
298 non_atomic_constraint_p (tree t)  in non_atomic_constraint_p()
325 any_non_atomic_constraints_p (term_list& t)  in any_non_atomic_constraints_p()
345 analyze_atom (term_list& ts, tree t)  in analyze_atom()
368 analyze_pack (term_list& ts, tree t)  in analyze_pack()
391 search_known_subsumptions (term_list& ts, tree t)  in search_known_subsumptions()
408 analyze_check (term_list& ts, tree t)  in analyze_check()
423 analyze_parameterized (term_list& ts, tree t)  in analyze_parameterized()
429 analyze_conjunction (term_list& ts, tree t)  in analyze_conjunction()
438 analyze_disjunction (term_list& ts, tree t)  in analyze_disjunction()
447 analyze_term (term_list& ts, tree t)  in analyze_term()
488 check_term (term_list& ts, tree t)  in check_term()