SatMatrix Struct Reference

List of all members.

Public Attributes

unsigned int NbRows
unsigned int NbColumns
int ** p
int * p_init
unsigned int ** p
unsigned int * p_init


Detailed Description

Definition at line 82 of file polyhedron.c.


Member Data Documentation

unsigned int SatMatrix::NbRows

unsigned int SatMatrix::NbColumns

Definition at line 84 of file polyhedron.c.

Referenced by Chernikova(), Remove_Redundants(), SMAlloc(), and SMPrint().

int** SatMatrix::p

unsigned int** SatMatrix::p

Definition at line 208 of file polyparam.c.

unsigned int* SatMatrix::p_init

Definition at line 209 of file polyparam.c.


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

Generated on Wed Jul 2 16:22:48 2008 for polylib by  doxygen 1.5.6