Zpolytest.c File Reference

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

Go to the source code of this file.

Macros
#define	WS   0

Functions
int	main ()

Variables
char	s [128]

Macro Definition Documentation

WS

#define WS   0

Definition at line 8 of file Zpolytest.c.

Function Documentation

main()

int main

(

)

Definition at line 12 of file Zpolytest.c.

References AffineHermite(), Constraints2Polyhedron(), Domain_Free(), DomainConvex(), DomainUnion(), EmptyLBL(), isEmptyLBL(), isNormalLattice(), lbl::Lat, LatticeDifference(), LatticeIncluded(), LatticeIntersection(), LatticeUnion_Free(), LBL2ZDomain(), LBLAlloc(), LBLComplement(), LBLDifference(), LBLDisjointUnion(), LBLFree(), LBLImage(), LBLIncluded(), LBLIntersection(), LBLPreimage(), LBLPrint(), LBLSimplify(), LBLSimplifyEmpty(), LBLUnion(), Matrix_Free(), Matrix_Print(), Matrix_Read(), matrix::NbRows, P_VALUE_FMT, Polyhedron2Constraints(), polylib_close(), PrintLatticeUnion(), s, UniverseLBL(), and WS.

Variable Documentation

s

char s[128]

Definition at line 10 of file Zpolytest.c.

Referenced by main().