<!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_1ExprTransform.html">ExprTransform</a></li> </ul> </div> </div><!-- top --> <div class="header"> <div class="headertitle"> <div class="title">CVC3::ExprTransform Member List</div> </div> </div><!--header--> <div class="contents"> <p>This is the complete list of members for <a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a>, including all inherited members.</p> <table class="directory"> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#aa93bd2d9e0e030afe292419128fbb118">AckConstraints</a>(T_ack_map &ack_map, T_name_map &name_map)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#aac9127480414753520986d861dae7fdf">ANNames</a>(T_ack_map &ack_map, T_type_map &type_map)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#aa10792398a3dd7f79c5cc619585a599f">B_formula_map</a> typedef</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#afd51977fd7d11cb567f22d5be92ef8b2">B_name_map</a> typedef</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a473dadfb4e1638fd294871ce1c065eab">B_Term_map</a> typedef</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a8562ba510c6e4f2da2c2e57c56fd1200">B_Term_Map_Deleter</a>(B_Term_map &Map)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ad3d45dc36c7202bdfb6ae3296fd30ca0">B_type_map</a> typedef</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#aa18644e8ddad65f85bba79b631a0b64f">BryantNames</a>(T_generator_map &generator_map, B_type_map &type_map)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a71108e36557a2682d8e321067c161e31">BuildBryantMaps</a>(const Expr &e, T_generator_map &generator_map, B_Term_map &X_generator_map, B_type_map &type_map, std::vector< Expr > &Pred_vec, std::set< Expr > &P_terms, std::set< Expr > &G_terms, B_Term_map &P_term_map, B_Term_map &G_term_map, std::set< Expr > &SeenBefore, std::set< Expr > &ITE_Added)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#adbeeb663fe9bd8a4ffb4ef990bd41b0a">BuildMap</a>(const Expr &e, T_ack_map &ack_map, T_type_map &type_map, std::set< Expr > &SeenBefore)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ae3bfa06061376f6a2bbd367da8ad6fed">ConstrainedConstraints</a>(std::set< Expr > &Not_replaced_set, T_generator_map &Constrained_map, B_name_map &name_map, B_Term_map &Creation_map, std::set< Expr > &Constrained_set, std::set< Expr > &UnConstrained_set, std::set< Expr > &P_constrained_set)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a659a92b833ed5812ba515f85198e2cf8">ConstrainedConstraints</a>(T_generator_map &Constrained_map, B_name_map &name_map, B_Term_map &Creation_map, std::set< Expr > &Constrained_set, std::set< Expr > &UnConstrained_set, std::set< Expr > &P_constrained_set)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a9dcc604aebee21513a723e7a4e1a19ab">CountSubTerms</a>(const Expr &e, int &counter)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a4228c9a8ee02c424c35bbd4bf3733cb8">d_budgetLimit</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"><span class="mlabel">private</span></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#aeea6bcb414f95c53d846ad7c684b1a5d">d_commonRules</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"><span class="mlabel">private</span></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#adf66a811cae797e64ae8ff25e922766a">d_core</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"><span class="mlabel">private</span></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a574575f8c65c604d6904c4654f2e48d6">d_newPPCache</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"><span class="mlabel">private</span></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a986331240196633d2d639867eb2b2850">d_pushNegCache</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"><span class="mlabel">private</span></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ae6bdbc5df7bd412e0594650d7ef02cc4">d_rules</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"><span class="mlabel">private</span></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a741b9541234b906a8b74845e4c4d3c51">d_theoryArith</a></td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"><span class="mlabel">private</span></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a437c0fff15f026314984701a915ea956">doackermann</a>(const Expr &T)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a4d3d970b0c48c6f5973fc150a8a63d5b">dobryant</a>(const Expr &T)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a7bf5ddc9291a65cc5fa55af9f3a7f338">ExprTransform</a>(TheoryCore *core)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a9b0513038a344188cd7ba64c439f0a90">Get_ITEs</a>(B_formula_map &instance_map, std::set< Expr > &Not_replaced_set, B_Term_map &P_term_map, T_ITE_vec &ITE_vec, B_Term_map &Creation_map, B_name_map &name_map, T_ITE_map &ITE_map)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a7ef78e51553a7f71acb5c9440d39e934">GetAckSwap</a>(const Expr &orig, std::vector< Expr > &OldAck, std::vector< Expr > &NewAck, T_name_map &name_map, T_ack_map &ack_map, std::set< Expr > &SeenBefore)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#aad34764272dd1294745101217847c037">GetFormulaMap</a>(const Expr &e, std::set< Expr > &formula_map, std::set< Expr > &G_terms, int &size, int negations)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ae234191fd5e1cf389b6db0d62fa14419">GetGTerms2</a>(std::set< Expr > &formula_map, std::set< Expr > &G_terms)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a6be37560bf3a9d8fb1770ff68903bbed">GetOrderedTerms</a>(B_formula_map &instance_map, B_name_map &name_map, B_Term_map &X_term_map, T_ITE_vec &ITE_vec, std::set< Expr > &G_terms, std::set< Expr > &X_terms, std::vector< Expr > &Pred_vec, std::vector< Expr > &sortedOps, std::vector< Expr > &Constrained_vec, std::vector< Expr > &UnConstrained_vec, std::set< Expr > &Constrained_set, std::set< Expr > &UnConstrained_set, B_Term_map &G_term_map, B_Term_map &P_term_map, std::set< Expr > &SeenBefore, std::set< Expr > &ITE_Added)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ad905aa95541bd87e9a1c14c385e1ce8c">GetOrdering</a>(B_Term_map &X_generator_map, B_Term_map &G_term_map, B_Term_map &P_Term_map)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a2809937bb336aef64363212c5f69d443">GetPEqs</a>(const Expr &e, B_name_map &name_map, std::set< Expr > &P_constrained_set, std::set< Expr > &Constrained_set, T_generator_map &Constrained_map, std::set< Expr > &SeenBefore)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a1fd5200aed59c30782723933193e17e1">GetSortedOpVec</a>(B_Term_map &X_generator_map, B_Term_map &X_term_map, B_Term_map &P_term_map, std::set< Expr > &P_terms, std::set< Expr > &G_terms, std::set< Expr > &X_terms, std::vector< Expr > &sortedOps, std::set< Expr > &SeenBefore)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#aae8f759b318fc4e16a89e188cb11da79">GetSub_vec</a>(T_ITE_vec &ITE_vec, const Expr &e, std::set< Expr > &ITE_Added)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ab56e297f7c76c3f3dd25cb0fe2128743">ITE_generator</a>(Expr &Orig, Expr &Value, B_Term_map &Creation_map, B_name_map &name_map, T_ITE_map &ITE_map)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a778f42e55a939714cfc796f8694c21b6">NEW_formula_map</a> typedef</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ae810dc60dbc0e66fcdcd75fd883db5cc">NewBryantVar</a>(const int a, const int b)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a10909e40663567172bcbf45bad521055">newPP</a>(const Expr &e, int &budget)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a5817a5d8a33b01904fa7e06aa91061bb">newPPrec</a>(const Expr &e, int &budget)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a08a24c302c7469e845fea47c6eb1bdab">NewVar</a>(const int a, const int b)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a373ee038538a33ee19d424779c5be94a">PredConstrainer</a>(std::set< Expr > &Not_replaced_set, const Expr &e, const Expr &Pred, int location, B_name_map &name_map, std::set< Expr > &SeenBefore, std::set< Expr > &Constrained_set, T_generator_map &Constrained_map, std::set< Expr > &P_constrained_set)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a108f3c577d310fc31d33cf99d45c8f83">PredConstrainTester</a>(std::set< Expr > &Not_replaced_set, const Expr &e, B_name_map &name_map, std::vector< Expr > &Pred_vec, std::set< Expr > &Constrained_set, std::set< Expr > &P_constrained_set, T_generator_map &Constrained_map)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a39652560061ab1172040113d9dfa25f6">preprocess</a>(const Expr &e)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#aeb0a695de12cfa208e39f0b5a4bdeb56">preprocess</a>(const Theorem &thm)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ab2757afee881751f99c86499400aef44">pushNegation</a>(const Expr &e)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a5daaef4e405ec8c9bb7f6e6adbde27fa">pushNegation1</a>(const Expr &e)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a8a34a76b702e026c8285f18893da7dbd">pushNegationRec</a>(const Expr &e, bool neg)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#aa247d13841a682165edb357895d78aa3">pushNegationRec</a>(const Theorem &e, bool neg)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a42100ea2839cf15346eab2c8ca29b744">RemoveFunctionApps</a>(const Expr &orig, std::set< Expr > &Not_replaced_set, std::vector< Expr > &Old, std::vector< Expr > &New, T_ITE_map &ITE_map, std::set< Expr > &SeenBefore)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#af362794d5fd753e8d6ac6dab185eb424">setTheoryArith</a>(TheoryArith *arith)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"><span class="mlabel">inline</span></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ad18b9697ac34575a40f106e48cfef5b4">simplifyWithCare</a>(const Expr &e)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#aafc3b026dbacc81d82b75a45b702b0a4">smartSimplify</a>(const Expr &e, ExprMap< bool > &cache)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ac16db941bec1cf4ecb888a8fc3f1a0e9">specialSimplify</a>(const Expr &e, ExprHashMap< Theorem > &cache)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ae1f3a46b2e09495bb5afe3ac46f23c2b">substitute</a>(const Expr &e, ExprHashMap< Theorem > &substTable, ExprHashMap< Theorem > &cache)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"><span class="mlabel">private</span></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a6c748a11c5329f22edb08e2480e4d35d">T_ack_map</a> typedef</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ae3037a0875b13d617c86cb543c1d4c30">T_generator_map</a> typedef</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a442486c9c71341eaa3fb69f60e8d37f1">T_generator_Map_Deleter</a>(T_generator_map &Map)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a09e5e66e7ff199ea844d4ac6b0b5312c">T_ITE_map</a> typedef</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#aa711e6099dd934a9bc975cd8ca4c19f8">T_ITE_vec</a> typedef</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ac97b921ef5da4a6f60b961984dc6100a">T_name_map</a> typedef</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#a0497ad8dd16d60a11af24a3aa31de0a4">T_type_map</a> typedef</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"></td></tr> <tr><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ad12aee56d7dd01276af2d993ce4676c9">updateQueue</a>(ExprMap< std::set< Expr > * > &queue, const Expr &e, const std::set< Expr > &careSet)</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"><span class="mlabel">private</span></td></tr> <tr class="even"><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html#ab276e3bf371d8b726c801f2f6350bc3c">~ExprTransform</a>()</td><td class="entry"><a class="el" href="classCVC3_1_1ExprTransform.html">CVC3::ExprTransform</a></td><td class="entry"><span class="mlabel">inline</span></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>