isl_basis_reduction.h

   1 /*
   2  * Copyright 2008-2009 Katholieke Universiteit Leuven
   3  *
   4  * Use of this software is governed by the GNU LGPLv2.1 license
   5  *
   6  * Written by Sven Verdoolaege, K.U.Leuven, Departement
   7  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
   8  */
   9
  10 #ifndef ISL_BASIS_REDUCTION_H
  11 #define ISL_BASIS_REDUCTION_H
  12
  13 #include "isl_set.h"
  14 #include "isl_mat.h"
  15 #include "isl_tab.h"
  16
  17 #if defined(__cplusplus)
  18 extern "C" {
  19 #endif
  20
  21 struct isl_tab *isl_tab_compute_reduced_basis(struct isl_tab *tab);
  22 struct isl_mat *isl_basic_set_reduced_basis(struct isl_basic_set *bset);
  23
  24 #if defined(__cplusplus)
  25 }
  26 #endif
  27
  28 #endif