Public Attributes | |
| unsigned int | NbRows |
| unsigned int | NbColumns |
| int ** | p |
| int * | p_init |
| unsigned int ** | p |
| unsigned int * | p_init |
Definition at line 99 of file polyhedron.c.
| 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().
1.6.1