1 /* Polyhedron disjoint intersections
5 disjoint_union_sep computes the disjoint union of the given list of domains.
7 (integer) # of polyhedra
8 list of polyhedra in the usual matrix (constraints) format
11 list of polyhedra (constraint matrices) having no integer point in common
17 #include <polylib/polylib.h>
22 /* Procedure to print constraints of a domain */
23 void AffContraintes(Polyhedron
*p
)
27 Polyhedron_PrintConstraints(stdout
, P_VALUE_FMT
, p
);
38 Polyhedron
*A
, *tmp
, *DD
;
43 for( i
=0 ; i
<np
; i
++ )
46 tmp
= Constraints2Polyhedron(a
,WS
);
53 DD
= Disjoint_Domain( A
, 0, WS
);