Searched refs:egraph_attach_core (Results 1 – 4 of 4) sorted by relevance
48 egraph_attach_core(egraph, core); in init_solver()
100 extern void egraph_attach_core(egraph_t *egraph, smt_core_t *core);
6881 void egraph_attach_core(egraph_t *egraph, smt_core_t *core) { in egraph_attach_core() function
5377 egraph_attach_core(egraph, core); in init_solvers()