Searched refs:DEF_FVAR_VECTOR_SIZE (Results 1 – 2 of 2) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/solvers/simplex/ | ||
| H A D | matrices.h | 255 #define DEF_FVAR_VECTOR_SIZE 10 macro |
| H A D | matrices.c | 2261 n = DEF_FVAR_VECTOR_SIZE; in fvar_vector_alloc() |