ZPolyhedron Struct Reference

#include <types.h>

List of all members.

Public Attributes
Lattice *	Lat
Polyhedron *	P
struct ZPolyhedron *	next

---

Detailed Description

Definition at line 241 of file types.h.

---

Member Data Documentation

Lattice* ZPolyhedron::Lat

Definition at line 242 of file types.h.

Referenced by AddZPolytoZDomain(), CanonicalForm(), IntegraliseLattice(), isEmptyZPolyhedron(), SplitZpolyhedron(), ZDomainDifference(), ZDomainImage(), ZDomainIntersection(), ZDomainPreimage(), ZDomainSimplify(), ZPolyhedron_Alloc(), ZPolyhedron_Copy(), ZPolyhedron_Free(), ZPolyhedronDifference(), ZPolyhedronImage(), ZPolyhedronIncludes(), ZPolyhedronIntersection(), ZPolyhedronPreimage(), and ZPolyhedronPrint().

struct ZPolyhedron* ZPolyhedron::next [read]

Definition at line 244 of file types.h.

Referenced by AddZPoly2ZDomain(), AddZPolytoZDomain(), main(), ZDomain_Copy(), ZDomain_Free(), ZDomainDifference(), ZDomainImage(), ZDomainIntersection(), ZDomainPreimage(), ZDomainPrint(), ZDomainSimplify(), ZDomainUnion(), and ZPolyhedron_Alloc().

Polyhedron* ZPolyhedron::P

Definition at line 243 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().

---

The documentation for this struct was generated from the following file:

• types.h