Searched refs:ef_project_exists_model (Results 1 – 1 of 1) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/exists_forall/ |
| H A D | efsolver.c | 589 static void ef_project_exists_model(ef_prob_t *prob, term_t *value, term_t *evar, term_t *eval, uin… in ef_project_exists_model() function
784 ef_project_exists_model(solver->prob, solver->evalue, cnstr->evars, v->data, n); in ef_build_full_map()
978 ef_project_exists_model(solver->prob, solver->evalue, cnstr->evars, val, n); in ef_solver_learn()
|