isl_tab_pip.c: sol_pop: extract out combine_initial_into_second
[isl.git] / isl_scan.h
blob5d31d1b981bb249c4fd4dd4c6c2f4422c54dbd87
1 /*
2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
8 */
10 #ifndef ISL_SCAN_H
11 #define ISL_SCAN_H
13 #include <isl/set.h>
14 #include <isl/vec.h>
16 struct isl_scan_callback {
17 isl_stat (*add)(struct isl_scan_callback *cb,
18 __isl_take isl_vec *sample);
21 int isl_basic_set_scan(struct isl_basic_set *bset,
22 struct isl_scan_callback *callback);
23 int isl_set_scan(__isl_take isl_set *set, struct isl_scan_callback *callback);
25 #endif