Lattices and ${{\cal Z}}$-polyhedra

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 ${{\cal Z}}$-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;