Searched refs:yices_formula_true_in_model (Results 1 – 2 of 2) sorted by relevance
3949 __YICES_DLLSPEC__ extern int32_t yices_formula_true_in_model(model_t *mdl, term_t f);
10955 EXPORTED int32_t yices_formula_true_in_model(model_t *mdl, term_t f) { in yices_formula_true_in_model() function