disjoint_union_adj.c File Reference

#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 ()

---

Define Documentation

#define WS   0

Definition at line 20 of file disjoint_union_adj.c.

---

Function Documentation

void AffContraintes (  Polyhedron *  p  )

Definition at line 24 of file disjoint_union_adj.c. References p, P_VALUE_FMT, Polyhedron, and Polyhedron_PrintConstraints().

int main (   )

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.

---