Searched refs:yices_new_model (Results 1 – 2 of 2) sorted by relevance
526 extern model_t *yices_new_model(bool keep_subst);
9070 model_t *yices_new_model(bool keep_subst) { in yices_new_model() function9369 mdl = yices_new_model(true); in _o_yices_model_from_map()9442 mdl = yices_new_model(true); in trivially_true_assertions()