diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2009-10-20 12:34:24 +0200 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2009-10-21 22:58:47 +0200 |
| commit | 8ba8420df0aa38cf2536757305d884df2aa37052 (patch) | |
| tree | f0cc8a0b38d0d7b58dc6e950d66fe954a0eaf986 /isl_scan.h | |
| parent | 41ce35b393f872fa28eabdb3fca13325f2e589ad (diff) | |
| download | isl-8ba8420df0aa38cf2536757305d884df2aa37052.tar.gz isl-8ba8420df0aa38cf2536757305d884df2aa37052.tar.bz2 isl-8ba8420df0aa38cf2536757305d884df2aa37052.zip | |
extract isl_basic_set_scan from polytope_scan.c
Diffstat (limited to 'isl_scan.h')
| -rw-r--r-- | isl_scan.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/isl_scan.h b/isl_scan.h new file mode 100644 index 00000000..d25e5b53 --- /dev/null +++ b/isl_scan.h @@ -0,0 +1,14 @@ +#ifndef ISL_SCAN_H +#define ISL_SCAN_H + +#include "isl_set.h" +#include "isl_vec.h" + +struct isl_scan_callback { + int (*add)(struct isl_scan_callback *cb, __isl_take isl_vec *sample); +}; + +int isl_basic_set_scan(struct isl_basic_set *bset, + struct isl_scan_callback *callback); + +#endif |