repo.or.cz
/
isl.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
isl_solve_lp: use tableaus instead of calling piplib (by default)
[isl.git]
/
include
/
isl_lp.h
blob
c86b93be31659176105c8fb5c7bf5dae378c4f4d
1
#ifndef ISL_LP_H
2
#define ISL_LP_H
3
4
#include <isl_map.h>
5
6
enum
isl_lp_result
{
7
isl_lp_error
= -
1
,
8
isl_lp_ok
=
0
,
9
isl_lp_unbounded
,
10
isl_lp_empty
11
};
12
13
#if defined(__cplusplus)
14
extern
"C"
{
15
#endif
16
17
enum
isl_lp_result
isl_solve_lp
(
struct
isl_basic_map
*
bmap
,
int
maximize
,
18
isl_int
*
f
,
isl_int denom
,
isl_int
*
opt
,
19
isl_int
*
opt_denom
);
20
21
#if defined(__cplusplus)
22
}
23
#endif
24
25
#endif