Blame isl-0.16.1/isl_multi_intersect.c
|
Packit |
fb9d21 |
/*
|
|
Packit |
fb9d21 |
* Copyright 2011 Sven Verdoolaege
|
|
Packit |
fb9d21 |
* Copyright 2012-2013 Ecole Normale Superieure
|
|
Packit |
fb9d21 |
*
|
|
Packit |
fb9d21 |
* Use of this software is governed by the MIT license
|
|
Packit |
fb9d21 |
*
|
|
Packit |
fb9d21 |
* Written by Sven Verdoolaege,
|
|
Packit |
fb9d21 |
* Ecole Normale Superieure, 45 rue d’Ulm, 75230 Paris, France
|
|
Packit |
fb9d21 |
*/
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
#include <isl_multi_macro.h>
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
/* Intersect the domain of "multi" with "domain".
|
|
Packit |
fb9d21 |
*/
|
|
Packit |
fb9d21 |
__isl_give MULTI(BASE) *FN(MULTI(BASE),intersect_domain)(
|
|
Packit |
fb9d21 |
__isl_take MULTI(BASE) *multi, __isl_take DOM *domain)
|
|
Packit |
fb9d21 |
{
|
|
Packit |
fb9d21 |
return FN(FN(MULTI(BASE),apply),DOMBASE)(multi, domain,
|
|
Packit |
fb9d21 |
&FN(EL,intersect_domain));
|
|
Packit |
fb9d21 |
}
|
|
Packit |
fb9d21 |
|
|
Packit |
fb9d21 |
/* Intersect the parameter domain of "multi" with "domain".
|
|
Packit |
fb9d21 |
*/
|
|
Packit |
fb9d21 |
__isl_give MULTI(BASE) *FN(MULTI(BASE),intersect_params)(
|
|
Packit |
fb9d21 |
__isl_take MULTI(BASE) *multi, __isl_take isl_set *domain)
|
|
Packit |
fb9d21 |
{
|
|
Packit |
fb9d21 |
return FN(MULTI(BASE),apply_set)(multi, domain,
|
|
Packit |
fb9d21 |
&FN(EL,intersect_params));
|
|
Packit |
fb9d21 |
}
|