isl_basic_map_drop_redundant_divs: don't drop divs that appear in other divs
[isl.git] / isl_map_piplib.h
blob8f1f70300c5b4f18eaee17da6ff514254fa2cff4
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_MAP_PIPLIB_H
11 #define ISL_MAP_PIPLIB_H
13 #include <isl/map.h>
15 #if defined(__cplusplus)
16 extern "C" {
17 #endif
19 struct isl_map *isl_pip_basic_map_lexopt(
20 struct isl_basic_map *bmap, struct isl_basic_set *dom,
21 struct isl_set **empty, int max);
23 #if defined(__cplusplus)
25 #endif
27 #endif