2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the GNU LGPLv2.1 license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
10 #include "isl_map_piplib.h"
13 struct isl_map
*isl_pip_basic_map_lexopt(
14 struct isl_basic_map
*bmap
, struct isl_basic_set
*dom
,
15 struct isl_set
**empty
, int max
)
17 isl_basic_map_free(bmap
);
18 isl_basic_set_free(dom
);