isl_set_polylib.h

   1 /*
   2  * Copyright 2008-2009 Katholieke Universiteit Leuven
   3  *
   4  * Use of this software is governed by the GNU GPLv2 license
   5  *
   6  * Written by Sven Verdoolaege, K.U.Leuven, Departement
   7  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
   8  */
   9
  10 #ifndef ISL_SET_POLYLIB_H
  11 #define ISL_SET_POLYLIB_H
  12
  13 #include <isl/set.h>
  14 #include <barvinok/polylib.h>
  15
  16 #if defined(__cplusplus)
  17 extern "C" {
  18 #endif
  19
  20 __isl_give isl_basic_set *isl_basic_set_new_from_polylib(Polyhedron *P,
  21                         __isl_take isl_space *dim);
  22 Matrix *isl_basic_set_to_polylib_constraints(__isl_keep isl_basic_set *bset);
  23 Polyhedron *isl_basic_set_to_polylib(__isl_keep isl_basic_set *bset);
  24
  25 __isl_give isl_set *isl_set_new_from_polylib(Polyhedron *D,
  26                         __isl_take isl_space *dim);
  27 Polyhedron *isl_set_to_polylib(__isl_keep isl_set *set);
  28
  29 #if defined(__cplusplus)
  30 }
  31 #endif
  32
  33 #endif