Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/funs/
H A Dfun_solver.c1339 static void normalize_app_vector(fun_solver_t *solver, void **v) { in normalize_app_vector() function
1385 normalize_app_vector(solver, vtbl->app[i]); in fun_solver_normalize_apps()