include/isl/ilp.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_ILP_H
  11 #define ISL_ILP_H
  12
  13 #include <isl/aff_type.h>
  14 #include <isl/lp.h>
  15
  16 #if defined(__cplusplus)
  17 extern "C" {
  18 #endif
  19
  20 enum isl_lp_result isl_basic_set_solve_ilp(struct isl_basic_set *bset, int max,
  21                                       isl_int *f, isl_int *opt,
  22                                       struct isl_vec **sol_p);
  23 enum isl_lp_result isl_basic_set_max(__isl_keep isl_basic_set *bset,
  24         __isl_keep isl_aff *obj, isl_int *opt);
  25 enum isl_lp_result isl_set_max(__isl_keep isl_set *set,
  26         __isl_keep isl_aff *obj, isl_int *opt);
  27
  28 #if defined(__cplusplus)
  29 }
  30 #endif
  31
  32 #endif