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
  17 #if defined(__cplusplus)
  18 extern "C" {
  19 #endif
  20
  21 enum isl_lp_result isl_basic_set_solve_ilp(struct isl_basic_set *bset, int max,
  22                                       isl_int *f, isl_int *opt,
  23                                       struct isl_vec **sol_p);
  24 enum isl_lp_result isl_basic_set_max(__isl_keep isl_basic_set *bset,
  25         __isl_keep isl_aff *obj, isl_int *opt);
  26 __isl_give isl_val *isl_basic_set_max_val(__isl_keep isl_basic_set *bset,
  27         __isl_keep isl_aff *obj);
  28 enum isl_lp_result isl_set_min(__isl_keep isl_set *set,
  29         __isl_keep isl_aff *obj, isl_int *opt);
  30 enum isl_lp_result isl_set_max(__isl_keep isl_set *set,
  31         __isl_keep isl_aff *obj, isl_int *opt);
  32 __isl_give isl_val *isl_set_min_val(__isl_keep isl_set *set,
  33         __isl_keep isl_aff *obj);
  34 __isl_give isl_val *isl_set_max_val(__isl_keep isl_set *set,
  35         __isl_keep isl_aff *obj);
  36
  37 #if defined(__cplusplus)
  38 }
  39 #endif
  40
  41 #endif