The list corespond to a LatticeUnion structure is a image of the fact that a lattice can be represented as a matrix:

typedef Matrix Lattice; typedef struct LatticeUnion { Lattice *M; struct LatticeUnion *next; } LatticeUnion;

A -polyhedron is the intersection of a polyhedron and an affine integral full dimensional lattice.

typedef struct ZPolyhedron { Lattice *Lat ; Polyhedron *P; struct ZPolyhedron *next; } ZPolyhedron;

Sorin Olaru 2002-04-24