Searched defs:enable_merge (Results 1 – 2 of 2) sorted by relevance
242 void egraph::set_merge_enabled(enode* n, bool enable_merge) { in set_merge_enabled()250 bool enable_merge = !n->merge_enabled(); in toggle_merge_enabled() local
265 void egraph::set_merge_enabled(enode* n, bool enable_merge) { in set_merge_enabled()273 bool enable_merge = !n->merge_enabled(); in toggle_merge_enabled() local