#include <types.h>
Public Attributes | |
Lattice * | Lat |
Polyhedron * | P |
ZPolyhedron * | next |
|
|
Definition at line 189 of file types.h. Referenced by AddZPoly2ZDomain(), AddZPolytoZDomain(), main(), ZDomain_Copy(), ZDomain_Free(), ZDomainDifference(), ZDomainImage(), ZDomainIntersection(), ZDomainPreimage(), ZDomainPrint(), ZDomainSimplify(), ZDomainUnion(), and ZPolyhedron_Alloc(). |
|
Definition at line 188 of file types.h. Referenced by AddZPolytoZDomain(), CanonicalForm(), IntegraliseLattice(), isEmptyZPolyhedron(), SplitZpolyhedron(), ZDomainSimplify(), ZPolyhedron_Alloc(), ZPolyhedron_Copy(), ZPolyhedron_Free(), ZPolyhedronDifference(), ZPolyhedronImage(), ZPolyhedronIncludes(), ZPolyhedronIntersection(), ZPolyhedronPreimage(), and ZPolyhedronPrint(). |