Home
last modified time | relevance | path

Searched refs:new_rational_array (Results 1 – 4 of 4) sorted by relevance

/dports/math/yices/yices-2.6.2/src/terms/
H A Drationals.h606 extern rational_t *new_rational_array(uint32_t n);
H A Drationals.c2061 rational_t *new_rational_array(uint32_t n) { in new_rational_array() function
/dports/math/yices/yices-2.6.2/src/solvers/floyd_warshall/
H A Drdl_floyd_warshall.c2956 solver->value = new_rational_array(nvars); in rdl_build_model()
/dports/math/yices/yices-2.6.2/src/solvers/simplex/
H A Dsimplex.c12572 solver->value = new_rational_array(n); in simplex_build_model()