Main Page | Class List | File List | Class Members | File Members

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

Member Data Documentation

unsigned int SatMatrix::NbColumns
 

Definition at line 202 of file polyparam.c.

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

unsigned int SatMatrix::NbRows
 

Definition at line 201 of file polyparam.c.

Referenced by BuildSat(), Chernikova(), Constraints2Polyhedron(), FindSimple(), Rays2Polyhedron(), SatMatrix_Extend(), SMAlloc(), and SMPrint().

unsigned int** SatMatrix::p
 

Definition at line 203 of file polyparam.c.

int** SatMatrix::p
 

Definition at line 85 of file polyhedron.c.

Referenced by addToFilter(), BuildSat(), Chernikova(), FindSimple(), Poly2Sat(), Rays2Polyhedron(), RaySort(), Remove_Redundants(), SatMatrix_Extend(), scan_m_face(), SMAlloc(), SMFree(), SMPrint(), and TransformSat().

unsigned int* SatMatrix::p_init
 

Definition at line 204 of file polyparam.c.

int* SatMatrix::p_init
 

Definition at line 86 of file polyhedron.c.

Referenced by BuildSat(), Constraints2Polyhedron(), FindSimple(), Poly2Sat(), SatMatrix_Extend(), SMAlloc(), SMFree(), and TransformSat().


The documentation for this struct was generated from the following files:
Generated on Mon Sep 12 14:48:30 2005 for polylib by doxygen 1.3.5