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 187 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 189 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 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().


The documentation for this struct was generated from the following file:
Generated on Mon Sep 12 14:48:30 2005 for polylib by doxygen 1.3.5