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