polylib: homogenization.h Source File

00001 /*
00002     This file is part of PolyLib.
00003 
00004     PolyLib is free software: you can redistribute it and/or modify
00005     it under the terms of the GNU General Public License as published by
00006     the Free Software Foundation, either version 3 of the License, or
00007     (at your option) any later version.
00008 
00009     PolyLib is distributed in the hope that it will be useful,
00010     but WITHOUT ANY WARRANTY; without even the implied warranty of
00011     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00012     GNU General Public License for more details.
00013 
00014     You should have received a copy of the GNU General Public License
00015     along with PolyLib.  If not, see <http://www.gnu.org/licenses/>.
00016 */
00017 
00018 /** homogenization.h -- Bavo Nootaert **/
00019 #ifndef HOMOGENIZATION_H
00020 #define HOMOGENIZATTON_H
00021 
00022 #include <polylib/polylib.h>
00023 
00024 Polyhedron *homogenize(Polyhedron *P, unsigned MAXRAYS);
00025 
00026 void dehomogenize_evalue(evalue *ep,  int nb_param);
00027 void dehomogenize_enode(enode *p, int nb_param);
00028 void dehomogenize_enumeration(Enumeration *en, int nb_param, int maxRays);
00029 Polyhedron *dehomogenize_polyhedron(Polyhedron *p, int maxRays);
00030 
00031 #endif