polylib: disjoint_union_adj.c File Reference

# 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.