Main Page   Compound List   File List   Compound Members   File Members  

Zpolytest.c File Reference

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

Go to the source code of this file.

Functions

int main ()

Variables

char s [128]


Function Documentation

int main  
 

Definition at line 10 of file Zpolytest.c.

References AffineHermite(), AffineSmith(), CanonicalForm(), Constraints2Polyhedron(), Domain_Free(), DomainConvex(), DomainUnion(), EmptyLattice(), EmptyZPolyhedron(), isEmptyLattice(), isEmptyZPolyhedron(), LatticeDifference(), LatticeImage(), LatticeIncludes(), LatticeIntersection(), LatticePreimage(), LatticeSimplify(), LatticeUnion_Alloc(), LatticeUnion_Free(), LatticeUnion::M, Matrix_Copy(), Matrix_Free(), Matrix_Print(), Matrix_Read(), ZPolyhedron::next, LatticeUnion::next, P_VALUE_FMT, Polyhedron2Constraints(), PrintLatticeUnion(), s, SolveDiophantine(), SplitZpolyhedron(), Vector_Free(), Vector_Print(), ZDomain_Free(), ZDomainDifference(), ZDomainImage(), ZDomainIntersection(), ZDomainPreimage(), ZDomainPrint(), ZDomainSimplify(), ZDomainUnion(), ZPolyhedron_Alloc(), and ZPolyhedronIncludes().


Variable Documentation

char s[128]
 

Definition at line 8 of file Zpolytest.c.

Referenced by main().


Generated on Mon Mar 15 10:59:52 2004 for polylib by doxygen1.2.18