Go to the source code of this file.
Functions | |
void | CanonicalForm () |
ZPolyhedron * | EmptyZPolyhedron () |
ZPolyhedron * | IntegraliseLattice () |
Bool | isEmptyZPolyhedron () |
ZPolyhedron * | ZDomainDifference () |
ZPolyhedron * | ZDomainImage () |
Bool | ZDomainIncludes () |
ZPolyhedron * | ZDomainIntersection () |
ZPolyhedron * | ZDomainPreimage () |
void | ZDomainPrint () |
ZPolyhedron * | ZDomainSimplify () |
ZPolyhedron * | ZDomainUnion () |
ZPolyhedron * | ZDomain_Copy () |
void | ZDomain_Free () |
Bool | ZPolyhedronIncludes () |
ZPolyhedron * | ZPolyhedron_Alloc () |
ZPolyhedron * | SplitZpolyhedron () |
|
Referenced by AddZPolytoZDomain(), and main(). |
|
|
Referenced by ZPolyhedron_Alloc(). |
|
Referenced by AddZPoly2ZDomain(), AddZPolytoZDomain(), CanonicalForm(), main(), ZDomainIncludes(), and ZPolyhedronDifference(). |
|
Referenced by main(). |
|
Referenced by CanonicalForm(), ZDomain_Copy(), and ZPolyhedronDifference(). |
|
Referenced by AddZPoly2ZDomain(), AddZPolytoZDomain(), main(), ZDomain_Free(), ZDomainDifference(), and ZDomainIncludes(). |
|
Referenced by main(), and ZDomainIncludes(). |
|
Referenced by main(). |
|
|
|
Referenced by main(). |
|
Referenced by main(). |
|
Referenced by main(), and ZDomainPrint(). |
|
Referenced by main(). |
|
Referenced by main(), and ZDomainSimplify(). |
|
|
Referenced by AddZPolytoZDomain(), and main(). |