polylib: Zpolytest.c File Reference

# 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 25 of file Zpolytest.c.

## Function Documentation

int main | ( |  | ) |

Definition at line 29 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(), WS, ZDomain_Free(), ZDomainDifference(), ZDomainImage(), ZDomainIntersection(), ZDomainPreimage(), ZDomainPrint(), ZDomainSimplify(), ZDomainUnion(), ZPolyhedron_Alloc(), and ZPolyhedronIncludes().

## Variable Documentation

char s[128]

Definition at line 27 of file Zpolytest.c.