Searched refs:value_in_model (Results 1 – 4 of 4) sorted by relevance
1146 arith_val_fun_t value_in_model; member1159 bv_val_fun_t value_in_model; member1175 fun_val_fun_t value_in_model; member
7394 if (egraph->arith_eg->value_in_model(egraph->th[ETYPE_INT], x, aux)) { in egraph_value_of_arith_class()7426 if (egraph->bv_eg->value_in_model(egraph->th[ETYPE_BV], x, bv)) { in egraph_value_of_bv_class()7579 map = egraph->fun_eg->value_in_model(egraph->th[ETYPE_FUNCTION], x); in egraph_value_of_fun_class()
448 arith_val_in_model_fun_t value_in_model; member599 bv_val_in_model_fun_t value_in_model; member
878 if (ctx->arith.value_in_model(ctx->arith_solver, x, a)) { in arith_value()899 if (ctx->bv.value_in_model(ctx->bv_solver, x, b)) { in bv_value()