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

testlib.c File Reference

#include <stdio.h>
#include <polylib/polylib.h>

Go to the source code of this file.

Functions

int main ()


Function Documentation

int main  ) 
 

Definition at line 38 of file testlib.c.

References Constraints2Polyhedron(), Domain_Free(), DomainIntersection(), Matrix, Matrix_Free(), Matrix_Print(), Matrix_Read(), P_VALUE_FMT, Polyhedron, Polyhedron2Constraints(), Polyhedron_Preimage(), Polyhedron_Print(), and PolyhedronIncludes().


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