#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 20 of file disjoint_union_adj.c. |
|
Definition at line 24 of file disjoint_union_adj.c. References polyhedron::next, P_VALUE_FMT, Polyhedron, and Polyhedron_PrintConstraints(). |
|
Definition at line 34 of file disjoint_union_adj.c. References AffContraintes(), Constraints2Polyhedron(), Disjoint_Domain(), Matrix, Matrix_Free(), Matrix_Read(), polyhedron::next, Polyhedron, and WS. |