Searched defs:itut (Results 1 – 2 of 2) sorted by relevance
1022 std::map<Node, TNodeTrie>::iterator itut = d_func_map_trie.find(f); in getTermArgTrie() local1036 std::map<Node, TNodeTrie>::iterator itut = d_func_map_eqc_trie.find(f); in getTermArgTrie() local1059 std::map<Node, TNodeTrie>::iterator itut = d_func_map_trie.find(f); in getCongruentTerm() local
379 std::map< Node, std::vector< Node > >::iterator itut = fm->d_uf_terms.find( op ); in processBuildModel() local