#include <stdio.h>
#include <stdlib.h>
#include <polylib/polylib.h>
Go to the source code of this file.
Defines | |
#define | WS 0 |
Functions | |
void | AffContraintes (Polyhedron *p) |
int | main () |
|
Definition at line 19 of file disjoint_union_sep.c. |
|
Definition at line 23 of file disjoint_union_sep.c. References polyhedron::next, P_VALUE_FMT, Polyhedron, and Polyhedron_PrintConstraints(). Referenced by main(). |
|
Definition at line 33 of file disjoint_union_sep.c. References AffContraintes(), Constraints2Polyhedron(), Disjoint_Domain(), Domain_Free(), Matrix, Matrix_Free(), Matrix_Read(), polyhedron::next, Polyhedron, and WS. |