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_map_is_disjoint: maps with non-matching tuples may still intersect
[isl.git]
/
include
/
isl
/
val_int.h
blob
521d5a6f39331be6d06531bc07a2d7085faabd5f
1
#ifndef ISL_VAL_INT_H
2
#define ISL_VAL_INT_H
3
4
#include <isl/int.h>
5
#include <isl/val.h>
6
7
__isl_give isl_val
*
isl_val_int_from_isl_int
(
isl_ctx
*
ctx
,
isl_int n
);
8
int
isl_val_get_num_isl_int
(
__isl_keep isl_val
*
v
,
isl_int
*
n
);
9
10
#endif