Searched refs:yices_pp_model_fd (Results 1 – 3 of 3) sorted by relevance
/dports/math/yices/yices-2.6.2/examples/ |
H A D | example1c.c | 120 code = yices_pp_model_fd(1, model, 80, 4, 0); // print the model to stodut in simple_test()
|
/dports/math/yices/yices-2.6.2/src/include/ |
H A D | yices.h | 4422 __YICES_DLLSPEC__ extern int32_t yices_pp_model_fd(int fd, model_t *mdl, uint32_t width, uint32_t h…
|
/dports/math/yices/yices-2.6.2/src/api/ |
H A D | yices_api.c | 9159 EXPORTED int32_t yices_pp_model_fd(int fd, model_t *mdl, uint32_t width, uint32_t height, uint32_t … in yices_pp_model_fd() function
|