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 99 of file polyhedron.c.

---

Member Data Documentation

unsigned int SatMatrix::NbColumns

Definition at line 101 of file polyhedron.c.

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

unsigned int SatMatrix::NbRows

Definition at line 100 of file polyhedron.c.

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

unsigned int** SatMatrix::p

Definition at line 225 of file polyparam.c.

int** SatMatrix::p

Definition at line 102 of file polyhedron.c.

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

unsigned int* SatMatrix::p_init

Definition at line 226 of file polyparam.c.

int* SatMatrix::p_init

Definition at line 103 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:

• polyhedron.c
• polyparam.c