Searched refs:fg1_fg2 (Results 1 – 1 of 1) sorted by relevance
213 auto fg1_fg2 = std::make_pair(fg1, fg2); in Isomorphic() local218 if (equiv_func_graph->find(fg1_fg2) != equiv_func_graph->end()) { in Isomorphic()219 return (*equiv_func_graph)[fg1_fg2] != kNotEquiv; in Isomorphic()233 (*equiv_func_graph)[fg1_fg2] = kPending; in Isomorphic()235 (*equiv_func_graph)[fg1_fg2] = EquivState(result); in Isomorphic()