Line data    Source code

       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           0 : static __isl_give PART *FN(UNION,neg_entry)(__isl_take PART *part, void *user)
      16             : {
      17           0 :         return FN(PART,neg)(part);
      18             : }
      19             : 
      20             : /* Return the opposite of "u".
      21             :  */
      22           0 : __isl_give UNION *FN(UNION,neg)(__isl_take UNION *u)
      23             : {
      24           0 :         return FN(UNION,transform_inplace)(u, &FN(UNION,neg_entry), NULL);
      25             : }