example.c File Reference

#include <polylib/polylib.h>

Go to the source code of this file.

Functions
int	main ()

Function Documentation

main()

int main

(

)

Definition at line 14 of file example.c.

References Constraints2Polyhedron(), Domain_Free(), Matrix_Free(), Matrix_Read(), P_VALUE_FMT, ZDomain_Free(), ZDomainImage(), ZDomainIntersection(), ZDomainPrint(), and ZPolyhedron_Alloc().