SatMatrix Struct Reference

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

NbColumns

unsigned int SatMatrix::NbColumns

Definition at line 84 of file polyhedron.c.

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

NbRows

unsigned int SatMatrix::NbRows

Definition at line 83 of file polyhedron.c.

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

p [1/2]

int** SatMatrix::p

Definition at line 85 of file polyhedron.c.

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

p [2/2]

unsigned int** SatMatrix::p

Definition at line 216 of file polyparam.c.

p_init [1/2]

int* SatMatrix::p_init

Definition at line 86 of file polyhedron.c.

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

p_init [2/2]

unsigned int* SatMatrix::p_init

Definition at line 217 of file polyparam.c.

---

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

• polyhedron.c
• polyparam.c