next up previous contents
Next: Example Up: Data structures Previous: Lattices and -polyhedra   Contents

Parametrized Polyhedra

There are two ways of representing the vertices of parameterized polyhedra (Param_Vertices and Param_Domain). Both use the same data structure, Param_Polyhedron, described below as pattern.
       typedef struct _Param_Poly
          int		nbV;
          Param_Vertices *V;
          Param_Domain   *D;


 typedef struct _Param_V
       {  struct Param V *next;
          Matrix *Vertex;
          Matrix *Domain;
 typedef struct _Param_Domain
       {  struct _Param_Domain *next;
          Polyhedron *Domain;
          int	*F;
       } Param_Domain;

Sorin Olaru 2002-04-24