Main Page | Class List | File List | Class Members | File Members

ZPolyhedron Struct Reference

#include <types.h>

List of all members.

Public Attributes

LatticeLat
PolyhedronP
ZPolyhedronnext


Member Data Documentation

Lattice* ZPolyhedron::Lat
 

Definition at line 220 of file types.h.

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

struct ZPolyhedron* ZPolyhedron::next
 

Definition at line 222 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 221 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:
Generated on Mon Apr 23 19:23:55 2007 for polylib by doxygen 1.3.5