Line data Source code
1 : /*
2 : * Copyright 2011 Sven Verdoolaege
3 : * Copyright 2012-2013 Ecole Normale Superieure
4 : *
5 : * Use of this software is governed by the MIT license
6 : *
7 : * Written by Sven Verdoolaege,
8 : * Ecole Normale Superieure, 45 rue d’Ulm, 75230 Paris, France
9 : */
10 :
11 : #include <isl_multi_macro.h>
12 :
13 : /* Compute the gist of "multi" with respect to the domain constraints
14 : * of "context".
15 : */
16 0 : __isl_give MULTI(BASE) *FN(MULTI(BASE),gist)(__isl_take MULTI(BASE) *multi,
17 : __isl_take DOM *context)
18 : {
19 0 : return FN(FN(MULTI(BASE),apply),DOMBASE)(multi, context, &FN(EL,gist));
20 : }
21 :
22 : /* Compute the gist of "multi" with respect to the parameter constraints
23 : * of "context".
24 : */
25 0 : __isl_give MULTI(BASE) *FN(MULTI(BASE),gist_params)(
26 : __isl_take MULTI(BASE) *multi, __isl_take isl_set *context)
27 : {
28 0 : return FN(MULTI(BASE),apply_set)(multi, context, &FN(EL,gist_params));
29 : }
|