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_input.c: clean up read_disjuncts
[isl.git]
/
isl_bound.h
blob
5ec8bc9469057d5e6a65b665b0ca6d6053b520c7
1
#ifndef ISL_BOUND_H
2
#define ISL_BOUND_H
3
4
#include <isl/polynomial.h>
5
6
struct
isl_bound
{
7
/* input */
8
int
check_tight
;
9
enum
isl_fold type
;
10
isl_basic_set
*
bset
;
11
isl_qpolynomial_fold
*
fold
;
12
13
/* output */
14
isl_pw_qpolynomial_fold
*
pwf
;
15
isl_pw_qpolynomial_fold
*
pwf_tight
;
16
};
17
18
#endif