Searched refs:yices_model_term_array_support (Results 1 – 2 of 2) sorted by relevance
4067 __YICES_DLLSPEC__ extern int32_t yices_model_term_array_support(model_t *mdl, uint32_t n, const ter…
9406 EXPORTED int32_t yices_model_term_array_support(model_t *mdl, uint32_t n, const term_t a[], term_ve… in yices_model_term_array_support() function