PIPS
|
#include <chernikova.h>
Data Fields | |
unsigned | nbrows |
unsigned | nbcols |
int ** | vals |
int * | rawvals |
Definition at line 450 of file chernikova.h.
unsigned bmat_s::nbcols |
Definition at line 452 of file chernikova.h.
Referenced by bmat_alloc(), bmat_fprint(), chernikova(), and remove_redundants().
unsigned bmat_s::nbrows |
Definition at line 451 of file chernikova.h.
Referenced by bmat_alloc(), bmat_extend(), bmat_fprint(), chernikova(), constrs_of_rays(), and rays_of_constrs().
int* bmat_s::rawvals |
Definition at line 454 of file chernikova.h.
Referenced by bmat_alloc(), bmat_extend(), bmat_free(), constrs_of_rays(), rays_of_constrs(), and transpose_sat().
int** bmat_s::vals |
Definition at line 453 of file chernikova.h.
Referenced by bmat_alloc(), bmat_extend(), bmat_fprint(), bmat_free(), chernikova(), remove_redundants(), sort_rays(), and transpose_sat().