polylib 5.22.8
|
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::NbColumns |
Definition at line 84 of file polyhedron.c.
Referenced by Chernikova(), Remove_Redundants(), and SMAlloc().
unsigned int SatMatrix::NbRows |
Definition at line 83 of file polyhedron.c.
Referenced by BuildSat(), Chernikova(), Constraints2Polyhedron(), FindSimple(), SatMatrix_Extend(), and SMAlloc().
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().
unsigned int** SatMatrix::p |
Definition at line 216 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().
unsigned int* SatMatrix::p_init |
Definition at line 217 of file polyparam.c.