| 1 | /* |
| 2 | * Copyright 2010 INRIA Saclay |
| 3 | * |
| 4 | * Use of this software is governed by the MIT license |
| 5 | * |
| 6 | * Written by Sven Verdoolaege, INRIA Saclay - Ile-de-France, |
| 7 | * Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod, |
| 8 | * 91893 Orsay, France |
| 9 | */ |
| 10 | |
| 11 | #include <isl_union_macro.h> |
| 12 | |
| 13 | /* Return the opposite of "part". |
| 14 | */ |
| 15 | static __isl_give PART *FN(UNION,neg_entry)(__isl_take PART *part, void *user) |
| 16 | { |
| 17 | return FN(PART,neg)(pw: part); |
| 18 | } |
| 19 | |
| 20 | /* Return the opposite of "u". |
| 21 | */ |
| 22 | __isl_give UNION *FN(UNION,neg)(__isl_take UNION *u) |
| 23 | { |
| 24 | return FN(UNION,transform_inplace)(u, fn: &FN(UNION,neg_entry), NULL); |
| 25 | } |
| 26 | |