Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/simplex/
H A Dsimplex_types.h616 uint32_t num_fixed_vars; // number of fixed variables after tableau construction member
H A Dsimplex.c612 stat->num_fixed_vars = 0; in init_simplex_statistics()
3398 solver->stats.num_fixed_vars = solver->fvars.nvars; in simplex_init_tableau()
/dports/math/yices/yices-2.6.2/src/context/
H A Dcontext_statistics.c108 fprintf(f, " fixed vars : %"PRIu32"\n", stat->num_fixed_vars); in show_simplex_stats()
/dports/math/yices/yices-2.6.2/src/frontend/
H A Dyices_smtcomp.c626 fprintf(stderr, " fixed vars : %"PRIu32"\n", stat->num_fixed_vars); in show_simplex_stats()
H A Dyices_smt.c1136 printf(" fixed vars : %"PRIu32"\n", stat->num_fixed_vars); in show_simplex_stats()
/dports/math/yices/yices-2.6.2/src/frontend/yices/
H A Dyices_reval.c1944 printf(" fixed vars : %"PRIu32"\n", stat->num_fixed_vars); in show_simplex_stats()