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

Zpolytest.c File Reference

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

Go to the source code of this file.

Defines

#define WS   0

Functions

int main ()

Variables

char s [128]


Define Documentation

#define WS   0
 

Definition at line 8 of file Zpolytest.c.


Function Documentation

int main  ) 
 

Definition at line 12 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, Matrix_Copy(), Matrix_Free(), Matrix_Print(), Matrix_Read(), ZPolyhedron::next, LatticeUnion::next, P_VALUE_FMT, Polyhedron, Polyhedron2Constraints(), PrintLatticeUnion(), s, SolveDiophantine(), SplitZpolyhedron(), Vector_Free(), Vector_Print(), WS, ZDomain_Free(), ZDomainDifference(), ZDomainImage(), ZDomainIntersection(), ZDomainPreimage(), ZDomainPrint(), ZDomainSimplify(), ZDomainUnion(), ZPolyhedron_Alloc(), and ZPolyhedronIncludes().


Variable Documentation

char s[128]
 

Definition at line 10 of file Zpolytest.c.


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