doc/codeDoc/html/verif__ehrhart_8c.html

   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>verif_ehrhart.c File Reference</title>
   4 <link href="doxygen.css" rel="stylesheet" type="text/css">
   5 </head><body>
   6 <!-- Generated by Doxygen 1.2.15 -->
   7 <center>
   8 <a class="qindex" href="main.html">Main Page</a> &nbsp; <a class="qindex" href="annotated.html">Compound List</a> &nbsp; <a class="qindex" href="files.html">File List</a> &nbsp; <a class="qindex" href="functions.html">Compound Members</a> &nbsp; <a class="qindex" href="globals.html">File Members</a> &nbsp; </center>
   9 <hr><h1>verif_ehrhart.c File Reference</h1><code>#include &lt;stdio.h&gt;</code><br>
  10 <code>#include &lt;string.h&gt;</code><br>
  11 <code>#include &lt;stdlib.h&gt;</code><br>
  12 <code>#include &lt;polylib/polylib.h&gt;</code><br>
  13
  14 <p>
  15 <a href="verif__ehrhart_8c-source.html">Go to the source code of this file.</a><table border=0 cellpadding=0 cellspacing=0>
  16 <tr><td colspan=2><br><h2>Defines</h2></td></tr>
  17 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="verif__ehrhart_8c.html#a0">MAXRAYS</a>&nbsp;&nbsp;&nbsp;1024</td></tr>
  18 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="verif__ehrhart_8c.html#a1">RANGE</a>&nbsp;&nbsp;&nbsp;50</td></tr>
  19 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="verif__ehrhart_8c.html#a2">SRANGE</a>&nbsp;&nbsp;&nbsp;15</td></tr>
  20 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="verif__ehrhart_8c.html#a3">BIGDIM</a>&nbsp;&nbsp;&nbsp;5</td></tr>
  21 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="verif__ehrhart_8c.html#a4">VSRANGE</a>&nbsp;&nbsp;&nbsp;5</td></tr>
  22 <tr><td nowrap align=right valign=top>#define&nbsp;</td><td valign=bottom><a class="el" href="verif__ehrhart_8c.html#a5">VBIGDIM</a>&nbsp;&nbsp;&nbsp;8</td></tr>
  23 <tr><td colspan=2><br><h2>Functions</h2></td></tr>
  24 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="verif__ehrhart_8c.html#a9">check_poly</a> (Polyhedron *S, Polyhedron *C, Enumeration *en, int nparam, int pos, <a class="el" href="arithmetique_8h.html#a93">Value</a> *z)</td></tr>
  25 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="verif__ehrhart_8c.html#a10">main</a> (int argc, char *argv[])</td></tr>
  26 <tr><td colspan=2><br><h2>Variables</h2></td></tr>
  27 <tr><td nowrap align=right valign=top><a class="el" href="arithmetique_8h.html#a93">Value</a>&nbsp;</td><td valign=bottom><a class="el" href="verif__ehrhart_8c.html#a6">min</a></td></tr>
  28 <tr><td nowrap align=right valign=top><a class="el" href="arithmetique_8h.html#a93">Value</a>&nbsp;</td><td valign=bottom><a class="el" href="verif__ehrhart_8c.html#a7">max</a></td></tr>
  29 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="verif__ehrhart_8c.html#a8">st</a></td></tr>
  30 </table>
  31 <hr><h2>Define Documentation</h2>
  32 <a name="a3" doxytag="verif_ehrhart.c::BIGDIM"></a><p>
  33 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  34   <tr>
  35     <td class="md">
  36       <table cellpadding="0" cellspacing="0" border="0">
  37         <tr>
  38           <td class="md" nowrap valign="top"> #define BIGDIM&nbsp;&nbsp;&nbsp;5
  39       </table>
  40     </td>
  41   </tr>
  42 </table>
  43 <table cellspacing=5 cellpadding=0 border=0>
  44   <tr>
  45     <td>
  46       &nbsp;
  47     </td>
  48     <td>
  49
  50 <p>
  51
  52 <p>
  53 Definition at line <a class="el" href="verif__ehrhart_8c-source.html#l00035">35</a> of file <a class="el" href="verif__ehrhart_8c-source.html">verif_ehrhart.c</a>.
  54 <p>
  55 Referenced by <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</a>().    </td>
  56   </tr>
  57 </table>
  58 <a name="a0" doxytag="verif_ehrhart.c::MAXRAYS"></a><p>
  59 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  60   <tr>
  61     <td class="md">
  62       <table cellpadding="0" cellspacing="0" border="0">
  63         <tr>
  64           <td class="md" nowrap valign="top"> #define MAXRAYS&nbsp;&nbsp;&nbsp;1024
  65       </table>
  66     </td>
  67   </tr>
  68 </table>
  69 <table cellspacing=5 cellpadding=0 border=0>
  70   <tr>
  71     <td>
  72       &nbsp;
  73     </td>
  74     <td>
  75
  76 <p>
  77
  78 <p>
  79 Definition at line <a class="el" href="verif__ehrhart_8c-source.html#l00020">20</a> of file <a class="el" href="verif__ehrhart_8c-source.html">verif_ehrhart.c</a>.
  80 <p>
  81 Referenced by <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</a>(), <a class="el" href="alpha_8c-source.html#l00087">Polyhedron_Not_Empty</a>(), and <a class="el" href="alpha_8c-source.html#l00505">PolyhedronTSort</a>().    </td>
  82   </tr>
  83 </table>
  84 <a name="a1" doxytag="verif_ehrhart.c::RANGE"></a><p>
  85 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  86   <tr>
  87     <td class="md">
  88       <table cellpadding="0" cellspacing="0" border="0">
  89         <tr>
  90           <td class="md" nowrap valign="top"> #define RANGE&nbsp;&nbsp;&nbsp;50
  91       </table>
  92     </td>
  93   </tr>
  94 </table>
  95 <table cellspacing=5 cellpadding=0 border=0>
  96   <tr>
  97     <td>
  98       &nbsp;
  99     </td>
 100     <td>
 101
 102 <p>
 103
 104 <p>
 105 Definition at line <a class="el" href="verif__ehrhart_8c-source.html#l00029">29</a> of file <a class="el" href="verif__ehrhart_8c-source.html">verif_ehrhart.c</a>.
 106 <p>
 107 Referenced by <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</a>().    </td>
 108   </tr>
 109 </table>
 110 <a name="a2" doxytag="verif_ehrhart.c::SRANGE"></a><p>
 111 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 112   <tr>
 113     <td class="md">
 114       <table cellpadding="0" cellspacing="0" border="0">
 115         <tr>
 116           <td class="md" nowrap valign="top"> #define SRANGE&nbsp;&nbsp;&nbsp;15
 117       </table>
 118     </td>
 119   </tr>
 120 </table>
 121 <table cellspacing=5 cellpadding=0 border=0>
 122   <tr>
 123     <td>
 124       &nbsp;
 125     </td>
 126     <td>
 127
 128 <p>
 129
 130 <p>
 131 Definition at line <a class="el" href="verif__ehrhart_8c-source.html#l00032">32</a> of file <a class="el" href="verif__ehrhart_8c-source.html">verif_ehrhart.c</a>.
 132 <p>
 133 Referenced by <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</a>().    </td>
 134   </tr>
 135 </table>
 136 <a name="a5" doxytag="verif_ehrhart.c::VBIGDIM"></a><p>
 137 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 138   <tr>
 139     <td class="md">
 140       <table cellpadding="0" cellspacing="0" border="0">
 141         <tr>
 142           <td class="md" nowrap valign="top"> #define VBIGDIM&nbsp;&nbsp;&nbsp;8
 143       </table>
 144     </td>
 145   </tr>
 146 </table>
 147 <table cellspacing=5 cellpadding=0 border=0>
 148   <tr>
 149     <td>
 150       &nbsp;
 151     </td>
 152     <td>
 153
 154 <p>
 155
 156 <p>
 157 Definition at line <a class="el" href="verif__ehrhart_8c-source.html#l00041">41</a> of file <a class="el" href="verif__ehrhart_8c-source.html">verif_ehrhart.c</a>.
 158 <p>
 159 Referenced by <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</a>().    </td>
 160   </tr>
 161 </table>
 162 <a name="a4" doxytag="verif_ehrhart.c::VSRANGE"></a><p>
 163 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 164   <tr>
 165     <td class="md">
 166       <table cellpadding="0" cellspacing="0" border="0">
 167         <tr>
 168           <td class="md" nowrap valign="top"> #define VSRANGE&nbsp;&nbsp;&nbsp;5
 169       </table>
 170     </td>
 171   </tr>
 172 </table>
 173 <table cellspacing=5 cellpadding=0 border=0>
 174   <tr>
 175     <td>
 176       &nbsp;
 177     </td>
 178     <td>
 179
 180 <p>
 181
 182 <p>
 183 Definition at line <a class="el" href="verif__ehrhart_8c-source.html#l00038">38</a> of file <a class="el" href="verif__ehrhart_8c-source.html">verif_ehrhart.c</a>.
 184 <p>
 185 Referenced by <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</a>().    </td>
 186   </tr>
 187 </table>
 188 <hr><h2>Function Documentation</h2>
 189 <a name="a9" doxytag="verif_ehrhart.c::check_poly"></a><p>
 190 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 191   <tr>
 192     <td class="md">
 193       <table cellpadding="0" cellspacing="0" border="0">
 194         <tr>
 195           <td class="md" nowrap valign="top"> int check_poly </td>
 196           <td class="md" valign="top">(&nbsp;</td>
 197           <td class="md" nowrap valign="top">Polyhedron *&nbsp;</td>
 198           <td class="mdname" nowrap>&nbsp; <em>S</em>, </td>
 199         </tr>
 200         <tr>
 201           <td></td>
 202           <td></td>
 203           <td class="md" nowrap>Polyhedron *&nbsp;</td>
 204           <td class="mdname" nowrap>&nbsp; <em>C</em>, </td>
 205         </tr>
 206         <tr>
 207           <td></td>
 208           <td></td>
 209           <td class="md" nowrap>Enumeration *&nbsp;</td>
 210           <td class="mdname" nowrap>&nbsp; <em>en</em>, </td>
 211         </tr>
 212         <tr>
 213           <td></td>
 214           <td></td>
 215           <td class="md" nowrap>int&nbsp;</td>
 216           <td class="mdname" nowrap>&nbsp; <em>nparam</em>, </td>
 217         </tr>
 218         <tr>
 219           <td></td>
 220           <td></td>
 221           <td class="md" nowrap>int&nbsp;</td>
 222           <td class="mdname" nowrap>&nbsp; <em>pos</em>, </td>
 223         </tr>
 224         <tr>
 225           <td></td>
 226           <td></td>
 227           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
 228           <td class="mdname" nowrap>&nbsp; <em>z</em></td>
 229         </tr>
 230         <tr>
 231           <td></td>
 232           <td class="md">)&nbsp;</td>
 233           <td class="md" colspan="2"></td>
 234         </tr>
 235
 236       </table>
 237     </td>
 238   </tr>
 239 </table>
 240 <table cellspacing=5 cellpadding=0 border=0>
 241   <tr>
 242     <td>
 243       &nbsp;
 244     </td>
 245     <td>
 246
 247 <p>
 248
 249 <p>
 250 Definition at line <a class="el" href="verif__ehrhart_8c-source.html#l00061">61</a> of file <a class="el" href="verif__ehrhart_8c-source.html">verif_ehrhart.c</a>.
 251 <p>
 252 References <a class="el" href="verif__ehrhart_8c-source.html#l00043">max</a>, <a class="el" href="verif__ehrhart_8c-source.html#l00043">min</a>, <a class="el" href="verif__ehrhart_8c-source.html#l00050">st</a>, <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>, <a class="el" href="arithmetique_8h-source.html#l00322">value_clear</a>, <a class="el" href="arithmetique_8h-source.html#l00230">VALUE_FMT</a>, <a class="el" href="arithmetique_8h-source.html#l00369">value_increment</a>, <a class="el" href="arithmetique_8h-source.html#l00318">value_init</a>, <a class="el" href="arithmetique_8h-source.html#l00342">value_le</a>, <a class="el" href="arithmetique_8h-source.html#l00338">value_ne</a>, <a class="el" href="arithmetique_8h-source.html#l00324">value_print</a>, <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>, and <a class="el" href="arithmetique_8h-source.html#l00237">VALUE_TO_INT</a>.
 253 <p>
 254 Referenced by <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</a>().    </td>
 255   </tr>
 256 </table>
 257 <a name="a10" doxytag="verif_ehrhart.c::main"></a><p>
 258 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 259   <tr>
 260     <td class="md">
 261       <table cellpadding="0" cellspacing="0" border="0">
 262         <tr>
 263           <td class="md" nowrap valign="top"> int main </td>
 264           <td class="md" valign="top">(&nbsp;</td>
 265           <td class="md" nowrap valign="top">int&nbsp;</td>
 266           <td class="mdname" nowrap>&nbsp; <em>argc</em>, </td>
 267         </tr>
 268         <tr>
 269           <td></td>
 270           <td></td>
 271           <td class="md" nowrap>char *&nbsp;</td>
 272           <td class="mdname" nowrap>&nbsp; <em>argv</em>[]</td>
 273         </tr>
 274         <tr>
 275           <td></td>
 276           <td class="md">)&nbsp;</td>
 277           <td class="md" colspan="2"></td>
 278         </tr>
 279
 280       </table>
 281     </td>
 282   </tr>
 283 </table>
 284 <table cellspacing=5 cellpadding=0 border=0>
 285   <tr>
 286     <td>
 287       &nbsp;
 288     </td>
 289     <td>
 290
 291 <p>
 292
 293 <p>
 294 Definition at line <a class="el" href="verif__ehrhart_8c-source.html#l00148">148</a> of file <a class="el" href="verif__ehrhart_8c-source.html">verif_ehrhart.c</a>.
 295 <p>
 296 References <a class="el" href="polyhedron_8c-source.html#l03498">align_context</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00035">BIGDIM</a>, <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</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#l02476">DomainIntersection</a>(), <a class="el" href="matrix_8c-source.html#l00028">Matrix_Alloc</a>(), <a class="el" href="matrix_8c-source.html#l00085">Matrix_Free</a>(), <a class="el" href="matrix_8c-source.html#l00170">Matrix_Read</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00043">max</a>, <a class="el" href="verif__ehrhart_8c-source.html#l00020">MAXRAYS</a>, <a class="el" href="verif__ehrhart_8c-source.html#l00043">min</a>, <a class="el" href="polyhedron_8c-source.html#l03838">Polyhedron_Image</a>(), <a class="el" href="polyhedron_8c-source.html#l03570">Polyhedron_Scan</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00029">RANGE</a>, <a class="el" href="verif__ehrhart_8c-source.html#l00032">SRANGE</a>, <a class="el" href="verif__ehrhart_8c-source.html#l00050">st</a>, <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00322">value_clear</a>, <a class="el" href="arithmetique_8h-source.html#l00318">value_init</a>, <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>, <a class="el" href="arithmetique_8h-source.html#l00372">value_substract</a>, <a class="el" href="arithmetique_8h-source.html#l00237">VALUE_TO_INT</a>, <a class="el" href="verif__ehrhart_8c-source.html#l00041">VBIGDIM</a>, and <a class="el" href="verif__ehrhart_8c-source.html#l00038">VSRANGE</a>.    </td>
 297   </tr>
 298 </table>
 299 <hr><h2>Variable Documentation</h2>
 300 <a name="a7" doxytag="verif_ehrhart.c::max"></a><p>
 301 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 302   <tr>
 303     <td class="md">
 304       <table cellpadding="0" cellspacing="0" border="0">
 305         <tr>
 306           <td class="md" nowrap valign="top"> <a class="el" href="arithmetique_8h.html#a93">Value</a> max
 307       </table>
 308     </td>
 309   </tr>
 310 </table>
 311 <table cellspacing=5 cellpadding=0 border=0>
 312   <tr>
 313     <td>
 314       &nbsp;
 315     </td>
 316     <td>
 317
 318 <p>
 319
 320 <p>
 321 Definition at line <a class="el" href="verif__ehrhart_8c-source.html#l00043">43</a> of file <a class="el" href="verif__ehrhart_8c-source.html">verif_ehrhart.c</a>.
 322 <p>
 323 Referenced by <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</a>(), and <a class="el" href="vector_8c-source.html#l00385">Vector_Max</a>().    </td>
 324   </tr>
 325 </table>
 326 <a name="a6" doxytag="verif_ehrhart.c::min"></a><p>
 327 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 328   <tr>
 329     <td class="md">
 330       <table cellpadding="0" cellspacing="0" border="0">
 331         <tr>
 332           <td class="md" nowrap valign="top"> <a class="el" href="arithmetique_8h.html#a93">Value</a> min
 333       </table>
 334     </td>
 335   </tr>
 336 </table>
 337 <table cellspacing=5 cellpadding=0 border=0>
 338   <tr>
 339     <td>
 340       &nbsp;
 341     </td>
 342     <td>
 343
 344 <p>
 345
 346 <p>
 347 Definition at line <a class="el" href="verif__ehrhart_8c-source.html#l00043">43</a> of file <a class="el" href="verif__ehrhart_8c-source.html">verif_ehrhart.c</a>.
 348 <p>
 349 Referenced by <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</a>(), <a class="el" href="SolveDio_8c-source.html#l00233">RearrangeMatforSolveDio</a>(), <a class="el" href="SolveDio_8c-source.html#l00064">SolveDiophantine</a>(), <a class="el" href="vector_8c-source.html#l00513">Vector_Gcd</a>(), <a class="el" href="vector_8c-source.html#l00402">Vector_Min</a>(), and <a class="el" href="vector_8c-source.html#l00475">Vector_Min_Not_Zero</a>().    </td>
 350   </tr>
 351 </table>
 352 <a name="a8" doxytag="verif_ehrhart.c::st"></a><p>
 353 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 354   <tr>
 355     <td class="md">
 356       <table cellpadding="0" cellspacing="0" border="0">
 357         <tr>
 358           <td class="md" nowrap valign="top"> int st
 359       </table>
 360     </td>
 361   </tr>
 362 </table>
 363 <table cellspacing=5 cellpadding=0 border=0>
 364   <tr>
 365     <td>
 366       &nbsp;
 367     </td>
 368     <td>
 369
 370 <p>
 371
 372 <p>
 373 Definition at line <a class="el" href="verif__ehrhart_8c-source.html#l00050">50</a> of file <a class="el" href="verif__ehrhart_8c-source.html">verif_ehrhart.c</a>.
 374 <p>
 375 Referenced by <a class="el" href="verif__ehrhart_8c-source.html#l00061">check_poly</a>(), and <a class="el" href="verif__ehrhart_8c-source.html#l00148">main</a>().    </td>
 376   </tr>
 377 </table>
 378 <hr><address align="right"><small>Generated on Fri Nov 8 12:10:07 2002 for Polylib by
 379 <a href="http://www.doxygen.org/index.html">
 380 <img src="doxygen.png" alt="doxygen" align="middle" border=0
 381 width=110 height=53></a>1.2.15 </small></address>
 382 </body>
 383 </html>