| 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 | __isl_give MULTI(BASE) *FN(MULTI(BASE),gist)(__isl_take MULTI(BASE) *multi, |
|---|
| 17 | __isl_take DOM *context) |
|---|
| 18 | { |
|---|
| 19 | return FN(FN(MULTI(BASE),apply),DOMBASE)(multi, set: context, fn: &FN(EL,gist)); |
|---|
| 20 | } |
|---|
| 21 | |
|---|
| 22 | /* Compute the gist of "multi" with respect to the parameter constraints |
|---|
| 23 | * of "context". |
|---|
| 24 | */ |
|---|
| 25 | __isl_give MULTI(BASE) *FN(MULTI(BASE),gist_params)( |
|---|
| 26 | __isl_take MULTI(BASE) *multi, __isl_take isl_set *context) |
|---|
| 27 | { |
|---|
| 28 | return FN(MULTI(BASE),apply_set)(multi, set: context, fn: &FN(EL,gist_params)); |
|---|
| 29 | } |
|---|
| 30 | |
|---|
