<!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"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>CVC3: Member List</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td style="padding-left: 0.5em;">
<div id="projectname">CVC3
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.2 -->
<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 class="current"><a href="annotated.html"><span>Classes</span></a></li>
<li><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div id="navrow2" class="tabs2">
<ul class="tablist">
<li><a href="annotated.html"><span>Class List</span></a></li>
<li><a href="classes.html"><span>Class Index</span></a></li>
<li><a href="inherits.html"><span>Class Hierarchy</span></a></li>
<li><a href="functions.html"><span>Class Members</span></a></li>
</ul>
</div>
<div id="nav-path" class="navpath">
<ul>
<li class="navelem"><a class="el" href="namespaceCVC3.html">CVC3</a></li><li class="navelem"><a class="el" href="classCVC3_1_1ExprManager.html">ExprManager</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
<div class="headertitle">
<div class="title">CVC3::ExprManager Member List</div> </div>
</div><!--header-->
<div class="contents">
<p>This is the complete list of members for <a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a>, including all inherited members.</p>
<table class="directory">
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga305b349b572c311b55a121e28392a714">andExpr</a>(const std::vector< Expr > &children)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#gab01fe102500e6b4e266299bf4bbb8a20">boolExpr</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga51109c3e331615c510c964798b38ee95">checkType</a>(const Expr &e)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga9bddd7eaf6f198476eda3cd55227f384">clear</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gab4b3f2259b5c0af2251741139ea9d952">clearFlags</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga15e87e829f86a1dcf2c5e05be6f4d182">computeType</a>(const Expr &e)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a8f6f7143ab2a62f58ed86d296fa23be4">d_bool</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#ab4503774f636c29f72d680289f2783dc">d_cm</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a002213c66d24e953c75d7f1238849c87">d_dagPrinting</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a9c4e054fd961a0910bbf03b8bbccb04a">d_disableGC</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a20b3e13cca9564afd32e3df2537bdb24">d_emptyVec</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a007da346931bbc8d2dafafaa81c4ea9c">d_exprSet</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a4b0a44de15c4b3de63233d824a2058bd">d_false</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a0e8b6ba08f3b0cdf44457240da091100">d_flagCounter</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a74ef690ec61d40be41b784246ecd32c4">d_indent</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a84f7afd3443e0b6998db69cea8340b38">d_indentTransient</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#abc472a0164e86abb54806342ce2020fd">d_index</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a6ae99a5eb75cee11d7f638c1ea17a201">d_inGC</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#ac323f030431b1f87c9201117486f2fd6">d_inputLang</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a07ec9cfbc5aa8fbc09b7844a4a7ad34e">d_kindMap</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#aeab702ffe6838b75b285df2d1cd0f8fb">d_kindMapByName</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#acc7d0bb165528fd61ae7a1015cd28dfe">d_lineWidth</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#aa5eefdcd1d9d304dec3553908c76f10d">d_mm</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a5cfe801f6ae8f9fd7a51477a219685e8">d_mmFlag</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#abf2f3e04c70fc71ba01170007e3a0831">d_notifyObj</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#afd9f8cac32e3acbbf7bbb18506cb2350">d_nullExpr</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#ac2d8f75464d06456fa0b2111df849d70">d_outputLang</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a99533eeb3df944329cf62d97c86fc43c">d_pending</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a5ab1d84efde75b4ed4d5c1f4b47c2601">d_pointerHash</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a679888b2e2e5cb92645ec6bd0701f7ec">d_postponed</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a7ee8efeb3b86e7b044290ad543792db2">d_postponeGC</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a12e3e4bb896c10134908607b528512de">d_prettyPrinter</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#ac51aa6e1a689046daae9591ffdf7a6fe">d_printDepth</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a841b8a48adc1372b7d99e3f93dd9620a">d_rebuildCache</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a8770381a9e54320b15897ad4757d6c5e">d_simpCacheTagCurrent</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a144ee6ab8333d5a1c79b304abe296e89">d_tm</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a6c341a4de2d1e1189e9a1a67430a508c">d_true</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a3b4356ae8ebb7c1fc561188920ae7d03">d_typeComputer</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a77f4cd27ea691329a3c01285c116eebd">d_typeKinds</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#ad6daa0d62357b8c7b8e17e9cbe627936">d_withIndentation</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gab24afcec7ae8e33808eebf608193efd9">dagPrinting</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#aa33520359f6cc0f51b476790d39ed869">Expr</a> class</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gaf3af8657f4b2c64f189f0a50147d3589">ExprManager</a>(ContextManager *cm, const CLFlags &flags)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a6b4e0ce748563841be8fe35c34ee7975">ExprValue</a> class</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#ac77431b2fe56b930edd5961b1f6eb14d">ExprValueSet</a> typedef</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#gaae9db4c93c67cbf8bbf5d1e60e94f1ae">falseExpr</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gae5cc4c6a7dfcc718c7c931e6b160d9d1">finiteTypeInfo</a>(Expr &e, Unsigned &n, bool enumerate, bool computeSize)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga5878c4fbe700243540dc835b965fd01b">gc</a>(ExprValue *ev)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga50b20f4e775e01da9045fbea0762855b">getCM</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga5f8daa1f01a0b3f30a3a147243411e5a">getCurrentContext</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga4619bc6e35a273b89d30908c45d73348">getEmptyVector</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#gacaa71017958e2e9d069c055248c8dd78">getFlag</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gae33e1c95930679cde944e2d2d5984db1">getInputLang</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga9e7929fab9329724812e74b066a3c90a">getKind</a>(const std::string &name)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gad129f2ecc362f60ca43e06ff46b8521b">getKindName</a>(int kind)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#gaa4b16553ca47bb59c3978be771a5766b">getMemory</a>(int verbosity)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga721fc26fe37460f80e6d614cfe0d6fd8">getMM</a>(size_t MMIndex)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga5b9a6dbadfbed96662a5b5d72e6001e2">getNullExpr</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gaeef110905b00e6e89f54c082e3c4c1a3">getOutputLang</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga3762b5bfe4264bd35b4e887084835fa6">getPrinter</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gacacaaf5083e198a6014c2407c7f09cc0">getSimpCacheTag</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga4aa1269ec9df849a4b7654742408d2ca">getTM</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gac4a0d5785aa3427b482ab07dff8b5609">hash</a>(const ExprValue *ev) const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#gaa6b885e5372d6072b670831c4e577eff">hash</a>(const Expr &e) const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a5027bd09c010f0a1fdc060a3064b1c7c">HashEV</a> class</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#gaf1a5a30e0f0ed0a3e59201530d39d49a">incIndent</a>(int n, bool permanent=false)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga54ddb950b6bd35316d1cefe3fd506149">indent</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga787e95a252f54b5fdb7c4d387ea49fae">indent</a>(int n, bool permanent=false)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a8719f1580a1e4bde43738f5d349f0e4a">installExprValue</a>(ExprValue *ev)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#gaba358e1731ad9309e52e64eb9ce60755">invalidateSimpCache</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gaaec477005a23531fa15d27282658aab8">isActive</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#gae9e4de0bea1c6f2b5ef2e6c8a59b2b7c">isKindRegistered</a>(int kind)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga8e91326852cd6030a390fa3a29f6c8f9">isTypeKind</a>(int kind)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#gac64badd3988c01f34e43f227902e80f1">lastIndex</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gab624bd63ef4b189802f1708a41b2b3da">lineWidth</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga22dbb23f716cc73378d4c69d564e38dd">newBoundVarExpr</a>(const std::string &name, const std::string &uid)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga53f1a8180e8fcfead2537dd876c80682">newBoundVarExpr</a>(const std::string &name, const std::string &uid, const Type &type)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga4a47e11b69e5a197d0437be8a632fa08">newBoundVarExpr</a>(const Type &type)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga0d2ff7603a249b30b2df4e549607ad6e">newClosureExpr</a>(int kind, const Expr &var, const Expr &body)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga349cd5c632090f97d1f03effcbb3ebe4">newClosureExpr</a>(int kind, const std::vector< Expr > &vars, const Expr &body)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga99ccea65cb5a86a0ac3f671777f8812d">newClosureExpr</a>(int kind, const std::vector< Expr > &vars, const Expr &body, const Expr &trigger)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga9793cd1d6b44062a5ae5b8bd5e5f548d">newClosureExpr</a>(int kind, const std::vector< Expr > &vars, const Expr &body, const std::vector< Expr > &triggers)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga47dd127b6737e1c0163fdf34cb5f1f15">newClosureExpr</a>(int kind, const std::vector< Expr > &vars, const Expr &body, const std::vector< std::vector< Expr > > &triggers)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga603f0df90a7c9695e010355f8ad8df43">newExpr</a>(ExprValue *ev)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga3c693890e6e6e1610c44dda553dbf803">newExprValue</a>(ExprValue *ev)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga2b0c6f8e83135e82ebe084188e390da1">newKind</a>(int kind, const std::string &name, bool isType=false)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gacd77df1dbcc429e06a75047e2f609822">newLeafExpr</a>(const Op &op)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga18423a42ce6557dc33287d3979ccc3c6">newRatExpr</a>(const Rational &r)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gaf392ed0e07e505e56e551ce9cdaa76fe">newSkolemExpr</a>(const Expr &e, int i)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga3c1f298d2fdd7aaba48d000ca27df636">newStringExpr</a>(const std::string &s)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gafddb4551e9dbb163823b1162248e58f0">newSymbolExpr</a>(const std::string &s, int kind)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga4d52ed373636679c2dd651d10822a3ee">newVarExpr</a>(const std::string &s)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gab5336831e8006e69a57f9c1b728138f6">nextFlag</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga212f07de6befabee47e4f9a1813e7c44">nextIndex</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a2c31e8a3c11caeb061d69db14ebb0e95">Op</a> class</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga65c227873c06b36c509832506d690aaa">orExpr</a>(const std::vector< Expr > &children)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga9c35426ab6885b609e84a4be9b30effc">postponeGC</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga56fe351db38c3cc509ae6b1b9c2de000">printDepth</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gacaab5ccf5cf81d11185979051d301d5e">rebuild</a>(const Expr &e)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#gaa86d7ed7800549f1621d2d5ce64ce643">rebuildRec</a>(const Expr &e)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gacd01e4de3a171218d0192a9450fb7605">registerPrettyPrinter</a>(PrettyPrinter &printer)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga10284641fda307d52345f73e8ad5def0">registerSubclass</a>(size_t sizeOfSubclass)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga39c8449d567e83ccd711cb2ff1a91dbf">registerTypeComputer</a>(TypeComputer *typeComputer)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga3fe43b71bb148045c114e054934f5304">restoreIndent</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#gafd44d7be33c1111722aa7bb9f3b8b2e9">resumeGC</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#gafd98497270fdbd403d52b09cf95d0839">scopelevel</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga3a3060cbeb64eb97ac935f8f05a60f9b">setTM</a>(TheoremManager *tm)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga4471fca49c2acbb7b4cf71e72bc55d6a">trueExpr</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html#a18dba29b4f3e91d6d2bc53472a6bb7cc">Type</a> class</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga4662ac518622beab3379f6da23380a75">unregisterPrettyPrinter</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="group__EM__Priv.html#ga3576f0cdcb0ab043d0612c7d9aff7ba1">withIndentation</a>() const </td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="group__EM__Priv.html#ga318254064b65faf57e1657b680688bc7">~ExprManager</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprManager.html">CVC3::ExprManager</a></td><td class="entry"></td></tr>
</table></div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Thu May 16 2013 13:25:17 for CVC3 by  <a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.2
</small></address>
</body>
</html>
