doc/codeDoc/html/alpha_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>alpha.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>alpha.c File Reference</h1><code>#include &lt;stdio.h&gt;</code><br>
  10 <code>#include &lt;polylib/polylib.h&gt;</code><br>
  11 <code>#include &lt;stdlib.h&gt;</code><br>
  12 <code>#include &lt;string.h&gt;</code><br>
  13
  14 <p>
  15 <a href="alpha_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>Functions</h2></td></tr>
  17 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="alpha_8c.html#a0">exist_points</a> (int pos, Polyhedron *Pol, <a class="el" href="arithmetique_8h.html#a93">Value</a> *context)</td></tr>
  18 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="alpha_8c.html#a1">Polyhedron_Not_Empty</a> (Polyhedron *P, Polyhedron *C, int MAXRAYS)</td></tr>
  19 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="alpha_8c.html#a2">PolyhedronLTQ</a> (Polyhedron *Pol1, Polyhedron *Pol2, int INDEX, int PDIM, int NbMaxConstrs)</td></tr>
  20 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="alpha_8c.html#a3">GaussSimplify</a> (Matrix *Mat1, Matrix *Mat2)</td></tr>
  21 <tr><td nowrap align=right valign=top>int&nbsp;</td><td valign=bottom><a class="el" href="alpha_8c.html#a4">PolyhedronTSort</a> (Polyhedron **L, unsigned int <a class="el" href="polyparam_8c.html#a2">n</a>, unsigned int index, unsigned int pdim, int *time, int *pvect, unsigned int MAXRAYS)</td></tr>
  22 </table>
  23 <hr><h2>Function Documentation</h2>
  24 <a name="a0" doxytag="alpha.c::exist_points"></a><p>
  25 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  26   <tr>
  27     <td class="md">
  28       <table cellpadding="0" cellspacing="0" border="0">
  29         <tr>
  30           <td class="md" nowrap valign="top"> int exist_points </td>
  31           <td class="md" valign="top">(&nbsp;</td>
  32           <td class="md" nowrap valign="top">int&nbsp;</td>
  33           <td class="mdname" nowrap>&nbsp; <em>pos</em>, </td>
  34         </tr>
  35         <tr>
  36           <td></td>
  37           <td></td>
  38           <td class="md" nowrap>Polyhedron *&nbsp;</td>
  39           <td class="mdname" nowrap>&nbsp; <em>Pol</em>, </td>
  40         </tr>
  41         <tr>
  42           <td></td>
  43           <td></td>
  44           <td class="md" nowrap><a class="el" href="arithmetique_8h.html#a93">Value</a> *&nbsp;</td>
  45           <td class="mdname" nowrap>&nbsp; <em>context</em></td>
  46         </tr>
  47         <tr>
  48           <td></td>
  49           <td class="md">)&nbsp;</td>
  50           <td class="md" colspan="2"><code> [static]</code></td>
  51         </tr>
  52
  53       </table>
  54     </td>
  55   </tr>
  56 </table>
  57 <table cellspacing=5 cellpadding=0 border=0>
  58   <tr>
  59     <td>
  60       &nbsp;
  61     </td>
  62     <td>
  63
  64 <p>
  65
  66 <p>
  67 Definition at line <a class="el" href="alpha_8c-source.html#l00032">32</a> of file <a class="el" href="alpha_8c-source.html">alpha.c</a>.
  68 <p>
  69 References <a class="el" href="errormsg_8c-source.html#l00028">errormsg1</a>(), <a class="el" href="polyhedron_8c-source.html#l03625">lower_upper_bounds</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#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#l00341">value_lt</a>, <a class="el" href="arithmetique_8h-source.html#l00397">value_pos_p</a>, <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>, and <a class="el" href="arithmetique_8h-source.html#l00372">value_substract</a>.
  70 <p>
  71 Referenced by <a class="el" href="alpha_8c-source.html#l00087">Polyhedron_Not_Empty</a>().    </td>
  72   </tr>
  73 </table>
  74 <a name="a3" doxytag="alpha.c::GaussSimplify"></a><p>
  75 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  76   <tr>
  77     <td class="md">
  78       <table cellpadding="0" cellspacing="0" border="0">
  79         <tr>
  80           <td class="md" nowrap valign="top"> int GaussSimplify </td>
  81           <td class="md" valign="top">(&nbsp;</td>
  82           <td class="md" nowrap valign="top">Matrix *&nbsp;</td>
  83           <td class="mdname" nowrap>&nbsp; <em>Mat1</em>, </td>
  84         </tr>
  85         <tr>
  86           <td></td>
  87           <td></td>
  88           <td class="md" nowrap>Matrix *&nbsp;</td>
  89           <td class="mdname" nowrap>&nbsp; <em>Mat2</em></td>
  90         </tr>
  91         <tr>
  92           <td></td>
  93           <td class="md">)&nbsp;</td>
  94           <td class="md" colspan="2"></td>
  95         </tr>
  96
  97       </table>
  98     </td>
  99   </tr>
 100 </table>
 101 <table cellspacing=5 cellpadding=0 border=0>
 102   <tr>
 103     <td>
 104       &nbsp;
 105     </td>
 106     <td>
 107
 108 <p>
 109
 110 <p>
 111 Definition at line <a class="el" href="alpha_8c-source.html#l00357">357</a> of file <a class="el" href="alpha_8c-source.html">alpha.c</a>.
 112 <p>
 113 References <a class="el" href="errormsg_8c-source.html#l00028">errormsg1</a>(), <a class="el" href="vector_8c-source.html#l00099">Gcd</a>(), <a class="el" href="arithmetique_8h-source.html#l00229">Value</a>, <a class="el" href="arithmetique_8h-source.html#l00379">value_absolute</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#l00375">value_division</a>, <a class="el" href="arithmetique_8h-source.html#l00340">value_ge</a>, <a class="el" href="arithmetique_8h-source.html#l00318">value_init</a>, <a class="el" href="arithmetique_8h-source.html#l00398">value_neg_p</a>, <a class="el" href="arithmetique_8h-source.html#l00404">value_notone_p</a>, <a class="el" href="arithmetique_8h-source.html#l00402">value_notzero_p</a>, <a class="el" href="arithmetique_8h-source.html#l00403">value_one_p</a>, <a class="el" href="arithmetique_8h-source.html#l00378">value_oppose</a>, <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>, <a class="el" href="arithmetique_8h-source.html#l00401">value_zero_p</a>, <a class="el" href="vector_8c-source.html#l00422">Vector_Combine</a>(), <a class="el" href="vector_8c-source.html#l00239">Vector_Exchange</a>(), <a class="el" href="vector_8c-source.html#l00513">Vector_Gcd</a>(), and <a class="el" href="vector_8c-source.html#l00582">Vector_Normalize</a>().
 114 <p>
 115 Referenced by <a class="el" href="polytest_8c-source.html#l00008">main</a>().    </td>
 116   </tr>
 117 </table>
 118 <a name="a1" doxytag="alpha.c::Polyhedron_Not_Empty"></a><p>
 119 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 120   <tr>
 121     <td class="md">
 122       <table cellpadding="0" cellspacing="0" border="0">
 123         <tr>
 124           <td class="md" nowrap valign="top"> int Polyhedron_Not_Empty </td>
 125           <td class="md" valign="top">(&nbsp;</td>
 126           <td class="md" nowrap valign="top">Polyhedron *&nbsp;</td>
 127           <td class="mdname" nowrap>&nbsp; <em>P</em>, </td>
 128         </tr>
 129         <tr>
 130           <td></td>
 131           <td></td>
 132           <td class="md" nowrap>Polyhedron *&nbsp;</td>
 133           <td class="mdname" nowrap>&nbsp; <em>C</em>, </td>
 134         </tr>
 135         <tr>
 136           <td></td>
 137           <td></td>
 138           <td class="md" nowrap>int&nbsp;</td>
 139           <td class="mdname" nowrap>&nbsp; <em>MAXRAYS</em></td>
 140         </tr>
 141         <tr>
 142           <td></td>
 143           <td class="md">)&nbsp;</td>
 144           <td class="md" colspan="2"></td>
 145         </tr>
 146
 147       </table>
 148     </td>
 149   </tr>
 150 </table>
 151 <table cellspacing=5 cellpadding=0 border=0>
 152   <tr>
 153     <td>
 154       &nbsp;
 155     </td>
 156     <td>
 157
 158 <p>
 159
 160 <p>
 161 Definition at line <a class="el" href="alpha_8c-source.html#l00087">87</a> of file <a class="el" href="alpha_8c-source.html">alpha.c</a>.
 162 <p>
 163 References <a class="el" href="polyhedron_8c-source.html#l01744">Domain_Free</a>(), <a class="el" href="alpha_8c-source.html#l00032">exist_points</a>(), <a class="el" href="verif__ehrhart_8c-source.html#l00020">MAXRAYS</a>, <a class="el" href="polyhedron_8c-source.html#l03570">Polyhedron_Scan</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>, and <a class="el" href="vector_8c-source.html#l00223">Vector_Set</a>().
 164 <p>
 165 Referenced by <a class="el" href="polytest_8c-source.html#l00008">main</a>().    </td>
 166   </tr>
 167 </table>
 168 <a name="a2" doxytag="alpha.c::PolyhedronLTQ"></a><p>
 169 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 170   <tr>
 171     <td class="md">
 172       <table cellpadding="0" cellspacing="0" border="0">
 173         <tr>
 174           <td class="md" nowrap valign="top"> int PolyhedronLTQ </td>
 175           <td class="md" valign="top">(&nbsp;</td>
 176           <td class="md" nowrap valign="top">Polyhedron *&nbsp;</td>
 177           <td class="mdname" nowrap>&nbsp; <em>Pol1</em>, </td>
 178         </tr>
 179         <tr>
 180           <td></td>
 181           <td></td>
 182           <td class="md" nowrap>Polyhedron *&nbsp;</td>
 183           <td class="mdname" nowrap>&nbsp; <em>Pol2</em>, </td>
 184         </tr>
 185         <tr>
 186           <td></td>
 187           <td></td>
 188           <td class="md" nowrap>int&nbsp;</td>
 189           <td class="mdname" nowrap>&nbsp; <em>INDEX</em>, </td>
 190         </tr>
 191         <tr>
 192           <td></td>
 193           <td></td>
 194           <td class="md" nowrap>int&nbsp;</td>
 195           <td class="mdname" nowrap>&nbsp; <em>PDIM</em>, </td>
 196         </tr>
 197         <tr>
 198           <td></td>
 199           <td></td>
 200           <td class="md" nowrap>int&nbsp;</td>
 201           <td class="mdname" nowrap>&nbsp; <em>NbMaxConstrs</em></td>
 202         </tr>
 203         <tr>
 204           <td></td>
 205           <td class="md">)&nbsp;</td>
 206           <td class="md" colspan="2"></td>
 207         </tr>
 208
 209       </table>
 210     </td>
 211   </tr>
 212 </table>
 213 <table cellspacing=5 cellpadding=0 border=0>
 214   <tr>
 215     <td>
 216       &nbsp;
 217     </td>
 218     <td>
 219
 220 <p>
 221
 222 <p>
 223 Definition at line <a class="el" href="alpha_8c-source.html#l00122">122</a> of file <a class="el" href="alpha_8c-source.html">alpha.c</a>.
 224 <p>
 225 References <a class="el" href="polyhedron_8c-source.html#l02209">AddConstraints</a>(), <a class="el" href="polyhedron_8c-source.html#l02528">AddRays</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="errormsg_8c-source.html#l00028">errormsg1</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#l00109">Matrix_Print</a>(), <a class="el" href="polyhedron_8c-source.html#l01767">Polyhedron_Print</a>(), <a class="el" href="arithmetique_8h-source.html#l00319">value_assign</a>, <a class="el" href="arithmetique_8h-source.html#l00398">value_neg_p</a>, <a class="el" href="arithmetique_8h-source.html#l00403">value_one_p</a>, <a class="el" href="arithmetique_8h-source.html#l00378">value_oppose</a>, <a class="el" href="arithmetique_8h-source.html#l00397">value_pos_p</a>, <a class="el" href="arithmetique_8h-source.html#l00320">value_set_si</a>, <a class="el" href="arithmetique_8h-source.html#l00401">value_zero_p</a>, and <a class="el" href="vector_8c-source.html#l00223">Vector_Set</a>().
 226 <p>
 227 Referenced by <a class="el" href="polytest_8c-source.html#l00008">main</a>(), and <a class="el" href="alpha_8c-source.html#l00505">PolyhedronTSort</a>().    </td>
 228   </tr>
 229 </table>
 230 <a name="a4" doxytag="alpha.c::PolyhedronTSort"></a><p>
 231 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 232   <tr>
 233     <td class="md">
 234       <table cellpadding="0" cellspacing="0" border="0">
 235         <tr>
 236           <td class="md" nowrap valign="top"> int PolyhedronTSort </td>
 237           <td class="md" valign="top">(&nbsp;</td>
 238           <td class="md" nowrap valign="top">Polyhedron **&nbsp;</td>
 239           <td class="mdname" nowrap>&nbsp; <em>L</em>, </td>
 240         </tr>
 241         <tr>
 242           <td></td>
 243           <td></td>
 244           <td class="md" nowrap>unsigned int&nbsp;</td>
 245           <td class="mdname" nowrap>&nbsp; <em>n</em>, </td>
 246         </tr>
 247         <tr>
 248           <td></td>
 249           <td></td>
 250           <td class="md" nowrap>unsigned int&nbsp;</td>
 251           <td class="mdname" nowrap>&nbsp; <em>index</em>, </td>
 252         </tr>
 253         <tr>
 254           <td></td>
 255           <td></td>
 256           <td class="md" nowrap>unsigned int&nbsp;</td>
 257           <td class="mdname" nowrap>&nbsp; <em>pdim</em>, </td>
 258         </tr>
 259         <tr>
 260           <td></td>
 261           <td></td>
 262           <td class="md" nowrap>int *&nbsp;</td>
 263           <td class="mdname" nowrap>&nbsp; <em>time</em>, </td>
 264         </tr>
 265         <tr>
 266           <td></td>
 267           <td></td>
 268           <td class="md" nowrap>int *&nbsp;</td>
 269           <td class="mdname" nowrap>&nbsp; <em>pvect</em>, </td>
 270         </tr>
 271         <tr>
 272           <td></td>
 273           <td></td>
 274           <td class="md" nowrap>unsigned int&nbsp;</td>
 275           <td class="mdname" nowrap>&nbsp; <em>MAXRAYS</em></td>
 276         </tr>
 277         <tr>
 278           <td></td>
 279           <td class="md">)&nbsp;</td>
 280           <td class="md" colspan="2"></td>
 281         </tr>
 282
 283       </table>
 284     </td>
 285   </tr>
 286 </table>
 287 <table cellspacing=5 cellpadding=0 border=0>
 288   <tr>
 289     <td>
 290       &nbsp;
 291     </td>
 292     <td>
 293
 294 <p>
 295
 296 <p>
 297 Definition at line <a class="el" href="alpha_8c-source.html#l00505">505</a> of file <a class="el" href="alpha_8c-source.html">alpha.c</a>.
 298 <p>
 299 References <a class="el" href="verif__ehrhart_8c-source.html#l00020">MAXRAYS</a>, and <a class="el" href="alpha_8c-source.html#l00122">PolyhedronLTQ</a>().    </td>
 300   </tr>
 301 </table>
 302 <hr><address align="right"><small>Generated on Fri Nov 8 12:10:07 2002 for Polylib by
 303 <a href="http://www.doxygen.org/index.html">
 304 <img src="doxygen.png" alt="doxygen" align="middle" border=0
 305 width=110 height=53></a>1.2.15 </small></address>
 306 </body>
 307 </html>