Searched refs:term_to_args (Results 1 – 1 of 1) sorted by relevance
333 term_to_args; in processTerms() local401 term_to_args[n[a]].push_back(a); in processTerms()412 iterator it = term_to_args.begin(); in processTerms()413 it != term_to_args.end(); in processTerms()458 iterator it = term_to_args.begin(); in processTerms()459 it != term_to_args.end(); in processTerms()477 term_to_args.erase(infer_def_t); in processTerms()487 iterator it = term_to_args.find(curr); in processTerms()488 if (it != term_to_args.end()) in processTerms()498 term_to_args.erase(curr); in processTerms()