Searched refs:egraph_enable_options (Results 1 – 1 of 1) sorted by relevance
479 static inline void egraph_enable_options(egraph_t *egraph, uint32_t x) { in egraph_enable_options() function492 egraph_enable_options(egraph, EGRAPH_DYNAMIC_ACKERMANN); in egraph_enable_dyn_ackermann()522 egraph_enable_options(egraph, EGRAPH_DYNAMIC_BOOLACKERMANN); in egraph_enable_dyn_boolackermann()580 egraph_enable_options(egraph, EGRAPH_OPTIMISTIC_FCHECK); in egraph_enable_optimistic_final_check()