Public Attributes | |
unsigned int | NbRows |
unsigned int | NbColumns |
int ** | p |
int * | p_init |
unsigned int ** | p |
unsigned int * | p_init |
Definition at line 82 of file polyhedron.c.
unsigned int SatMatrix::NbRows |
Definition at line 83 of file polyhedron.c.
Referenced by BuildSat(), Chernikova(), Constraints2Polyhedron(), FindSimple(), SatMatrix_Extend(), SMAlloc(), and SMPrint().
unsigned int SatMatrix::NbColumns |
Definition at line 84 of file polyhedron.c.
Referenced by Chernikova(), Remove_Redundants(), SMAlloc(), and SMPrint().
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(), SMPrint(), and TransformSat().
int* SatMatrix::p_init |
Definition at line 86 of file polyhedron.c.
Referenced by BuildSat(), Constraints2Polyhedron(), FindSimple(), Poly2Sat(), SatMatrix_Extend(), SMAlloc(), SMFree(), and TransformSat().
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.