H A D | generalization.c | 113 …_by_subst(model_t *mdl, term_manager_t *mngr, uint32_t nelims, const term_t elim[], ivector_t *v) { in gen_model_by_subst() argument 123 code = evaluate_term_array(mdl, nelims, elim, aux.data); in gen_model_by_subst() 146 init_term_subst(&subst, mngr, nelims, elim, aux.data); in gen_model_by_subst() 176 …l_by_proj(model_t *mdl, term_manager_t *mngr, uint32_t nelims, const term_t elim[], ivector_t *v) { in gen_model_by_proj() argument 191 pflag = project_literals(mdl, mngr, implicant.size, implicant.data, nelims, elim, v); in gen_model_by_proj() 217 uint32_t nelims, const term_t elim[], ivector_t *v) { in gen_model_by_substitution() argument 221 return gen_model_by_subst(mdl, mngr, nelims, elim, v); in gen_model_by_substitution() 238 uint32_t nelims, const term_t elim[], ivector_t *v) { in gen_model_by_projection() argument 241 return gen_model_by_proj(mdl, mngr, nelims, elim, v); in gen_model_by_projection() 252 uint32_t nelims, const term_t elim[], ivector_t *v) { in generalize_model() argument [all …]
|