lp.h 750 B

12345678910111213141516171819202122232425262728293031323334353637
  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. #ifndef ISL_LP_H
  10. #define ISL_LP_H
  11. #include <isl/aff.h>
  12. #include <isl/val_type.h>
  13. #include <isl/set_type.h>
  14. enum isl_lp_result {
  15. isl_lp_error = -1,
  16. isl_lp_ok = 0,
  17. isl_lp_unbounded,
  18. isl_lp_empty
  19. };
  20. #if defined(__cplusplus)
  21. extern "C" {
  22. #endif
  23. __isl_give isl_val *isl_basic_set_min_lp_val(__isl_keep isl_basic_set *bset,
  24. __isl_keep isl_aff *obj);
  25. __isl_give isl_val *isl_basic_set_max_lp_val(__isl_keep isl_basic_set *bset,
  26. __isl_keep isl_aff *obj);
  27. #if defined(__cplusplus)
  28. }
  29. #endif
  30. #endif