#include <matrix.h>
Public Attributes | |
unsigned | NbRows |
unsigned | NbColumns |
scoplib_int_t ** | p |
scoplib_int_t * | p_Init |
int | p_Init_size |
The scoplib_matrix_t structure stores a matrix information in the PolyLib format (the first entry of each row has a specific meaning). When a row describes a linear constraint, a 0 means it is an equality == 0, a 1 means an inequality >= 0. When a row describes an array access, a number different than 0 is the array identifier (the remainder of the row describes the access function of the first dimension of this array), otherwise it means the row describes access functions for next array dimensions.
unsigned scoplib_matrix::NbColumns |
The number of columns
Referenced by scoplib_matrix_add_vector(), scoplib_matrix_concat(), scoplib_matrix_insert_matrix(), scoplib_matrix_insert_vector(), scoplib_matrix_malloc(), scoplib_matrix_ncopy(), scoplib_matrix_print_dot_scop(), scoplib_matrix_print_structure(), scoplib_matrix_read(), scoplib_matrix_read_arrays(), scoplib_matrix_replace_matrix(), scoplib_matrix_replace_vector(), scoplib_matrix_sub_vector(), scoplib_scop_read(), and scoplib_statement_read().
unsigned scoplib_matrix::NbRows |
The number of rows
Referenced by scoplib_matrix_add_vector(), scoplib_matrix_concat(), scoplib_matrix_copy(), scoplib_matrix_insert_matrix(), scoplib_matrix_insert_vector(), scoplib_matrix_malloc(), scoplib_matrix_ncopy(), scoplib_matrix_print_dot_scop(), scoplib_matrix_print_structure(), scoplib_matrix_read(), scoplib_matrix_read_arrays(), scoplib_matrix_replace_matrix(), scoplib_matrix_replace_vector(), scoplib_matrix_sub_vector(), and scoplib_scop_read().
scoplib_int_t** scoplib_matrix::p |
An array of pointers to the beginning of each row
Referenced by scoplib_matrix_add_vector(), scoplib_matrix_expression(), scoplib_matrix_free_inside(), scoplib_matrix_insert_matrix(), scoplib_matrix_insert_vector(), scoplib_matrix_malloc(), scoplib_matrix_ncopy(), scoplib_matrix_print_dot_scop(), scoplib_matrix_print_structure(), scoplib_matrix_read_arrays(), scoplib_matrix_replace_matrix(), scoplib_matrix_replace_vector(), scoplib_matrix_sub_vector(), and scoplib_scop_read().
scoplib_int_t* scoplib_matrix::p_Init |
The matrix is stored here, contiguously in memory
Referenced by scoplib_matrix_free_inside(), scoplib_matrix_insert_matrix(), scoplib_matrix_insert_vector(), scoplib_matrix_malloc(), scoplib_matrix_read(), and scoplib_matrix_read_arrays().
Needed to free the memory allocated by mpz_init.
Referenced by scoplib_matrix_free_inside(), and scoplib_matrix_malloc().