Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/simplex/
H A Dsimplex_types.h639 uint32_t num_blands; // number of activations of bland's rule member
H A Dsimplex.c627 stat->num_blands = 0; in init_simplex_statistics()
4328 solver->stats.num_blands ++; in simplex_check_feasibility()
4329 …rintf(solver->core->trace, 15, "(activating bland's rule: %"PRIu32")\n", solver->stats.num_blands); in simplex_check_feasibility()
/dports/math/yices/yices-2.6.2/src/context/
H A Dcontext_statistics.c113 fprintf(f, " bland-rule activations : %"PRIu32"\n", stat->num_blands); in show_simplex_stats()
/dports/math/yices/yices-2.6.2/src/frontend/
H A Dyices_smtcomp.c631 fprintf(stderr, " bland-rule activations : %"PRIu32"\n", stat->num_blands); in show_simplex_stats()
H A Dyices_smt.c1141 printf(" bland-rule activations : %"PRIu32"\n", stat->num_blands); in show_simplex_stats()
/dports/math/yices/yices-2.6.2/src/frontend/yices/
H A Dyices_reval.c1949 printf(" bland-rule activations : %"PRIu32"\n", stat->num_blands); in show_simplex_stats()