1 /* Polyhedron disjoint intersections
4 This file is part of PolyLib.
6 PolyLib is free software: you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation, either version 3 of the License, or
9 (at your option) any later version.
11 PolyLib is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with PolyLib. If not, see <http://www.gnu.org/licenses/>.
22 disjoint_union_sep computes the disjoint union of the given list of domains.
24 (integer) # of polyhedra
25 list of polyhedra in the usual matrix (constraints) format
28 list of polyhedra (constraint matrices) having no integer point in common
34 #include <polylib/polylib.h>
39 /* Procedure to print constraints of a domain */
40 void AffContraintes(Polyhedron
*p
)
44 Polyhedron_PrintConstraints(stdout
, P_VALUE_FMT
, p
);
55 Polyhedron
*A
, *tmp
, *DD
;
60 for( i
=0 ; i
<np
; i
++ )
63 tmp
= Constraints2Polyhedron(a
,WS
);
70 DD
= Disjoint_Domain( A
, 0, WS
);