Searched refs:egraph_enable_dyn_ackermann (Results 1 – 2 of 2) sorted by relevance
491 static inline void egraph_enable_dyn_ackermann(egraph_t *egraph, uint32_t n) { in egraph_enable_dyn_ackermann() function
508 egraph_enable_dyn_ackermann(egraph, params->max_ackermann); in context_set_search_parameters()