polylib: homogenization.h Source File

- Main Page
- Classes
- Files

# homogenization.h

Go to the documentation of this 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