<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<title>CVC3: kinds.h File Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css"/>
</head>
<body>
<!-- Generated by Doxygen 1.7.4 -->
<div id="top">
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td style="padding-left: 0.5em;">
<div id="projectname">CVC3 <span id="projectnumber">2.4.1</span></div>
</td>
</tr>
</tbody>
</table>
</div>
<div id="navrow1" class="tabs">
<ul class="tablist">
<li><a href="index.html"><span>Main Page</span></a></li>
<li><a href="pages.html"><span>Related Pages</span></a></li>
<li><a href="modules.html"><span>Modules</span></a></li>
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
<li><a href="annotated.html"><span>Classes</span></a></li>
<li class="current"><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div id="navrow2" class="tabs2">
<ul class="tablist">
<li><a href="files.html"><span>File List</span></a></li>
<li><a href="globals.html"><span>File Members</span></a></li>
</ul>
</div>
</div>
<div class="header">
<div class="summary">
<a href="#enum-members">Enumerations</a> </div>
<div class="headertitle">
<div class="title">kinds.h File Reference</div> </div>
</div>
<div class="contents">
<p><a href="kinds_8h_source.html">Go to the source code of this file.</a></p>
<h2><a name="enum-members"></a>
Enumerations</h2>
<ul>
<li>enum <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5b">Kind</a> { <br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba5bc05ce87fa69f660d39d0a4fa188c67">NULL_KIND</a> = 0,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba1fad76919fba496de21807e2beec533d">TRUE_EXPR</a> = 1,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba5f71bd33a6528411ae681f5291de1d82">FALSE_EXPR</a> = 2,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5bae07a708ec52c578b62f8b0f701571d56">RATIONAL_EXPR</a> = 3,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba354df7c2d2ec2e54317f07437dc7380b">STRING_EXPR</a> = 4,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba3618e875d4c212a43e224a8a8745e7eb">MAX_CONST</a> = 100,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba60238049e233c8d68fc58e4d5ceb55e2">RAW_LIST</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba001479a58fb44c39a29b20d565081a68">ID</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba8a583f16e8d237a423c8c1d9087a4c72">BOOLEAN</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba6245843ec0c376adc7b587ad82459846">ANY_TYPE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba546eccfedc4dcc8623ed0668f77ef982">ARROW</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5bab47ea8bb955afd0adc0ef98517dd6084">TYPE</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba3bcf72a59026c6765481b300b363ff59">TYPEDECL</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba802d02227696a7c5b5420b28d8b82338">TYPEDEF</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba9efdc855f3c1477957fb50affec07f8f">EQ</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5bab4ab8d2a8dc61f08e3cc919787c79cd8">NEQ</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5baa23a9880eca693f679c969556249925f">DISTINCT</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba0378ebc895849163b249d0b330257dd6">NOT</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba865555c9f2e0458a7078486aa1b3254f">AND</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba96727447c0ad447987df1c6415aef074">OR</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5bac62338ffb5de22369c75caa565b5da1a">XOR</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba527cb185631442655c4486d51522b5a7">IFF</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba7338bb59b9aa936104a6d2f631d4d8db">IMPLIES</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5baf18208f4921c8175373d32e4ce909d42">AND_R</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5bab3535bf1f1c26490d56f63dc20696fa6">IFF_R</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba096c0758089b7d7d0a596b1b4c89a084">ITE_R</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba3a4cfaf3eae8eac1dc2fd27d9f0994dc">ITE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba7b7b6f6e2b88589bd4656a14bcb7eb94">FORALL</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba3197625a1bb2264943f5a95f236d9973">EXISTS</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5baa677b4263f974f2ccfe7986cedf3988e">UFUNC</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba5c41450c4e719ca40d8e734f6a2008f0">APPLY</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba61d9e0e93eb9635173764c5ba45666f1">ASSERT</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba21043ddfa5289b4cf14cd4e3f5a89b62">QUERY</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba97a3c2659984ba305c883c77e5d837be">CHECKSAT</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba49959dd441dcda75d6898cf2c68fb374">CONTINUE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba262553c759e1d1a9398bc406b1fadcb7">RESTART</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba488607ea6c5f90b63a063b953af1e078">DBG</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba7fa27e82c6c4f69434225ed81e5d151e">TRACE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba4360655450c463532deae4a265852354">UNTRACE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5baa90a72437604db645f335d571993dade">OPTION</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba9f5cb747b2e1f0ea781d2b1f2a5b4824">HELP</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba25f73324dc93d9024c0c75b4e6815335">TRANSFORM</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5bab107229d44d042caa8ab8df4c8acaa1f">PRINT</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5babd0ebc08c262bab82a1882256d2d66e8">CALL</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba6e074abc1ec6368da315a331ad35c00b">ECHO</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba2f6f94469432973066c534d9bd1d1a7c">INCLUDE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5baf2fb94d1fd1739ad68220e57882efa23">GET_VALUE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba93ac551e3fa00bc3ba324544985e0e07">GET_ASSIGNMENT</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5baaa71d9f5a927e04c20c2fe5708f30be2">DUMP_PROOF</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5bab31d3b785074846671439597e155a473">DUMP_ASSUMPTIONS</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba7d5922eb81555f9010561ea51e241313">DUMP_SIG</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba0f26f0a2b11e05637f9aede0c3c953a1">DUMP_TCC</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba806bb6dde10ffd8d7e12b01cf8a04421">DUMP_TCC_ASSUMPTIONS</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba8d86d3a8550f33dfb735dc25813c5794">DUMP_TCC_PROOF</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5badbf9b8b24fc59b74bd2b2121aba21e75">DUMP_CLOSURE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba2322495bb9d482b215bc6b52df111415">DUMP_CLOSURE_PROOF</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba0116b78582fbf1fd6e069fde8dd308c4">WHERE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5bafa9d306e675c3be077c2e0561e6e8e6d">ASSERTIONS</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5bab65def84e41af84db85737a6eb8dc748">ASSUMPTIONS</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba87ad730e285cf17f4eefb214236a2c7a">COUNTEREXAMPLE</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5baea3d2c8907d2df3f13c0866a7970baaa">COUNTERMODEL</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5bad263caec619c4d99e4684ba0fabd9493">PUSH</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba061dcf4785583d8653942f2d252174fa">POP</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba908bcfbc13c7f414e83641bb9339f31f">POPTO</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba5b5b049bfd6cb81f552222a8aad0dd99">PUSH_SCOPE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba0eb24f3375e74e8a42303dc0c6e7e952">POP_SCOPE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba577463735743ccd8d67d3549bdcbc5eb">POPTO_SCOPE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba589b7d94a3d91d145720e2fed0eb3a05">RESET</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba7f06283f0d1a4d167be6c37a3d24fd11">CONTEXT</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5badd6ce7bf1c9b230e53a39d09a7d6e002">FORGET</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba9d77c0f7e14e04b7ecc95a029f669d83">GET_TYPE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba915f5acbb5f4374dd2c4e9a37a40d2ef">CHECK_TYPE</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5baf87d4fe879a908f02ae07de41fff425e">GET_CHILD</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5baf910b817eb56e0a5ce680b74a0e8dc84">SUBSTITUTE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba9985ac4cb7cda855d785a610e6a866a7">SEQ</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba62e1f4af4ae37d9c8a7f60bf47e4e72c">ARITH_VAR_ORDER</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba6f0302a99e7b65b652008363069ad743">ANNOTATION</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5baa74ae94cd8d7d555f0ca4c85ef80ad08">TCC</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba5ccfef7d76eb43a61d00eb7129ffc562">VARDECL</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba7266e0d07f5aabab9d0515ea50fafc7c">VARDECLS</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba462c38186c36e12c2f38a6d0d43feddf">BOUND_VAR</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba2a1805dc0fcdef2abbf0c780ab1c47ae">BOUND_ID</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba9ae776fb49b0eb32dd93f866492000b5">SUBTYPE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba252802eda493fb6b4a279c4452acb547">IF</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba5bd60ae173f903f6b202daf0c2118387">IFTHEN</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba90d649d830ea440c8b8a56c7ef23c426">ELSE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba2f577f27f1d0dcd6aa8f0a144138dc42">COND</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5bafb72619a5a922e816967c4aa49301754">LET</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba2cd77861cfba212beedbf4245c990f72">LETDECLS</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba9508dd8c8e7db280a5dacc19bd74d92d">LETDECL</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba40176493726a127184ca47ea6352dc1f">LAMBDA</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5baa1022ff97dac8e2d5d80d53c4cecd132">SIMULATE</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba3d044162d972156d897cea80f216b9ca">CONST</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba197dcccceb8ad4d4bd3b914f73f2978a">VARLIST</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba2efaeb22f8803588598706b73cec8bda">UCONST</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba5a9e497d7471e5d91bd097e5b80a830d">DEFUN</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5baee1a6e6a0705cce09e48dbe8d3f26572">PF_APPLY</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba2656992cdd2e5b8fd78f595329c1f58f">PF_HOLE</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5ba73072b2c6fef896d006d6691e932cf37">SKOLEM_VAR</a>,
<a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5bada5edea8bbb7cfbd2500be6eca0d4151">THEOREM_KIND</a>,
<br/>
  <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5bac8e823433db1723711ac5685ba2e7f60">LAST_KIND</a>
<br/>
}
</ul>
<hr/><a name="details" id="details"></a><h2>Detailed Description</h2>
<div class="textblock"><p>Author: Clark Barrett</p>
<p>Created: Mon Jan 20 13:38:52 2003</p>
<hr/>
<p>License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the <a class="el" href="LICENSE.html">LICENSE</a> file provided with this distribution.</p>
<hr/>
<p>Definition in file <a class="el" href="kinds_8h_source.html">kinds.h</a>.</p>
</div><hr/><h2>Enumeration Type Documentation</h2>
<a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5b"></a><!-- doxytag: member="kinds.h::Kind" ref="aa10c9e8951b8ccf714a59ec321bdac5b" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">enum <a class="el" href="kinds_8h.html#aa10c9e8951b8ccf714a59ec321bdac5b">Kind</a></td>
</tr>
</table>
</div>
<div class="memdoc">
<dl><dt><b>Enumerator: </b></dt><dd><table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba5bc05ce87fa69f660d39d0a4fa188c67"></a><!-- doxytag: member="NULL_KIND" ref="aa10c9e8951b8ccf714a59ec321bdac5ba5bc05ce87fa69f660d39d0a4fa188c67" args="" -->NULL_KIND</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba1fad76919fba496de21807e2beec533d"></a><!-- doxytag: member="TRUE_EXPR" ref="aa10c9e8951b8ccf714a59ec321bdac5ba1fad76919fba496de21807e2beec533d" args="" -->TRUE_EXPR</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba5f71bd33a6528411ae681f5291de1d82"></a><!-- doxytag: member="FALSE_EXPR" ref="aa10c9e8951b8ccf714a59ec321bdac5ba5f71bd33a6528411ae681f5291de1d82" args="" -->FALSE_EXPR</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5bae07a708ec52c578b62f8b0f701571d56"></a><!-- doxytag: member="RATIONAL_EXPR" ref="aa10c9e8951b8ccf714a59ec321bdac5bae07a708ec52c578b62f8b0f701571d56" args="" -->RATIONAL_EXPR</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba354df7c2d2ec2e54317f07437dc7380b"></a><!-- doxytag: member="STRING_EXPR" ref="aa10c9e8951b8ccf714a59ec321bdac5ba354df7c2d2ec2e54317f07437dc7380b" args="" -->STRING_EXPR</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba3618e875d4c212a43e224a8a8745e7eb"></a><!-- doxytag: member="MAX_CONST" ref="aa10c9e8951b8ccf714a59ec321bdac5ba3618e875d4c212a43e224a8a8745e7eb" args="" -->MAX_CONST</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba60238049e233c8d68fc58e4d5ceb55e2"></a><!-- doxytag: member="RAW_LIST" ref="aa10c9e8951b8ccf714a59ec321bdac5ba60238049e233c8d68fc58e4d5ceb55e2" args="" -->RAW_LIST</em> </td><td>
<p>May have any number of children >= 0 </p>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba001479a58fb44c39a29b20d565081a68"></a><!-- doxytag: member="ID" ref="aa10c9e8951b8ccf714a59ec321bdac5ba001479a58fb44c39a29b20d565081a68" args="" -->ID</em> </td><td>
<p>Identifier is (ID (STRING_EXPR "name")) </p>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba8a583f16e8d237a423c8c1d9087a4c72"></a><!-- doxytag: member="BOOLEAN" ref="aa10c9e8951b8ccf714a59ec321bdac5ba8a583f16e8d237a423c8c1d9087a4c72" args="" -->BOOLEAN</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba6245843ec0c376adc7b587ad82459846"></a><!-- doxytag: member="ANY_TYPE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba6245843ec0c376adc7b587ad82459846" args="" -->ANY_TYPE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba546eccfedc4dcc8623ed0668f77ef982"></a><!-- doxytag: member="ARROW" ref="aa10c9e8951b8ccf714a59ec321bdac5ba546eccfedc4dcc8623ed0668f77ef982" args="" -->ARROW</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5bab47ea8bb955afd0adc0ef98517dd6084"></a><!-- doxytag: member="TYPE" ref="aa10c9e8951b8ccf714a59ec321bdac5bab47ea8bb955afd0adc0ef98517dd6084" args="" -->TYPE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba3bcf72a59026c6765481b300b363ff59"></a><!-- doxytag: member="TYPEDECL" ref="aa10c9e8951b8ccf714a59ec321bdac5ba3bcf72a59026c6765481b300b363ff59" args="" -->TYPEDECL</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba802d02227696a7c5b5420b28d8b82338"></a><!-- doxytag: member="TYPEDEF" ref="aa10c9e8951b8ccf714a59ec321bdac5ba802d02227696a7c5b5420b28d8b82338" args="" -->TYPEDEF</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba9efdc855f3c1477957fb50affec07f8f"></a><!-- doxytag: member="EQ" ref="aa10c9e8951b8ccf714a59ec321bdac5ba9efdc855f3c1477957fb50affec07f8f" args="" -->EQ</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5bab4ab8d2a8dc61f08e3cc919787c79cd8"></a><!-- doxytag: member="NEQ" ref="aa10c9e8951b8ccf714a59ec321bdac5bab4ab8d2a8dc61f08e3cc919787c79cd8" args="" -->NEQ</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5baa23a9880eca693f679c969556249925f"></a><!-- doxytag: member="DISTINCT" ref="aa10c9e8951b8ccf714a59ec321bdac5baa23a9880eca693f679c969556249925f" args="" -->DISTINCT</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba0378ebc895849163b249d0b330257dd6"></a><!-- doxytag: member="NOT" ref="aa10c9e8951b8ccf714a59ec321bdac5ba0378ebc895849163b249d0b330257dd6" args="" -->NOT</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba865555c9f2e0458a7078486aa1b3254f"></a><!-- doxytag: member="AND" ref="aa10c9e8951b8ccf714a59ec321bdac5ba865555c9f2e0458a7078486aa1b3254f" args="" -->AND</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba96727447c0ad447987df1c6415aef074"></a><!-- doxytag: member="OR" ref="aa10c9e8951b8ccf714a59ec321bdac5ba96727447c0ad447987df1c6415aef074" args="" -->OR</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5bac62338ffb5de22369c75caa565b5da1a"></a><!-- doxytag: member="XOR" ref="aa10c9e8951b8ccf714a59ec321bdac5bac62338ffb5de22369c75caa565b5da1a" args="" -->XOR</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba527cb185631442655c4486d51522b5a7"></a><!-- doxytag: member="IFF" ref="aa10c9e8951b8ccf714a59ec321bdac5ba527cb185631442655c4486d51522b5a7" args="" -->IFF</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba7338bb59b9aa936104a6d2f631d4d8db"></a><!-- doxytag: member="IMPLIES" ref="aa10c9e8951b8ccf714a59ec321bdac5ba7338bb59b9aa936104a6d2f631d4d8db" args="" -->IMPLIES</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5baf18208f4921c8175373d32e4ce909d42"></a><!-- doxytag: member="AND_R" ref="aa10c9e8951b8ccf714a59ec321bdac5baf18208f4921c8175373d32e4ce909d42" args="" -->AND_R</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5bab3535bf1f1c26490d56f63dc20696fa6"></a><!-- doxytag: member="IFF_R" ref="aa10c9e8951b8ccf714a59ec321bdac5bab3535bf1f1c26490d56f63dc20696fa6" args="" -->IFF_R</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba096c0758089b7d7d0a596b1b4c89a084"></a><!-- doxytag: member="ITE_R" ref="aa10c9e8951b8ccf714a59ec321bdac5ba096c0758089b7d7d0a596b1b4c89a084" args="" -->ITE_R</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba3a4cfaf3eae8eac1dc2fd27d9f0994dc"></a><!-- doxytag: member="ITE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba3a4cfaf3eae8eac1dc2fd27d9f0994dc" args="" -->ITE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba7b7b6f6e2b88589bd4656a14bcb7eb94"></a><!-- doxytag: member="FORALL" ref="aa10c9e8951b8ccf714a59ec321bdac5ba7b7b6f6e2b88589bd4656a14bcb7eb94" args="" -->FORALL</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba3197625a1bb2264943f5a95f236d9973"></a><!-- doxytag: member="EXISTS" ref="aa10c9e8951b8ccf714a59ec321bdac5ba3197625a1bb2264943f5a95f236d9973" args="" -->EXISTS</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5baa677b4263f974f2ccfe7986cedf3988e"></a><!-- doxytag: member="UFUNC" ref="aa10c9e8951b8ccf714a59ec321bdac5baa677b4263f974f2ccfe7986cedf3988e" args="" -->UFUNC</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba5c41450c4e719ca40d8e734f6a2008f0"></a><!-- doxytag: member="APPLY" ref="aa10c9e8951b8ccf714a59ec321bdac5ba5c41450c4e719ca40d8e734f6a2008f0" args="" -->APPLY</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba61d9e0e93eb9635173764c5ba45666f1"></a><!-- doxytag: member="ASSERT" ref="aa10c9e8951b8ccf714a59ec321bdac5ba61d9e0e93eb9635173764c5ba45666f1" args="" -->ASSERT</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba21043ddfa5289b4cf14cd4e3f5a89b62"></a><!-- doxytag: member="QUERY" ref="aa10c9e8951b8ccf714a59ec321bdac5ba21043ddfa5289b4cf14cd4e3f5a89b62" args="" -->QUERY</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba97a3c2659984ba305c883c77e5d837be"></a><!-- doxytag: member="CHECKSAT" ref="aa10c9e8951b8ccf714a59ec321bdac5ba97a3c2659984ba305c883c77e5d837be" args="" -->CHECKSAT</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba49959dd441dcda75d6898cf2c68fb374"></a><!-- doxytag: member="CONTINUE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba49959dd441dcda75d6898cf2c68fb374" args="" -->CONTINUE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba262553c759e1d1a9398bc406b1fadcb7"></a><!-- doxytag: member="RESTART" ref="aa10c9e8951b8ccf714a59ec321bdac5ba262553c759e1d1a9398bc406b1fadcb7" args="" -->RESTART</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba488607ea6c5f90b63a063b953af1e078"></a><!-- doxytag: member="DBG" ref="aa10c9e8951b8ccf714a59ec321bdac5ba488607ea6c5f90b63a063b953af1e078" args="" -->DBG</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba7fa27e82c6c4f69434225ed81e5d151e"></a><!-- doxytag: member="TRACE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba7fa27e82c6c4f69434225ed81e5d151e" args="" -->TRACE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba4360655450c463532deae4a265852354"></a><!-- doxytag: member="UNTRACE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba4360655450c463532deae4a265852354" args="" -->UNTRACE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5baa90a72437604db645f335d571993dade"></a><!-- doxytag: member="OPTION" ref="aa10c9e8951b8ccf714a59ec321bdac5baa90a72437604db645f335d571993dade" args="" -->OPTION</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba9f5cb747b2e1f0ea781d2b1f2a5b4824"></a><!-- doxytag: member="HELP" ref="aa10c9e8951b8ccf714a59ec321bdac5ba9f5cb747b2e1f0ea781d2b1f2a5b4824" args="" -->HELP</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba25f73324dc93d9024c0c75b4e6815335"></a><!-- doxytag: member="TRANSFORM" ref="aa10c9e8951b8ccf714a59ec321bdac5ba25f73324dc93d9024c0c75b4e6815335" args="" -->TRANSFORM</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5bab107229d44d042caa8ab8df4c8acaa1f"></a><!-- doxytag: member="PRINT" ref="aa10c9e8951b8ccf714a59ec321bdac5bab107229d44d042caa8ab8df4c8acaa1f" args="" -->PRINT</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5babd0ebc08c262bab82a1882256d2d66e8"></a><!-- doxytag: member="CALL" ref="aa10c9e8951b8ccf714a59ec321bdac5babd0ebc08c262bab82a1882256d2d66e8" args="" -->CALL</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba6e074abc1ec6368da315a331ad35c00b"></a><!-- doxytag: member="ECHO" ref="aa10c9e8951b8ccf714a59ec321bdac5ba6e074abc1ec6368da315a331ad35c00b" args="" -->ECHO</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba2f6f94469432973066c534d9bd1d1a7c"></a><!-- doxytag: member="INCLUDE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba2f6f94469432973066c534d9bd1d1a7c" args="" -->INCLUDE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5baf2fb94d1fd1739ad68220e57882efa23"></a><!-- doxytag: member="GET_VALUE" ref="aa10c9e8951b8ccf714a59ec321bdac5baf2fb94d1fd1739ad68220e57882efa23" args="" -->GET_VALUE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba93ac551e3fa00bc3ba324544985e0e07"></a><!-- doxytag: member="GET_ASSIGNMENT" ref="aa10c9e8951b8ccf714a59ec321bdac5ba93ac551e3fa00bc3ba324544985e0e07" args="" -->GET_ASSIGNMENT</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5baaa71d9f5a927e04c20c2fe5708f30be2"></a><!-- doxytag: member="DUMP_PROOF" ref="aa10c9e8951b8ccf714a59ec321bdac5baaa71d9f5a927e04c20c2fe5708f30be2" args="" -->DUMP_PROOF</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5bab31d3b785074846671439597e155a473"></a><!-- doxytag: member="DUMP_ASSUMPTIONS" ref="aa10c9e8951b8ccf714a59ec321bdac5bab31d3b785074846671439597e155a473" args="" -->DUMP_ASSUMPTIONS</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba7d5922eb81555f9010561ea51e241313"></a><!-- doxytag: member="DUMP_SIG" ref="aa10c9e8951b8ccf714a59ec321bdac5ba7d5922eb81555f9010561ea51e241313" args="" -->DUMP_SIG</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba0f26f0a2b11e05637f9aede0c3c953a1"></a><!-- doxytag: member="DUMP_TCC" ref="aa10c9e8951b8ccf714a59ec321bdac5ba0f26f0a2b11e05637f9aede0c3c953a1" args="" -->DUMP_TCC</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba806bb6dde10ffd8d7e12b01cf8a04421"></a><!-- doxytag: member="DUMP_TCC_ASSUMPTIONS" ref="aa10c9e8951b8ccf714a59ec321bdac5ba806bb6dde10ffd8d7e12b01cf8a04421" args="" -->DUMP_TCC_ASSUMPTIONS</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba8d86d3a8550f33dfb735dc25813c5794"></a><!-- doxytag: member="DUMP_TCC_PROOF" ref="aa10c9e8951b8ccf714a59ec321bdac5ba8d86d3a8550f33dfb735dc25813c5794" args="" -->DUMP_TCC_PROOF</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5badbf9b8b24fc59b74bd2b2121aba21e75"></a><!-- doxytag: member="DUMP_CLOSURE" ref="aa10c9e8951b8ccf714a59ec321bdac5badbf9b8b24fc59b74bd2b2121aba21e75" args="" -->DUMP_CLOSURE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba2322495bb9d482b215bc6b52df111415"></a><!-- doxytag: member="DUMP_CLOSURE_PROOF" ref="aa10c9e8951b8ccf714a59ec321bdac5ba2322495bb9d482b215bc6b52df111415" args="" -->DUMP_CLOSURE_PROOF</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba0116b78582fbf1fd6e069fde8dd308c4"></a><!-- doxytag: member="WHERE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba0116b78582fbf1fd6e069fde8dd308c4" args="" -->WHERE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5bafa9d306e675c3be077c2e0561e6e8e6d"></a><!-- doxytag: member="ASSERTIONS" ref="aa10c9e8951b8ccf714a59ec321bdac5bafa9d306e675c3be077c2e0561e6e8e6d" args="" -->ASSERTIONS</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5bab65def84e41af84db85737a6eb8dc748"></a><!-- doxytag: member="ASSUMPTIONS" ref="aa10c9e8951b8ccf714a59ec321bdac5bab65def84e41af84db85737a6eb8dc748" args="" -->ASSUMPTIONS</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba87ad730e285cf17f4eefb214236a2c7a"></a><!-- doxytag: member="COUNTEREXAMPLE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba87ad730e285cf17f4eefb214236a2c7a" args="" -->COUNTEREXAMPLE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5baea3d2c8907d2df3f13c0866a7970baaa"></a><!-- doxytag: member="COUNTERMODEL" ref="aa10c9e8951b8ccf714a59ec321bdac5baea3d2c8907d2df3f13c0866a7970baaa" args="" -->COUNTERMODEL</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5bad263caec619c4d99e4684ba0fabd9493"></a><!-- doxytag: member="PUSH" ref="aa10c9e8951b8ccf714a59ec321bdac5bad263caec619c4d99e4684ba0fabd9493" args="" -->PUSH</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba061dcf4785583d8653942f2d252174fa"></a><!-- doxytag: member="POP" ref="aa10c9e8951b8ccf714a59ec321bdac5ba061dcf4785583d8653942f2d252174fa" args="" -->POP</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba908bcfbc13c7f414e83641bb9339f31f"></a><!-- doxytag: member="POPTO" ref="aa10c9e8951b8ccf714a59ec321bdac5ba908bcfbc13c7f414e83641bb9339f31f" args="" -->POPTO</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba5b5b049bfd6cb81f552222a8aad0dd99"></a><!-- doxytag: member="PUSH_SCOPE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba5b5b049bfd6cb81f552222a8aad0dd99" args="" -->PUSH_SCOPE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba0eb24f3375e74e8a42303dc0c6e7e952"></a><!-- doxytag: member="POP_SCOPE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba0eb24f3375e74e8a42303dc0c6e7e952" args="" -->POP_SCOPE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba577463735743ccd8d67d3549bdcbc5eb"></a><!-- doxytag: member="POPTO_SCOPE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba577463735743ccd8d67d3549bdcbc5eb" args="" -->POPTO_SCOPE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba589b7d94a3d91d145720e2fed0eb3a05"></a><!-- doxytag: member="RESET" ref="aa10c9e8951b8ccf714a59ec321bdac5ba589b7d94a3d91d145720e2fed0eb3a05" args="" -->RESET</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba7f06283f0d1a4d167be6c37a3d24fd11"></a><!-- doxytag: member="CONTEXT" ref="aa10c9e8951b8ccf714a59ec321bdac5ba7f06283f0d1a4d167be6c37a3d24fd11" args="" -->CONTEXT</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5badd6ce7bf1c9b230e53a39d09a7d6e002"></a><!-- doxytag: member="FORGET" ref="aa10c9e8951b8ccf714a59ec321bdac5badd6ce7bf1c9b230e53a39d09a7d6e002" args="" -->FORGET</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba9d77c0f7e14e04b7ecc95a029f669d83"></a><!-- doxytag: member="GET_TYPE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba9d77c0f7e14e04b7ecc95a029f669d83" args="" -->GET_TYPE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba915f5acbb5f4374dd2c4e9a37a40d2ef"></a><!-- doxytag: member="CHECK_TYPE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba915f5acbb5f4374dd2c4e9a37a40d2ef" args="" -->CHECK_TYPE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5baf87d4fe879a908f02ae07de41fff425e"></a><!-- doxytag: member="GET_CHILD" ref="aa10c9e8951b8ccf714a59ec321bdac5baf87d4fe879a908f02ae07de41fff425e" args="" -->GET_CHILD</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5baf910b817eb56e0a5ce680b74a0e8dc84"></a><!-- doxytag: member="SUBSTITUTE" ref="aa10c9e8951b8ccf714a59ec321bdac5baf910b817eb56e0a5ce680b74a0e8dc84" args="" -->SUBSTITUTE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba9985ac4cb7cda855d785a610e6a866a7"></a><!-- doxytag: member="SEQ" ref="aa10c9e8951b8ccf714a59ec321bdac5ba9985ac4cb7cda855d785a610e6a866a7" args="" -->SEQ</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba62e1f4af4ae37d9c8a7f60bf47e4e72c"></a><!-- doxytag: member="ARITH_VAR_ORDER" ref="aa10c9e8951b8ccf714a59ec321bdac5ba62e1f4af4ae37d9c8a7f60bf47e4e72c" args="" -->ARITH_VAR_ORDER</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba6f0302a99e7b65b652008363069ad743"></a><!-- doxytag: member="ANNOTATION" ref="aa10c9e8951b8ccf714a59ec321bdac5ba6f0302a99e7b65b652008363069ad743" args="" -->ANNOTATION</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5baa74ae94cd8d7d555f0ca4c85ef80ad08"></a><!-- doxytag: member="TCC" ref="aa10c9e8951b8ccf714a59ec321bdac5baa74ae94cd8d7d555f0ca4c85ef80ad08" args="" -->TCC</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba5ccfef7d76eb43a61d00eb7129ffc562"></a><!-- doxytag: member="VARDECL" ref="aa10c9e8951b8ccf714a59ec321bdac5ba5ccfef7d76eb43a61d00eb7129ffc562" args="" -->VARDECL</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba7266e0d07f5aabab9d0515ea50fafc7c"></a><!-- doxytag: member="VARDECLS" ref="aa10c9e8951b8ccf714a59ec321bdac5ba7266e0d07f5aabab9d0515ea50fafc7c" args="" -->VARDECLS</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba462c38186c36e12c2f38a6d0d43feddf"></a><!-- doxytag: member="BOUND_VAR" ref="aa10c9e8951b8ccf714a59ec321bdac5ba462c38186c36e12c2f38a6d0d43feddf" args="" -->BOUND_VAR</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba2a1805dc0fcdef2abbf0c780ab1c47ae"></a><!-- doxytag: member="BOUND_ID" ref="aa10c9e8951b8ccf714a59ec321bdac5ba2a1805dc0fcdef2abbf0c780ab1c47ae" args="" -->BOUND_ID</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba9ae776fb49b0eb32dd93f866492000b5"></a><!-- doxytag: member="SUBTYPE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba9ae776fb49b0eb32dd93f866492000b5" args="" -->SUBTYPE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba252802eda493fb6b4a279c4452acb547"></a><!-- doxytag: member="IF" ref="aa10c9e8951b8ccf714a59ec321bdac5ba252802eda493fb6b4a279c4452acb547" args="" -->IF</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba5bd60ae173f903f6b202daf0c2118387"></a><!-- doxytag: member="IFTHEN" ref="aa10c9e8951b8ccf714a59ec321bdac5ba5bd60ae173f903f6b202daf0c2118387" args="" -->IFTHEN</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba90d649d830ea440c8b8a56c7ef23c426"></a><!-- doxytag: member="ELSE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba90d649d830ea440c8b8a56c7ef23c426" args="" -->ELSE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba2f577f27f1d0dcd6aa8f0a144138dc42"></a><!-- doxytag: member="COND" ref="aa10c9e8951b8ccf714a59ec321bdac5ba2f577f27f1d0dcd6aa8f0a144138dc42" args="" -->COND</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5bafb72619a5a922e816967c4aa49301754"></a><!-- doxytag: member="LET" ref="aa10c9e8951b8ccf714a59ec321bdac5bafb72619a5a922e816967c4aa49301754" args="" -->LET</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba2cd77861cfba212beedbf4245c990f72"></a><!-- doxytag: member="LETDECLS" ref="aa10c9e8951b8ccf714a59ec321bdac5ba2cd77861cfba212beedbf4245c990f72" args="" -->LETDECLS</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba9508dd8c8e7db280a5dacc19bd74d92d"></a><!-- doxytag: member="LETDECL" ref="aa10c9e8951b8ccf714a59ec321bdac5ba9508dd8c8e7db280a5dacc19bd74d92d" args="" -->LETDECL</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba40176493726a127184ca47ea6352dc1f"></a><!-- doxytag: member="LAMBDA" ref="aa10c9e8951b8ccf714a59ec321bdac5ba40176493726a127184ca47ea6352dc1f" args="" -->LAMBDA</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5baa1022ff97dac8e2d5d80d53c4cecd132"></a><!-- doxytag: member="SIMULATE" ref="aa10c9e8951b8ccf714a59ec321bdac5baa1022ff97dac8e2d5d80d53c4cecd132" args="" -->SIMULATE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba3d044162d972156d897cea80f216b9ca"></a><!-- doxytag: member="CONST" ref="aa10c9e8951b8ccf714a59ec321bdac5ba3d044162d972156d897cea80f216b9ca" args="" -->CONST</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba197dcccceb8ad4d4bd3b914f73f2978a"></a><!-- doxytag: member="VARLIST" ref="aa10c9e8951b8ccf714a59ec321bdac5ba197dcccceb8ad4d4bd3b914f73f2978a" args="" -->VARLIST</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba2efaeb22f8803588598706b73cec8bda"></a><!-- doxytag: member="UCONST" ref="aa10c9e8951b8ccf714a59ec321bdac5ba2efaeb22f8803588598706b73cec8bda" args="" -->UCONST</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba5a9e497d7471e5d91bd097e5b80a830d"></a><!-- doxytag: member="DEFUN" ref="aa10c9e8951b8ccf714a59ec321bdac5ba5a9e497d7471e5d91bd097e5b80a830d" args="" -->DEFUN</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5baee1a6e6a0705cce09e48dbe8d3f26572"></a><!-- doxytag: member="PF_APPLY" ref="aa10c9e8951b8ccf714a59ec321bdac5baee1a6e6a0705cce09e48dbe8d3f26572" args="" -->PF_APPLY</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba2656992cdd2e5b8fd78f595329c1f58f"></a><!-- doxytag: member="PF_HOLE" ref="aa10c9e8951b8ccf714a59ec321bdac5ba2656992cdd2e5b8fd78f595329c1f58f" args="" -->PF_HOLE</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5ba73072b2c6fef896d006d6691e932cf37"></a><!-- doxytag: member="SKOLEM_VAR" ref="aa10c9e8951b8ccf714a59ec321bdac5ba73072b2c6fef896d006d6691e932cf37" args="" -->SKOLEM_VAR</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5bada5edea8bbb7cfbd2500be6eca0d4151"></a><!-- doxytag: member="THEOREM_KIND" ref="aa10c9e8951b8ccf714a59ec321bdac5bada5edea8bbb7cfbd2500be6eca0d4151" args="" -->THEOREM_KIND</em> </td><td>
</td></tr>
<tr><td valign="top"><em><a class="anchor" id="aa10c9e8951b8ccf714a59ec321bdac5bac8e823433db1723711ac5685ba2e7f60"></a><!-- doxytag: member="LAST_KIND" ref="aa10c9e8951b8ccf714a59ec321bdac5bac8e823433db1723711ac5685ba2e7f60" args="" -->LAST_KIND</em> </td><td>
<p>Must always be the last kind. </p>
</td></tr>
</table>
</dd>
</dl>
<p>Definition at line <a class="el" href="kinds_8h_source.html#l00031">31</a> of file <a class="el" href="kinds_8h_source.html">kinds.h</a>.</p>
</div>
</div>
</div>
<hr class="footer"/><address class="footer"><small>Generated on Wed Sep 7 2011 for CVC3 by 
<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.4 </small></address>
</body>
</html>
