#include <stdio.h>
#include <polylib/polylib.h>
Go to the source code of this file.
Functions | |
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(). |