1 <!DOCTYPE HTML PUBLIC
"-//W3C//DTD HTML 4.0 Transitional//EN">
2 <html><head><meta http-equiv=
"Content-Type" content=
"text/html;charset=iso-8859-1">
3 <title>Zpolytest.c File Reference
</title>
4 <link href=
"doxygen.css" rel=
"stylesheet" type=
"text/css">
6 <!-- Generated by Doxygen 1.2.15 -->
8 <a class=
"qindex" href=
"main.html">Main Page
</a> <a class=
"qindex" href=
"annotated.html">Compound List
</a> <a class=
"qindex" href=
"files.html">File List
</a> <a class=
"qindex" href=
"functions.html">Compound Members
</a> <a class=
"qindex" href=
"globals.html">File Members
</a> </center>
9 <hr><h1>Zpolytest.c File Reference
</h1><code>#include
<stdio.h
></code><br>
10 <code>#include
<polylib/polylib.h
></code><br>
13 <a href=
"Zpolytest_8c-source.html">Go to the source code of this file.
</a><table border=
0 cellpadding=
0 cellspacing=
0>
14 <tr><td colspan=
2><br><h2>Functions
</h2></td></tr>
15 <tr><td nowrap align=right valign=top
>int
</td><td valign=bottom
><a class=
"el" href=
"Zpolytest_8c.html#a1">main
</a> ()
</td></tr>
16 <tr><td colspan=
2><br><h2>Variables
</h2></td></tr>
17 <tr><td nowrap align=right valign=top
>char
</td><td valign=bottom
><a class=
"el" href=
"Zpolytest_8c.html#a0">s
</a> [
128]
</td></tr>
19 <hr><h2>Function Documentation
</h2>
20 <a name=
"a1" doxytag=
"Zpolytest.c::main"></a><p>
21 <table width=
"100%" cellpadding=
"2" cellspacing=
"0" border=
"0">
24 <table cellpadding=
"0" cellspacing=
"0" border=
"0">
26 <td class=
"md" nowrap
valign=
"top"> int main
</td>
27 <td class=
"md" valign=
"top">(
</td>
28 <td class=
"mdname1" valign=
"top" nowrap
> </td>
29 <td class=
"md" valign=
"top">)
</td>
30 <td class=
"md" nowrap
></td>
37 <table cellspacing=
5 cellpadding=
0 border=
0>
47 Definition at line
<a class=
"el" href=
"Zpolytest_8c-source.html#l00010">10</a> of file
<a class=
"el" href=
"Zpolytest_8c-source.html">Zpolytest.c
</a>.
49 References
<a class=
"el" href=
"Lattice_8c-source.html#l00159">AffineHermite
</a>(),
<a class=
"el" href=
"Lattice_8c-source.html#l00204">AffineSmith
</a>(),
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00741">CanonicalForm
</a>(),
<a class=
"el" href=
"polyhedron_8c-source.html#l01919">Constraints2Polyhedron
</a>(),
<a class=
"el" href=
"polyhedron_8c-source.html#l01744">Domain_Free
</a>(),
<a class=
"el" href=
"polyhedron_8c-source.html#l03415">DomainConvex
</a>(),
<a class=
"el" href=
"polyhedron_8c-source.html#l03334">DomainUnion
</a>(),
<a class=
"el" href=
"Lattice_8c-source.html#l00078">EmptyLattice
</a>(),
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00243">EmptyZPolyhedron
</a>(),
<a class=
"el" href=
"Lattice_8c-source.html#l00101">isEmptyLattice
</a>(),
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00022">isEmptyZPolyhedron
</a>(),
<a class=
"el" href=
"Lattice_8c-source.html#l00798">LatticeDifference
</a>(),
<a class=
"el" href=
"Lattice_8c-source.html#l01104">LatticeImage
</a>(),
<a class=
"el" href=
"Lattice_8c-source.html#l00324">LatticeIncludes
</a>(),
<a class=
"el" href=
"Lattice_8c-source.html#l00459">LatticeIntersection
</a>(),
<a class=
"el" href=
"Lattice_8c-source.html#l01143">LatticePreimage
</a>(),
<a class=
"el" href=
"Lattice_8c-source.html#l01614">LatticeSimplify
</a>(),
<a class=
"el" href=
"Lattice_8c-source.html#l00043">LatticeUnion_Alloc
</a>(),
<a class=
"el" href=
"Lattice_8c-source.html#l00027">LatticeUnion_Free
</a>(),
<a class=
"el" href=
"Matop_8c-source.html#l00101">Matrix_Copy
</a>(),
<a class=
"el" href=
"matrix_8c-source.html#l00085">Matrix_Free
</a>(),
<a class=
"el" href=
"matrix_8c-source.html#l00109">Matrix_Print
</a>(),
<a class=
"el" href=
"matrix_8c-source.html#l00170">Matrix_Read
</a>(),
<a class=
"el" href=
"polyhedron_8c-source.html#l02015">Polyhedron2Constraints
</a>(),
<a class=
"el" href=
"Lattice_8c-source.html#l00015">PrintLatticeUnion
</a>(),
<a class=
"el" href=
"Zpolytest_8c-source.html#l00008">s
</a>,
<a class=
"el" href=
"SolveDio_8c-source.html#l00064">SolveDiophantine
</a>(),
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00949">SplitZpolyhedron
</a>(),
<a class=
"el" href=
"vector_8c-source.html#l00162">Vector_Free
</a>(),
<a class=
"el" href=
"vector_8c-source.html#l00176">Vector_Print
</a>(),
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00072">ZDomain_Free
</a>(),
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00412">ZDomainDifference
</a>(),
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00466">ZDomainImage
</a>(),
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00375">ZDomainIntersection
</a>(),
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00494">ZDomainPreimage
</a>(),
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00317">ZDomainPrint
</a>(),
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00865">ZDomainSimplify
</a>(),
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00353">ZDomainUnion
</a>(),
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00037">ZPolyhedron_Alloc
</a>(), and
<a class=
"el" href=
"Zpolyhedron_8c-source.html#l00285">ZPolyhedronIncludes
</a>().
</td>
52 <hr><h2>Variable Documentation
</h2>
53 <a name=
"a0" doxytag=
"Zpolytest.c::s"></a><p>
54 <table width=
"100%" cellpadding=
"2" cellspacing=
"0" border=
"0">
57 <table cellpadding=
"0" cellspacing=
"0" border=
"0">
59 <td class=
"md" nowrap
valign=
"top"> char s[
128]
64 <table cellspacing=
5 cellpadding=
0 border=
0>
74 Definition at line
<a class=
"el" href=
"Zpolytest_8c-source.html#l00008">8</a> of file
<a class=
"el" href=
"Zpolytest_8c-source.html">Zpolytest.c
</a>.
76 Referenced by
<a class=
"el" href=
"Zpolytest_8c-source.html#l00010">main
</a>().
</td>
79 <hr><address align=
"right"><small>Generated on Fri Nov
8 12:
10:
07 2002 for Polylib by
80 <a href=
"http://www.doxygen.org/index.html">
81 <img src=
"doxygen.png" alt=
"doxygen" align=
"middle" border=
0
82 width=
110 height=
53></a>1.2.15 </small></address>