Main Page | Class List | File List | Class Members | File Members

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 polyhedron::next, 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.


Generated on Mon Sep 12 14:48:30 2005 for polylib by doxygen 1.3.5