scoplib_matrix Struct Reference

#include <matrix.h>

List of all members.

Public Attributes
unsigned	NbRows
unsigned	NbColumns
scoplib_int_t **	p
scoplib_int_t *	p_Init
int	p_Init_size

---

Detailed Description

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.

---

Member Data Documentation

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().

int scoplib_matrix::p_Init_size

Needed to free the memory allocated by mpz_init.

Referenced by scoplib_matrix_free_inside(), and scoplib_matrix_malloc().

---

The documentation for this struct was generated from the following file:

• matrix.h