<!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_1Translator.html">Translator</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
<div class="headertitle">
<div class="title">CVC3::Translator Member List</div> </div>
</div><!--header-->
<div class="contents">
<p>This is the complete list of members for <a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a>, including all inherited members.</p>
<table class="directory">
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ad5c28f74006f791727b15d17a3a20650">benchName</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#af1a89762818192869c5d2161dab0a167">category</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#aa41988d7a85be9e3b68a053ef1db50b6">containsArray</a>(const Expr &e)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a2adf399cb0475894d8b4ea870aaf4547">d_arithUsed</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a607f817315c4f3140610420f97172c41">d_arrayConvertMap</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a77ec037bfce2d8e0d98ed1f7c4fef2c0">d_arrayType</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a0793dec1240036cde06df95a14241438">d_ax</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a7e45d1878196924bef7ab146613975a1">d_benchName</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a4a4f7719dd2741c94c88111015846099">d_category</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a72b7aff947a816fbf26f7a97ce0f5fdd">d_combineAssump</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a4f578f10a492640eec9ff8de157cc521">d_convertArith</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ab09c1e81131dfc2d3a4da1f859a8108e">d_convertArray</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a53fdab56fe2f1e821b3f36c2641ae462">d_convertToBV</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ac20944f0dfa8772fd1e4c1ad757bf9da">d_convertToDiff</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ac5e47db270e1b8d4ee40fe2654382413">d_dump</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a703373c20b6092dd4ca97566921c2583">d_dumpExprs</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a86e279b67edf39d32056d279a4f9de3b">d_dumpFileOpen</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ac142228e58539d53376555542fa357fc">d_elementType</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a913d9fbcdfbb4d17e3864a74480b0611">d_em</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a0dc704ddbd08fdeddd838280539e31bd">d_equalities</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a755c43c5f5be61e8c3c034dccaef33ba">d_expResult</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a3fc40e37980968ff8859c1634c006749">d_indexType</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a2e326c83175674acde79b1e33fe391b7">d_intConstUsed</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#aa4dc3a71a03482ba8bb6ff8579e09781">d_intIntArray</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a69c89f774ba1fe6c13ca3559748776af">d_intIntRealArray</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#aca1de6c7f5ab780b57d10c66f58a2890">d_intRealArray</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a18db4e99db8f78e67992cb3cf68dee28">d_intUsed</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#afd9c853a8d17a1c7905bb007f1494ce0">d_iteLiftArith</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#aa6d9fb46298801972cb082ec6eb9918d">d_langUsed</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a61574c04bd74489b4438ca890f3ec7b4">d_osdump</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a78a511690ef1f3421862b39dad9d02f7">d_osdumpFile</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a54add6521f2f005b84cdd129d64764f2">d_real2int</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a706c02509ddc23d60d43f38af6497139">d_realUsed</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ad81beb93ee2668558c897398ce68fa44">d_replaceSymbols</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a2181217309457039aab4b190e523f390">d_source</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a270ac8683f5505f82e207f3238aef007">d_status</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a0d360419c4e9e9ee9ac8e8af126534d2">d_theoryArith</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a9b8dc03475b2e90380f82bac9f71e39d">d_theoryArray</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#aef70b07a6df14699d8f5bc24c6e93ae9">d_theoryBitvector</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a1379b7c9235c804f32ab5ce19d86a907">d_theoryCore</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ad4a063f628068060febbdff159af1eb3">d_theoryDatatype</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a5e85f73e319fbd8745c66852cfc1cad5">d_theoryQuant</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a0ce73787e0363fc66f6e653cbec219f6">d_theoryRecords</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a3fbe66e1fdb7b24735146f6e15d6c9da">d_theorySimulate</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a67f2340f940914d63aea99462eced2ad">d_theoryUF</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ac55f4fdc4bbb29ccd09dfda38a6eeb91">d_tmpFile</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a62b1d8ae4ec79cfb22725dd4635d59de">d_translate</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a939bf8530ea41cd0e0c9f8621e17569d">d_UFIDL_ok</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a290235a7047226a6564add8ef5ad1f10">d_unknown</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#abff660525da18bbe419aed68df4d8564">d_zeroVar</a></td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a2085a4f56a069befeaf2de05d78312a0">dump</a>(const Expr &e, bool dumpOnly=false)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ad7100f7c31841078e4d298aa415694e0">dumpAssertion</a>(const Expr &e)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a0642e4129e907824a8ac54d4cb89462f">dumpQuery</a>(const Expr &e)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#abafa3e4622d8ef21e29d79c7efb20053">dumpQueryResult</a>(QueryResult qres)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a6821f774dda2d0964fde109b29de20a8">escapeSymbol</a>(const std::string &s)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#aa1ff667f344c04df1ff5a6b50cd96e0a">fileToSMTLIBIdentifier</a>(const std::string &filename)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a444765aa6bbf793c1ddbc66e9fb829fe">finish</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a0ee4f6a5cf7bb40bfe341e4b99f06810">fixConstName</a>(const std::string &s)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a6cad6b15357c5baf43a287be1a762a26">preprocess</a>(const Expr &e, ExprMap< Expr > &cache)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ab0934eb91855a58064402f48bf4b4ad5">preprocess2</a>(const Expr &e, ExprMap< Expr > &cache)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a8643ae389927052297fef525045211ac">preprocess2Rec</a>(const Expr &e, ExprMap< Expr > &cache, Type desiredType)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#aed0fe44184d5d994a340d7006136a6dc">preprocessRec</a>(const Expr &e, ExprMap< Expr > &cache)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ab562bf78b184a0039093ce0dba0770d0">printArrayExpr</a>(ExprStream &os, const Expr &e)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a5e42669a5a6f0a69ae33fde3ccedb8bb">processType</a>(const Expr &e)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a90238a14586a6582a741bebebce13010">quoteAnnotation</a>(const std::string &s)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a9db51995d5dc21b254bfeb5381b4ce5a">setBenchName</a>(std::string name)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#aed753d381e5cec7619b8324a7588b874">setCategory</a>(std::string category)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ac9c933a8ce7265f0463c8556c8eb624c">setSource</a>(std::string source)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a4c9d948f111bd360e937b170a2c95120">setStatus</a>(std::string status)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a56398996b69a8ae5f2d483cac21c06b4">setTheoryArith</a>(TheoryArith *theoryArith)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ae98b6dcd49033de9e7af75bf832ed907">setTheoryArray</a>(TheoryArray *theoryArray)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a87f9011a441dd3c772c0efc8d73e8548">setTheoryBitvector</a>(TheoryBitvector *theoryBitvector)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ae54e65770cca9121bd7edb3066db0cca">setTheoryCore</a>(TheoryCore *theoryCore)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a9fdb4320a2310af16ef6caacdff8ab5c">setTheoryDatatype</a>(TheoryDatatype *theoryDatatype)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#afa7244fb9f0b749548fe1702238a1d29">setTheoryQuant</a>(TheoryQuant *theoryQuant)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a072d9f51dc77cf2e1d1c4b7ebafd4d1d">setTheoryRecords</a>(TheoryRecords *theoryRecords)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a8c47c28bbcfb39b3dc8244eda47a5dc9">setTheorySimulate</a>(TheorySimulate *theorySimulate)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ac90246c6882f3afb6dfa2c1cd28bee77">setTheoryUF</a>(TheoryUF *theoryUF)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ad57a63292d37aa81d56c3102edd99f2b">source</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#ad0209b8b429fc08f7cd500aae0f35792">start</a>(const std::string &dumpFile)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#aee4bdef7291181744580934a93849b64">status</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a23f150cc9a6b041d95b801bcdb5c9b5b">Translator</a>(ExprManager *em, const bool &translate, const bool &real2int, const bool &convertArith, const std::string &convertToDiff, bool iteLiftArith, const std::string &expResult, const std::string &category, bool convertArray, bool combineAssump, int convertToBV)</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a89f83c6d0dcc3416b7b5facd68753e80">zeroVar</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classCVC3_1_1Translator.html#a9c262ba866126a6a35e979a64d7e3518">~Translator</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1Translator.html">CVC3::Translator</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:19 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>
