source: Daodan/MSYS2/mingw32/include/isl/lp.h@ 1166

Last change on this file since 1166 was 1166, checked in by rossy, 3 years ago

Daodan: Replace MinGW build env with an up-to-date MSYS2 env

File size: 750 bytes
RevLine 
[1166]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_type.h>
15#include <isl/set_type.h>
16
17enum isl_lp_result {
18 isl_lp_error = -1,
19 isl_lp_ok = 0,
20 isl_lp_unbounded,
21 isl_lp_empty
22};
23
24#if defined(__cplusplus)
25extern "C" {
26#endif
27
28__isl_give isl_val *isl_basic_set_min_lp_val(__isl_keep isl_basic_set *bset,
29 __isl_keep isl_aff *obj);
30__isl_give isl_val *isl_basic_set_max_lp_val(__isl_keep isl_basic_set *bset,
31 __isl_keep isl_aff *obj);
32
33#if defined(__cplusplus)
34}
35#endif
36
37#endif
Note: See TracBrowser for help on using the repository browser.