polylib: homogenization.h Source File

00001 /** homogenization.h -- Bavo Nootaert **/
00002 #ifndef HOMOGENIZATION_H
00003 #define HOMOGENIZATTON_H
00004 
00005 #include <polylib/polylib.h>
00006 
00007 Polyhedron *homogenize(Polyhedron *P, unsigned MAXRAYS);
00008 
00009 void dehomogenize_evalue(evalue *ep,  int nb_param);
00010 void dehomogenize_enode(enode *p, int nb_param);
00011 void dehomogenize_enumeration(Enumeration *en, int nb_param, int maxRays);
00012 Polyhedron *dehomogenize_polyhedron(Polyhedron *p, int maxRays);
00013 
00014 #endif