doc/codeDoc/html/structSatMatrix.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>SatMatrix struct 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>SatMatrix  Struct Reference</h1><a href="structSatMatrix-members.html">List of all members.</a><table border=0 cellpadding=0 cellspacing=0>
  10 <tr><td colspan=2><br><h2>Public Attributes</h2></td></tr>
  11 <tr><td nowrap align=right valign=top>unsigned int&nbsp;</td><td valign=bottom><a class="el" href="structSatMatrix.html#m0">NbRows</a></td></tr>
  12 <tr><td nowrap align=right valign=top>unsigned int&nbsp;</td><td valign=bottom><a class="el" href="structSatMatrix.html#m1">NbColumns</a></td></tr>
  13 <tr><td nowrap align=right valign=top>int **&nbsp;</td><td valign=bottom><a class="el" href="structSatMatrix.html#m2">p</a></td></tr>
  14 <tr><td nowrap align=right valign=top>int *&nbsp;</td><td valign=bottom><a class="el" href="structSatMatrix.html#m3">p_init</a></td></tr>
  15 <tr><td nowrap align=right valign=top>unsigned int **&nbsp;</td><td valign=bottom><a class="el" href="structSatMatrix.html#m4">p</a></td></tr>
  16 <tr><td nowrap align=right valign=top>unsigned int *&nbsp;</td><td valign=bottom><a class="el" href="structSatMatrix.html#m5">p_init</a></td></tr>
  17 </table>
  18 <hr><h2>Member Data Documentation</h2>
  19 <a name="m1" doxytag="SatMatrix::NbColumns"></a><p>
  20 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  21   <tr>
  22     <td class="md">
  23       <table cellpadding="0" cellspacing="0" border="0">
  24         <tr>
  25           <td class="md" nowrap valign="top"> unsigned int SatMatrix::NbColumns
  26       </table>
  27     </td>
  28   </tr>
  29 </table>
  30 <table cellspacing=5 cellpadding=0 border=0>
  31   <tr>
  32     <td>
  33       &nbsp;
  34     </td>
  35     <td>
  36
  37 <p>
  38
  39 <p>
  40 Definition at line <a class="el" href="polyparam_8c-source.html#l00200">200</a> of file <a class="el" href="polyparam_8c-source.html">polyparam.c</a>.
  41 <p>
  42 Referenced by <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="polyhedron_8c-source.html#l02036">Rays2Polyhedron</a>(), <a class="el" href="polyhedron_8c-source.html#l00824">Remove_Redundants</a>(), <a class="el" href="polyhedron_8c-source.html#l00092">SMAlloc</a>(), and <a class="el" href="polyhedron_8c-source.html#l00141">SMPrint</a>().    </td>
  43   </tr>
  44 </table>
  45 <a name="m0" doxytag="SatMatrix::NbRows"></a><p>
  46 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  47   <tr>
  48     <td class="md">
  49       <table cellpadding="0" cellspacing="0" border="0">
  50         <tr>
  51           <td class="md" nowrap valign="top"> unsigned int SatMatrix::NbRows
  52       </table>
  53     </td>
  54   </tr>
  55 </table>
  56 <table cellspacing=5 cellpadding=0 border=0>
  57   <tr>
  58     <td>
  59       &nbsp;
  60     </td>
  61     <td>
  62
  63 <p>
  64
  65 <p>
  66 Definition at line <a class="el" href="polyparam_8c-source.html#l00199">199</a> of file <a class="el" href="polyparam_8c-source.html">polyparam.c</a>.
  67 <p>
  68 Referenced by <a class="el" href="polyhedron_8c-source.html#l02147">BuildSat</a>(), <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="polyhedron_8c-source.html#l01919">Constraints2Polyhedron</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="polyhedron_8c-source.html#l02036">Rays2Polyhedron</a>(), <a class="el" href="polyhedron_8c-source.html#l00092">SMAlloc</a>(), and <a class="el" href="polyhedron_8c-source.html#l00141">SMPrint</a>().    </td>
  69   </tr>
  70 </table>
  71 <a name="m4" doxytag="SatMatrix::p"></a><p>
  72 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  73   <tr>
  74     <td class="md">
  75       <table cellpadding="0" cellspacing="0" border="0">
  76         <tr>
  77           <td class="md" nowrap valign="top"> unsigned int** SatMatrix::p
  78       </table>
  79     </td>
  80   </tr>
  81 </table>
  82 <table cellspacing=5 cellpadding=0 border=0>
  83   <tr>
  84     <td>
  85       &nbsp;
  86     </td>
  87     <td>
  88
  89 <p>
  90
  91 <p>
  92 Definition at line <a class="el" href="polyparam_8c-source.html#l00201">201</a> of file <a class="el" href="polyparam_8c-source.html">polyparam.c</a>.    </td>
  93   </tr>
  94 </table>
  95 <a name="m2" doxytag="SatMatrix::p"></a><p>
  96 <table width="100%" cellpadding="2" cellspacing="0" border="0">
  97   <tr>
  98     <td class="md">
  99       <table cellpadding="0" cellspacing="0" border="0">
 100         <tr>
 101           <td class="md" nowrap valign="top"> int** SatMatrix::p
 102       </table>
 103     </td>
 104   </tr>
 105 </table>
 106 <table cellspacing=5 cellpadding=0 border=0>
 107   <tr>
 108     <td>
 109       &nbsp;
 110     </td>
 111     <td>
 112
 113 <p>
 114
 115 <p>
 116 Definition at line <a class="el" href="polyhedron_8c-source.html#l00085">85</a> of file <a class="el" href="polyhedron_8c-source.html">polyhedron.c</a>.
 117 <p>
 118 Referenced by <a class="el" href="polyhedron_8c-source.html#l02712">addToFilter</a>(), <a class="el" href="polyhedron_8c-source.html#l02147">BuildSat</a>(), <a class="el" href="polyhedron_8c-source.html#l00340">Chernikova</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="polyparam_8c-source.html#l00654">Poly2Sat</a>(), <a class="el" href="polyhedron_8c-source.html#l02036">Rays2Polyhedron</a>(), <a class="el" href="polyhedron_8c-source.html#l00284">RaySort</a>(), <a class="el" href="polyhedron_8c-source.html#l00824">Remove_Redundants</a>(), <a class="el" href="polyparam_8c-source.html#l00539">scan_m_face</a>(), <a class="el" href="polyhedron_8c-source.html#l00092">SMAlloc</a>(), <a class="el" href="polyparam_8c-source.html#l00229">SMFree</a>(), <a class="el" href="polyhedron_8c-source.html#l00141">SMPrint</a>(), and <a class="el" href="polyhedron_8c-source.html#l00245">TransformSat</a>().    </td>
 119   </tr>
 120 </table>
 121 <a name="m5" doxytag="SatMatrix::p_init"></a><p>
 122 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 123   <tr>
 124     <td class="md">
 125       <table cellpadding="0" cellspacing="0" border="0">
 126         <tr>
 127           <td class="md" nowrap valign="top"> unsigned int* SatMatrix::p_init
 128       </table>
 129     </td>
 130   </tr>
 131 </table>
 132 <table cellspacing=5 cellpadding=0 border=0>
 133   <tr>
 134     <td>
 135       &nbsp;
 136     </td>
 137     <td>
 138
 139 <p>
 140
 141 <p>
 142 Definition at line <a class="el" href="polyparam_8c-source.html#l00202">202</a> of file <a class="el" href="polyparam_8c-source.html">polyparam.c</a>.    </td>
 143   </tr>
 144 </table>
 145 <a name="m3" doxytag="SatMatrix::p_init"></a><p>
 146 <table width="100%" cellpadding="2" cellspacing="0" border="0">
 147   <tr>
 148     <td class="md">
 149       <table cellpadding="0" cellspacing="0" border="0">
 150         <tr>
 151           <td class="md" nowrap valign="top"> int* SatMatrix::p_init
 152       </table>
 153     </td>
 154   </tr>
 155 </table>
 156 <table cellspacing=5 cellpadding=0 border=0>
 157   <tr>
 158     <td>
 159       &nbsp;
 160     </td>
 161     <td>
 162
 163 <p>
 164
 165 <p>
 166 Definition at line <a class="el" href="polyhedron_8c-source.html#l00086">86</a> of file <a class="el" href="polyhedron_8c-source.html">polyhedron.c</a>.
 167 <p>
 168 Referenced by <a class="el" href="polyhedron_8c-source.html#l02147">BuildSat</a>(), <a class="el" href="polyhedron_8c-source.html#l01919">Constraints2Polyhedron</a>(), <a class="el" href="polyhedron_8c-source.html#l02753">FindSimple</a>(), <a class="el" href="polyparam_8c-source.html#l00654">Poly2Sat</a>(), <a class="el" href="polyhedron_8c-source.html#l00092">SMAlloc</a>(), <a class="el" href="polyparam_8c-source.html#l00229">SMFree</a>(), and <a class="el" href="polyhedron_8c-source.html#l00245">TransformSat</a>().    </td>
 169   </tr>
 170 </table>
 171 <hr>The documentation for this struct was generated from the following files:<ul>
 172 <li><a class="el" href="polyhedron_8c-source.html">polyhedron.c</a><li><a class="el" href="polyparam_8c-source.html">polyparam.c</a></ul>
 173 <hr><address align="right"><small>Generated on Fri Nov 8 12:10:07 2002 for Polylib by
 174 <a href="http://www.doxygen.org/index.html">
 175 <img src="doxygen.png" alt="doxygen" align="middle" border=0
 176 width=110 height=53></a>1.2.15 </small></address>
 177 </body>
 178 </html>