polylib: ZPolyhedron Struct Reference

# 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