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 37 of file disjoint_union_adj.c.

---

Function Documentation

void AffContraintes

(

Polyhedron *

p

)

Definition at line 41 of file disjoint_union_adj.c.

References polyhedron::next, P_VALUE_FMT, and Polyhedron_PrintConstraints().

Referenced by main().

int main

(

)

Definition at line 51 of file disjoint_union_adj.c.

References AffContraintes(), Constraints2Polyhedron(), Disjoint_Domain(), Matrix_Free(), Matrix_Read(), polyhedron::next, and WS.