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 D | matrices.h | 438 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 D | simplex_printer.c | 321 r = matrix_basic_row(&solver->matrix, x); in print_avar_full()
|
H A D | simplex.c | 4276 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 D | poly_buffer.c | 759 r = matrix_basic_row(matrix, y); in poly_buffer_substitution()
|