Searched refs:eterm_of_var (Results 1 – 4 of 4) sorted by relevance
444 eterm_of_var_fun_t eterm_of_var; member595 eterm_of_var_fun_t eterm_of_var; member
133 u = ctx->arith.eterm_of_var(ctx->arith_solver, x); in translate_arithvar_to_eterm()149 u = ctx->bv.eterm_of_var(ctx->bv_solver, x); in translate_bvvar_to_eterm()
1131 get_eterm_fun_t eterm_of_var; member
5876 t1 = eg->eterm_of_var(solver, v[0]); in egraph_reconcile_class()5878 t2 = eg->eterm_of_var(solver, v[i]); in egraph_reconcile_class()