Searched refs:egraph_disable_dyn_boolackermann (Results 1 – 2 of 2) sorted by relevance
526 static inline void egraph_disable_dyn_boolackermann(egraph_t *egraph) { in egraph_disable_dyn_boolackermann() function
517 egraph_disable_dyn_boolackermann(egraph); in context_set_search_parameters()