include/isl/lp.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_LP_H
  11 #define ISL_LP_H
  12
  13 #include <isl/aff.h>
  14 #include <isl/val.h>
  15 #include <isl/int.h>
  16 #include <isl/vec.h>
  17 #include <isl/map_type.h>
  18 #include <isl/set_type.h>
  19
  20 enum isl_lp_result {
  21         isl_lp_error = -1,
  22         isl_lp_ok = 0,
  23         isl_lp_unbounded,
  24         isl_lp_empty
  25 };
  26
  27 #if defined(__cplusplus)
  28 extern "C" {
  29 #endif
  30
  31 enum isl_lp_result isl_basic_map_solve_lp(struct isl_basic_map *bmap, int max,
  32                                       isl_int *f, isl_int denom, isl_int *opt,
  33                                       isl_int *opt_denom,
  34                                       struct isl_vec **sol);
  35 enum isl_lp_result isl_basic_set_solve_lp(struct isl_basic_set *bset, int max,
  36                                       isl_int *f, isl_int denom, isl_int *opt,
  37                                       isl_int *opt_denom,
  38                                       struct isl_vec **sol);
  39 enum isl_lp_result isl_map_solve_lp(__isl_keep isl_map *map, int max,
  40                                       isl_int *f, isl_int denom, isl_int *opt,
  41                                       isl_int *opt_denom,
  42                                       struct isl_vec **sol);
  43 enum isl_lp_result isl_set_solve_lp(__isl_keep isl_set *set, int max,
  44                                       isl_int *f, isl_int denom, isl_int *opt,
  45                                       isl_int *opt_denom,
  46                                       struct isl_vec **sol);
  47 __isl_give isl_val *isl_basic_set_min_lp_val(__isl_keep isl_basic_set *bset,
  48         __isl_keep isl_aff *obj);
  49 __isl_give isl_val *isl_basic_set_max_lp_val(__isl_keep isl_basic_set *bset,
  50         __isl_keep isl_aff *obj);
  51
  52 #if defined(__cplusplus)
  53 }
  54 #endif
  55
  56 #endif