isl_basic_map_gist: allow existentially quantified variables
[isl.git] / isl_multi_locals_templ.c
blob3cfb0a33c35a8753ea6e7634d651c16f4e2e35f0
1 /*
2 * Copyright 2019 Cerebras Systems
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege,
7 * Cerebras Systems, 175 S San Antonio Rd, Los Altos, CA, USA
8 */
10 #include <isl_multi_macro.h>
12 /* Does "multi" involve any local variables?
14 isl_bool FN(MULTI(BASE),involves_locals)(__isl_keep MULTI(BASE) *multi)
16 return FN(MULTI(BASE),any)(multi, FN(EL,involves_locals));