include/isl/ilp.h

   1 /*
   2  * Copyright 2008-2009 Katholieke Universiteit Leuven
   3  *
   4  * Use of this software is governed by the MIT 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 #include <isl/val.h>
  16 #include <isl/vec.h>
  17
  18 #if defined(__cplusplus)
  19 extern "C" {
  20 #endif
  21
  22 enum isl_lp_result isl_basic_set_solve_ilp(struct isl_basic_set *bset, int max,
  23                                       isl_int *f, isl_int *opt,
  24                                       struct isl_vec **sol_p);
  25 enum isl_lp_result isl_basic_set_max(__isl_keep isl_basic_set *bset,
  26         __isl_keep isl_aff *obj, isl_int *opt);
  27 __isl_give isl_val *isl_basic_set_max_val(__isl_keep isl_basic_set *bset,
  28         __isl_keep isl_aff *obj);
  29 enum isl_lp_result isl_set_min(__isl_keep isl_set *set,
  30         __isl_keep isl_aff *obj, isl_int *opt);
  31 enum isl_lp_result isl_set_max(__isl_keep isl_set *set,
  32         __isl_keep isl_aff *obj, isl_int *opt);
  33 __isl_give isl_val *isl_set_min_val(__isl_keep isl_set *set,
  34         __isl_keep isl_aff *obj);
  35 __isl_give isl_val *isl_set_max_val(__isl_keep isl_set *set,
  36         __isl_keep isl_aff *obj);
  37
  38 #if defined(__cplusplus)
  39 }
  40 #endif
  41
  42 #endif