include/polylib/homogenization.h

   1 /*
   2     This file is part of PolyLib.
   3
   4     PolyLib is free software: you can redistribute it and/or modify
   5     it under the terms of the GNU General Public License as published by
   6     the Free Software Foundation, either version 3 of the License, or
   7     (at your option) any later version.
   8
   9     PolyLib is distributed in the hope that it will be useful,
  10     but WITHOUT ANY WARRANTY; without even the implied warranty of
  11     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12     GNU General Public License for more details.
  13
  14     You should have received a copy of the GNU General Public License
  15     along with PolyLib.  If not, see <http://www.gnu.org/licenses/>.
  16 */
  17
  18 /** homogenization.h -- Bavo Nootaert **/
  19 #ifndef HOMOGENIZATION_H
  20 #define HOMOGENIZATTON_H
  21
  22 #include <polylib/polylib.h>
  23
  24 Polyhedron *homogenize(Polyhedron *P, unsigned MAXRAYS);
  25
  26 void dehomogenize_evalue(evalue *ep,  int nb_param);
  27 void dehomogenize_enode(enode *p, int nb_param);
  28 void dehomogenize_enumeration(Enumeration *en, int nb_param, int maxRays);
  29 Polyhedron *dehomogenize_polyhedron(Polyhedron *p, int maxRays);
  30
  31 #endif