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

scoplib_int_t** scoplib_matrix::p

scoplib_int_t* scoplib_matrix::p_Init

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:

Generated on Thu May 19 14:35:11 2011 for ScopLib by  doxygen 1.5.6