Searched refs:fvar_vector_t (Results 1 – 6 of 6) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/solvers/simplex/ |
| H A D | matrices.h | 253 } fvar_vector_t; typedef
636 extern void init_fvar_vector(fvar_vector_t *v);
641 extern void delete_fvar_vector(fvar_vector_t *v);
646 extern void reset_fvar_vector(fvar_vector_t *v);
684 byte_t *i_flag, elim_matrix_t *elim, fvar_vector_t *fvars);
699 extern void simple_tableau_construction(matrix_t *matrix, fvar_vector_t *fvars);
710 extern void markowitz_tableau_construction(matrix_t *matrix, fvar_vector_t *fvars);
|
| H A D | matrices.c | 2213 void init_fvar_vector(fvar_vector_t *v) { in init_fvar_vector()
2223 void delete_fvar_vector(fvar_vector_t *v) { in delete_fvar_vector()
2238 void reset_fvar_vector(fvar_vector_t *v) { in reset_fvar_vector()
2254 static uint32_t fvar_vector_alloc(fvar_vector_t *v) { in fvar_vector_alloc()
2283 static void fvar_vector_add_neg(fvar_vector_t *v, int32_t x, rational_t *a) { in fvar_vector_add_neg()
2295 static void fvar_vector_add0(fvar_vector_t *v, int32_t x) { in fvar_vector_add0()
2326 elim_matrix_t *elim, fvar_vector_t *fvars) { in gauss_elim_simple_row()
2497 elim_matrix_t *elim, fvar_vector_t *fvars) { in gaussian_elimination()
2578 elim_matrix_t *elim, fvar_vector_t *fvars) { in simplify_matrix()
2793 void simple_tableau_construction(matrix_t *matrix, fvar_vector_t *fvars) { in simple_tableau_construction()
[all …]
|
| H A D | simplex_printer.h | 43 extern void print_fixed_var_vector(FILE *f, arith_vartable_t *vtbl, fvar_vector_t *fvars);
|
| H A D | simplex_types.h | 821 fvar_vector_t fvars;
|
| H A D | simplex_printer.c | 261 void print_fixed_var_vector(FILE *f, arith_vartable_t *vtbl, fvar_vector_t *fvars) { in print_fixed_var_vector()
|
| H A D | simplex.c | 3432 fvar_vector_t *v; in simplex_check_fixed_vars()
12190 fvar_vector_t *v; in simplex_model_for_fvars()
|