Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/simplex/
H A Dmatrices.h438 static inline int32_t matrix_basic_row(matrix_t *matrix, int32_t x) { in matrix_basic_row() function
447 return matrix_basic_row(matrix, x) >= 0; in matrix_is_basic_var()
451 return matrix_basic_row(matrix, x) < 0; in matrix_is_nonbasic_var()
H A Dsimplex_printer.c321 r = matrix_basic_row(&solver->matrix, x); in print_avar_full()
H A Dsimplex.c4276 r = matrix_basic_row(matrix, x); in simplex_check_feasibility()
5460 k = matrix_basic_row(&solver->matrix, x); in simplex_basic_var_has_derived_bound()
5506 k = matrix_basic_row(&solver->matrix, x); in simplex_derived_bound_on_basic_var()
6107 r = matrix_basic_row(matrix, x); in decompose_and_get_dynamic_var()
8756 r = matrix_basic_row(&solver->matrix, x); in try_gomory_cut_for_var()
/dports/math/yices/yices-2.6.2/src/terms/
H A Dpoly_buffer.c759 r = matrix_basic_row(matrix, y); in poly_buffer_substitution()