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
extract out shared isl_space_check_equal_params
[isl.git]
/
isl_local.h
blob
0970509e51d05ab6db897174e93f41f17fcb24f0
1
#ifndef ISL_LOCAL_H
2
#define ISL_LOCAL_H
3
4
#include <isl/mat.h>
5
6
isl_bool
isl_local_div_is_marked_unknown
(
__isl_keep isl_mat
*
div
,
int
pos
);
7
isl_bool
isl_local_div_is_known
(
__isl_keep isl_mat
*
div
,
int
pos
);
8
int
isl_local_cmp
(
__isl_keep isl_mat
*
div1
,
__isl_keep isl_mat
*
div2
);
9
10
#endif