Public Attributes | |
unsigned int | NbRows |
unsigned int | NbColumns |
int ** | p |
int * | p_init |
unsigned int ** | p |
unsigned int * | p_init |
|
Definition at line 202 of file polyparam.c. Referenced by Chernikova(), Remove_Redundants(), SMAlloc(), and SMPrint(). |
|
Definition at line 201 of file polyparam.c. Referenced by BuildSat(), Chernikova(), Constraints2Polyhedron(), FindSimple(), Rays2Polyhedron(), SatMatrix_Extend(), SMAlloc(), and SMPrint(). |
|
Definition at line 203 of file polyparam.c. |
|
Definition at line 85 of file polyhedron.c. Referenced by addToFilter(), BuildSat(), Chernikova(), FindSimple(), Poly2Sat(), Rays2Polyhedron(), RaySort(), Remove_Redundants(), SatMatrix_Extend(), scan_m_face(), SMAlloc(), SMFree(), SMPrint(), and TransformSat(). |
|
Definition at line 204 of file polyparam.c. |
|
Definition at line 86 of file polyhedron.c. Referenced by BuildSat(), Constraints2Polyhedron(), FindSimple(), Poly2Sat(), SatMatrix_Extend(), SMAlloc(), SMFree(), and TransformSat(). |