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 #ifndef _alpha_h_ 19 #define _alpha_h_ 20 21 #if defined(__cplusplus) 22 extern "C" { 23 #endif 24 25 extern int GaussSimplify ( Matrix *M, Matrix *M2 ); 26 extern int PolyhedronLTQ ( Polyhedron *P1, Polyhedron *P2, int INDEX, int 27 PDIM, int MAXRAYS ); 28 extern int PolyhedronTSort ( Polyhedron ** L, unsigned int n, unsigned 29 int index, unsigned int pdim, int * time, 30 int * pvect, unsigned int MAXRAYS ); 31 extern int Polyhedron_Not_Empty ( Polyhedron *P, Polyhedron *C, int 32 MAXRAYS ); 33 #if defined(__cplusplus) 34 } 35 #endif 36 37 #endif /* _alpha_h_ */ 38