polylib 5.22.8
|
Go to the source code of this file.
Macros | |
#define | WS 0 |
Functions | |
void | AffContraintes (Polyhedron *p) |
int | main () |
#define WS 0 |
Definition at line 20 of file disjoint_union_adj.c.
void AffContraintes | ( | Polyhedron * | p | ) |
Definition at line 24 of file disjoint_union_adj.c.
References polyhedron::next, P_VALUE_FMT, and Polyhedron_PrintConstraints().
Referenced by main().
int main | ( | ) |
Definition at line 34 of file disjoint_union_adj.c.
References AffContraintes(), Constraints2Polyhedron(), Disjoint_Domain(), Matrix_Free(), Matrix_Read(), polyhedron::next, and WS.