Lines Matching defs:ts
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()
558 load_check_assumption (term_list& ts, term_list::iterator i) in load_check_assumption()
567 load_parameterized_assumption (term_list& ts, term_list::iterator i) in load_parameterized_assumption()
573 load_conjunction_assumption (term_list& ts, term_list::iterator i) in load_conjunction_assumption()
647 term_list& ts = gi->assumptions; in explode_goal() local