Sophie

Sophie

distrib > Fedora > 15 > i386 > by-pkgid > 583ffa4ba069126c3ba0bc565dc0485a > files > 296

cvc3-doc-2.4.1-1.fc15.noarch.rpm

<!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: CVC3::ExprHashMap&lt; Data &gt; Class Template 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&#160;<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&#160;Page</span></a></li>
      <li><a href="pages.html"><span>Related&#160;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&#160;List</span></a></li>
      <li><a href="classes.html"><span>Class&#160;Index</span></a></li>
      <li><a href="hierarchy.html"><span>Class&#160;Hierarchy</span></a></li>
      <li><a href="functions.html"><span>Class&#160;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_1ExprHashMap.html">ExprHashMap</a>      </li>
    </ul>
  </div>
</div>
<div class="header">
  <div class="summary">
<a href="#nested-classes">Classes</a> &#124;
<a href="#pub-methods">Public Member Functions</a> &#124;
<a href="#pri-types">Private Types</a> &#124;
<a href="#pri-attribs">Private Attributes</a>  </div>
  <div class="headertitle">
<div class="title">CVC3::ExprHashMap&lt; Data &gt; Class Template Reference</div>  </div>
</div>
<div class="contents">
<!-- doxytag: class="CVC3::ExprHashMap" -->
<p><code>#include &lt;<a class="el" href="expr__map_8h_source.html">expr_map.h</a>&gt;</code></p>

<p><a href="classCVC3_1_1ExprHashMap-members.html">List of all members.</a></p>
<h2><a name="nested-classes"></a>
Classes</h2>
<ul>
<li>class <a class="el" href="classCVC3_1_1ExprHashMap_1_1const__iterator.html">const_iterator</a>
<li>class <a class="el" href="classCVC3_1_1ExprHashMap_1_1iterator.html">iterator</a>
</ul>
<h2><a name="pub-methods"></a>
Public Member Functions</h2>
<ul>
<li><a class="el" href="classCVC3_1_1ExprHashMap.html#a10db8a05fc988fcdf829290fd76b3aa7">ExprHashMap</a> ()
<dl class="el"><dd class="mdescRight">Default constructor.  <a href="#a10db8a05fc988fcdf829290fd76b3aa7"></a><br/></dl><li><a class="el" href="classCVC3_1_1ExprHashMap.html#afd06f26950a017d13b5ea50289880596">ExprHashMap</a> (size_t n)
<dl class="el"><dd class="mdescRight">Constructor specifying the initial number of buckets.  <a href="#afd06f26950a017d13b5ea50289880596"></a><br/></dl><li><a class="el" href="classCVC3_1_1ExprHashMap.html#af06cf167cea59e5ae7badaa9f0ebe3e9">ExprHashMap</a> (const <a class="el" href="classCVC3_1_1ExprHashMap.html">ExprHashMap</a> &amp;map)
<li>bool <a class="el" href="classCVC3_1_1ExprHashMap.html#acacf635065039ccea5acb5b91dbaa4bb">empty</a> () const 
<li>size_t <a class="el" href="classCVC3_1_1ExprHashMap.html#a9d792cf5282604c376d329ae325c983e">size</a> () const 
<li>size_t <a class="el" href="classCVC3_1_1ExprHashMap.html#a7819727fbff7291cd64e99511d730bf7">count</a> (const <a class="el" href="classCVC3_1_1Expr.html">Expr</a> &amp;e) const 
<li>Data &amp; <a class="el" href="classCVC3_1_1ExprHashMap.html#a373ccb2d238750dbe7f97e8d1b8599ba">operator[]</a> (const <a class="el" href="classCVC3_1_1Expr.html">Expr</a> &amp;e)
<li>void <a class="el" href="classCVC3_1_1ExprHashMap.html#aa20f14dba09537171af45bf479b99c66">clear</a> ()
<li>void <a class="el" href="classCVC3_1_1ExprHashMap.html#a7fb3e24bb67239243212af626cc2f976">insert</a> (const <a class="el" href="classCVC3_1_1Expr.html">Expr</a> &amp;e, const Data &amp;d)
<li>void <a class="el" href="classCVC3_1_1ExprHashMap.html#a77637e1f3754b7153cbd1b903a5acb76">erase</a> (const <a class="el" href="classCVC3_1_1Expr.html">Expr</a> &amp;e)
<li>template&lt;class InputIterator &gt; void <a class="el" href="classCVC3_1_1ExprHashMap.html#aab34dac320560ad52d414779bc6b8a85">insert</a> (InputIterator l, InputIterator r)
<li>template&lt;class InputIterator &gt; void <a class="el" href="classCVC3_1_1ExprHashMap.html#ae92a5f023a57e716a97e6807a815b36c">erase</a> (InputIterator l, InputIterator r)
<li><a class="el" href="classCVC3_1_1ExprHashMap_1_1iterator.html">iterator</a> <a class="el" href="classCVC3_1_1ExprHashMap.html#a1a0ea7ed7eb73e3f08ccce9f29e90c71">begin</a> ()
<li><a class="el" href="classCVC3_1_1ExprHashMap_1_1iterator.html">iterator</a> <a class="el" href="classCVC3_1_1ExprHashMap.html#a0ea2aa250fd1431c311d83f32862bba7">end</a> ()
<li><a class="el" href="classCVC3_1_1ExprHashMap_1_1const__iterator.html">const_iterator</a> <a class="el" href="classCVC3_1_1ExprHashMap.html#a24ec23a15b7f6c121042f4b28fd83615">begin</a> () const 
<li><a class="el" href="classCVC3_1_1ExprHashMap_1_1const__iterator.html">const_iterator</a> <a class="el" href="classCVC3_1_1ExprHashMap.html#ad99d1aa47182ed209670d3b7bdef61f5">end</a> () const 
<li><a class="el" href="classCVC3_1_1ExprHashMap_1_1iterator.html">iterator</a> <a class="el" href="classCVC3_1_1ExprHashMap.html#aeffd58f05fbeb8f381ba2050adef7a2d">find</a> (const <a class="el" href="classCVC3_1_1Expr.html">Expr</a> &amp;e)
<li><a class="el" href="classCVC3_1_1ExprHashMap_1_1const__iterator.html">const_iterator</a> <a class="el" href="classCVC3_1_1ExprHashMap.html#aaa311b8de687f72bf8a7296a3e68ef46">find</a> (const <a class="el" href="classCVC3_1_1Expr.html">Expr</a> &amp;e) const 
</ul>
<h2><a name="pri-types"></a>
Private Types</h2>
<ul>
<li>typedef <a class="el" href="classHash_1_1hash__map.html">std::hash_map</a>&lt; <a class="el" href="classCVC3_1_1Expr.html">Expr</a>, Data &gt; <a class="el" href="classCVC3_1_1ExprHashMap.html#a578d3b96ce2e21e0997603e61b006ef6">ExprHashMapType</a>
</ul>
<h2><a name="pri-attribs"></a>
Private Attributes</h2>
<ul>
<li><a class="el" href="classHash_1_1hash__map.html">ExprHashMapType</a> <a class="el" href="classCVC3_1_1ExprHashMap.html#a2b821e44541ec2a2635cc8ac11f7d3ca">d_map</a>
</ul>
<hr/><a name="details" id="details"></a><h2>Detailed Description</h2>
<div class="textblock"><h3>template&lt;class Data&gt;<br/>
class CVC3::ExprHashMap&lt; Data &gt;</h3>


<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00206">206</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>
</div><hr/><h2>Member Typedef Documentation</h2>
<a class="anchor" id="a578d3b96ce2e21e0997603e61b006ef6"></a><!-- doxytag: member="CVC3::ExprHashMap::ExprHashMapType" ref="a578d3b96ce2e21e0997603e61b006ef6" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">typedef <a class="el" href="classHash_1_1hash__map.html">std::hash_map</a>&lt;<a class="el" href="classCVC3_1_1Expr.html">Expr</a>, Data&gt; <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::<a class="el" href="classHash_1_1hash__map.html">ExprHashMapType</a><code> [private]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00209">209</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

</div>
</div>
<hr/><h2>Constructor &amp; Destructor Documentation</h2>
<a class="anchor" id="a10db8a05fc988fcdf829290fd76b3aa7"></a><!-- doxytag: member="CVC3::ExprHashMap::ExprHashMap" ref="a10db8a05fc988fcdf829290fd76b3aa7" args="()" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::<a class="el" href="classCVC3_1_1ExprHashMap.html">ExprHashMap</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Default constructor. </p>

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00298">298</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

</div>
</div>
<a class="anchor" id="afd06f26950a017d13b5ea50289880596"></a><!-- doxytag: member="CVC3::ExprHashMap::ExprHashMap" ref="afd06f26950a017d13b5ea50289880596" args="(size_t n)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::<a class="el" href="classCVC3_1_1ExprHashMap.html">ExprHashMap</a> </td>
          <td>(</td>
          <td class="paramtype">size_t&#160;</td>
          <td class="paramname"><em>n</em></td><td>)</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Constructor specifying the initial number of buckets. </p>

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00300">300</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

</div>
</div>
<a class="anchor" id="af06cf167cea59e5ae7badaa9f0ebe3e9"></a><!-- doxytag: member="CVC3::ExprHashMap::ExprHashMap" ref="af06cf167cea59e5ae7badaa9f0ebe3e9" args="(const ExprHashMap &amp;map)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::<a class="el" href="classCVC3_1_1ExprHashMap.html">ExprHashMap</a> </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classCVC3_1_1ExprHashMap.html">ExprHashMap</a>&lt; Data &gt; &amp;&#160;</td>
          <td class="paramname"><em>map</em></td><td>)</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00302">302</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

</div>
</div>
<hr/><h2>Member Function Documentation</h2>
<a class="anchor" id="acacf635065039ccea5acb5b91dbaa4bb"></a><!-- doxytag: member="CVC3::ExprHashMap::empty" ref="acacf635065039ccea5acb5b91dbaa4bb" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">bool <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::empty </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td> const<code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00305">305</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

<p>Referenced by <a class="el" href="search__theorem__producer_8cpp_source.html#l00221">CVC3::SearchEngineTheoremProducer::conflictClause()</a>.</p>

</div>
</div>
<a class="anchor" id="a9d792cf5282604c376d329ae325c983e"></a><!-- doxytag: member="CVC3::ExprHashMap::size" ref="a9d792cf5282604c376d329ae325c983e" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">size_t <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::size </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td> const<code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00306">306</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

<p>Referenced by <a class="el" href="theory__uf_8cpp_source.html#l00509">CVC3::TheoryUF::computeModel()</a>, <a class="el" href="theory__array_8cpp_source.html#l00939">CVC3::TheoryArray::computeModel()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00226">CVC3::ExprManager::rebuild()</a>, and <a class="el" href="expr_8cpp_source.html#l00199">CVC3::Expr::substExpr()</a>.</p>

</div>
</div>
<a class="anchor" id="a7819727fbff7291cd64e99511d730bf7"></a><!-- doxytag: member="CVC3::ExprHashMap::count" ref="a7819727fbff7291cd64e99511d730bf7" args="(const Expr &amp;e) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">size_t <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::count </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classCVC3_1_1Expr.html">Expr</a> &amp;&#160;</td>
          <td class="paramname"><em>e</em></td><td>)</td>
          <td> const<code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00308">308</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

<p>Referenced by <a class="el" href="theory__core_8cpp_source.html#l03713">CVC3::TheoryCore::assignValue()</a>, <a class="el" href="theory__core_8cpp_source.html#l03862">CVC3::TheoryCore::buildModel()</a>, <a class="el" href="theory__core_8cpp_source.html#l03763">CVC3::TheoryCore::collectBasicVars()</a>, <a class="el" href="theory__core_8cpp_source.html#l03954">CVC3::TheoryCore::collectModelValues()</a>, and <a class="el" href="expr_8cpp_source.html#l00063">CVC3::Expr::recursiveSubst()</a>.</p>

</div>
</div>
<a class="anchor" id="a373ccb2d238750dbe7f97e8d1b8599ba"></a><!-- doxytag: member="CVC3::ExprHashMap::operator[]" ref="a373ccb2d238750dbe7f97e8d1b8599ba" args="(const Expr &amp;e)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">Data&amp; <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::operator[] </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classCVC3_1_1Expr.html">Expr</a> &amp;&#160;</td>
          <td class="paramname"><em>e</em></td><td>)</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00309">309</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

</div>
</div>
<a class="anchor" id="aa20f14dba09537171af45bf479b99c66"></a><!-- doxytag: member="CVC3::ExprHashMap::clear" ref="aa20f14dba09537171af45bf479b99c66" args="()" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::clear </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00310">310</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

<p>Referenced by <a class="el" href="search__simple_8cpp_source.html#l00126">CVC3::SearchSimple::checkValidMain()</a>, <a class="el" href="search__fast_8cpp_source.html#l01624">CVC3::SearchEngineFast::checkValidMain()</a>, <a class="el" href="theory__core_8cpp_source.html#l03763">CVC3::TheoryCore::collectBasicVars()</a>, <a class="el" href="theory__core_8cpp_source.html#l02055">CVC3::TheoryCore::print()</a>, <a class="el" href="search__impl__base_8cpp_source.html#l00317">CVC3::SearchImplBase::processResult()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00226">CVC3::ExprManager::rebuild()</a>, <a class="el" href="expr_8cpp_source.html#l00063">CVC3::Expr::recursiveSubst()</a>, and <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l03867">CVC3::ArithTheoremProducerOld::rewriteLeavesConst()</a>.</p>

</div>
</div>
<a class="anchor" id="a7fb3e24bb67239243212af626cc2f976"></a><!-- doxytag: member="CVC3::ExprHashMap::insert" ref="a7fb3e24bb67239243212af626cc2f976" args="(const Expr &amp;e, const Data &amp;d)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::insert </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classCVC3_1_1Expr.html">Expr</a> &amp;&#160;</td>
          <td class="paramname"><em>e</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype">const Data &amp;&#160;</td>
          <td class="paramname"><em>d</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00312">312</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

<p>Referenced by <a class="el" href="expr_8cpp_source.html#l00063">CVC3::Expr::recursiveSubst()</a>, <a class="el" href="core__theorem__producer_8cpp_source.html#l00621">CVC3::CoreTheoremProducer::rewriteAndSubterms()</a>, <a class="el" href="core__theorem__producer_8cpp_source.html#l00647">CVC3::CoreTheoremProducer::rewriteOrSubterms()</a>, <a class="el" href="expr_8cpp_source.html#l00178">CVC3::Expr::substExpr()</a>, and <a class="el" href="expr_8cpp_source.html#l00217">CVC3::Expr::substExprQuant()</a>.</p>

</div>
</div>
<a class="anchor" id="a77637e1f3754b7153cbd1b903a5acb76"></a><!-- doxytag: member="CVC3::ExprHashMap::erase" ref="a77637e1f3754b7153cbd1b903a5acb76" args="(const Expr &amp;e)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::erase </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classCVC3_1_1Expr.html">Expr</a> &amp;&#160;</td>
          <td class="paramname"><em>e</em></td><td>)</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00313">313</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

<p>Referenced by <a class="el" href="search__impl__base_8cpp_source.html#l00317">CVC3::SearchImplBase::processResult()</a>.</p>

</div>
</div>
<a class="anchor" id="aab34dac320560ad52d414779bc6b8a85"></a><!-- doxytag: member="CVC3::ExprHashMap::insert" ref="aab34dac320560ad52d414779bc6b8a85" args="(InputIterator l, InputIterator r)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
<div class="memtemplate">
template&lt;class InputIterator &gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::insert </td>
          <td>(</td>
          <td class="paramtype">InputIterator&#160;</td>
          <td class="paramname"><em>l</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype">InputIterator&#160;</td>
          <td class="paramname"><em>r</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00316">316</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

</div>
</div>
<a class="anchor" id="ae92a5f023a57e716a97e6807a815b36c"></a><!-- doxytag: member="CVC3::ExprHashMap::erase" ref="ae92a5f023a57e716a97e6807a815b36c" args="(InputIterator l, InputIterator r)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
<div class="memtemplate">
template&lt;class InputIterator &gt; </div>
      <table class="memname">
        <tr>
          <td class="memname">void <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::erase </td>
          <td>(</td>
          <td class="paramtype">InputIterator&#160;</td>
          <td class="paramname"><em>l</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype">InputIterator&#160;</td>
          <td class="paramname"><em>r</em>&#160;</td>
        </tr>
        <tr>
          <td></td>
          <td>)</td>
          <td></td><td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00319">319</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

</div>
</div>
<a class="anchor" id="a1a0ea7ed7eb73e3f08ccce9f29e90c71"></a><!-- doxytag: member="CVC3::ExprHashMap::begin" ref="a1a0ea7ed7eb73e3f08ccce9f29e90c71" args="()" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ExprHashMap_1_1iterator.html">iterator</a> <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::begin </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00325">325</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

<p>Referenced by <a class="el" href="theory__uf_8cpp_source.html#l00509">CVC3::TheoryUF::computeModel()</a>, <a class="el" href="theory__array_8cpp_source.html#l00939">CVC3::TheoryArray::computeModel()</a>, <a class="el" href="expr_8cpp_source.html#l00063">CVC3::Expr::recursiveSubst()</a>, and <a class="el" href="expr_8cpp_source.html#l00199">CVC3::Expr::substExpr()</a>.</p>

</div>
</div>
<a class="anchor" id="a0ea2aa250fd1431c311d83f32862bba7"></a><!-- doxytag: member="CVC3::ExprHashMap::end" ref="a0ea2aa250fd1431c311d83f32862bba7" args="()" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ExprHashMap_1_1iterator.html">iterator</a> <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::end </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00326">326</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

<p>Referenced by <a class="el" href="theory__core_8cpp_source.html#l03862">CVC3::TheoryCore::buildModel()</a>, <a class="el" href="theory__core_8cpp_source.html#l03954">CVC3::TheoryCore::collectModelValues()</a>, <a class="el" href="theory__uf_8cpp_source.html#l00509">CVC3::TheoryUF::computeModel()</a>, <a class="el" href="theory__array_8cpp_source.html#l00939">CVC3::TheoryArray::computeModel()</a>, <a class="el" href="theory__core_8cpp_source.html#l02033">containsRec()</a>, <a class="el" href="cnf__manager_8h_source.html#l00236">SAT::CNF_Manager::getCNFLit()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l03838">CVC3::ArithTheoremProducerOld::getLeaves()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00251">CVC3::ExprManager::rebuildRec()</a>, <a class="el" href="expr_8cpp_source.html#l00260">CVC3::Expr::recursiveQuantSubst()</a>, <a class="el" href="expr_8cpp_source.html#l00063">CVC3::Expr::recursiveSubst()</a>, <a class="el" href="cnf__manager_8cpp_source.html#l00074">SAT::CNF_Manager::replaceITErec()</a>, <a class="el" href="expr__transform_8cpp_source.html#l00296">CVC3::ExprTransform::specialSimplify()</a>, <a class="el" href="expr_8cpp_source.html#l00199">CVC3::Expr::substExpr()</a>, <a class="el" href="expr__transform_8cpp_source.html#l00434">CVC3::ExprTransform::substitute()</a>, and <a class="el" href="cnf__manager_8cpp_source.html#l00147">SAT::CNF_Manager::translateExprRec()</a>.</p>

</div>
</div>
<a class="anchor" id="a24ec23a15b7f6c121042f4b28fd83615"></a><!-- doxytag: member="CVC3::ExprHashMap::begin" ref="a24ec23a15b7f6c121042f4b28fd83615" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ExprHashMap_1_1const__iterator.html">const_iterator</a> <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::begin </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td> const<code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00327">327</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

</div>
</div>
<a class="anchor" id="ad99d1aa47182ed209670d3b7bdef61f5"></a><!-- doxytag: member="CVC3::ExprHashMap::end" ref="ad99d1aa47182ed209670d3b7bdef61f5" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ExprHashMap_1_1const__iterator.html">const_iterator</a> <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::end </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td> const<code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00328">328</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

</div>
</div>
<a class="anchor" id="aeffd58f05fbeb8f381ba2050adef7a2d"></a><!-- doxytag: member="CVC3::ExprHashMap::find" ref="aeffd58f05fbeb8f381ba2050adef7a2d" args="(const Expr &amp;e)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ExprHashMap_1_1iterator.html">iterator</a> <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::find </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classCVC3_1_1Expr.html">Expr</a> &amp;&#160;</td>
          <td class="paramname"><em>e</em></td><td>)</td>
          <td><code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00329">329</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

<p>Referenced by <a class="el" href="theory__core_8cpp_source.html#l03862">CVC3::TheoryCore::buildModel()</a>, <a class="el" href="theory__core_8cpp_source.html#l03954">CVC3::TheoryCore::collectModelValues()</a>, <a class="el" href="theory__core_8cpp_source.html#l02033">containsRec()</a>, <a class="el" href="cnf__manager_8h_source.html#l00236">SAT::CNF_Manager::getCNFLit()</a>, <a class="el" href="arith__theorem__producer__old_8cpp_source.html#l03838">CVC3::ArithTheoremProducerOld::getLeaves()</a>, <a class="el" href="theory__core_8cpp_source.html#l00595">CVC3::TheoryCore::getModelValue()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00251">CVC3::ExprManager::rebuildRec()</a>, <a class="el" href="expr_8cpp_source.html#l00260">CVC3::Expr::recursiveQuantSubst()</a>, <a class="el" href="cnf__manager_8cpp_source.html#l00074">SAT::CNF_Manager::replaceITErec()</a>, <a class="el" href="expr__transform_8cpp_source.html#l00296">CVC3::ExprTransform::specialSimplify()</a>, <a class="el" href="expr__transform_8cpp_source.html#l00434">CVC3::ExprTransform::substitute()</a>, and <a class="el" href="cnf__manager_8cpp_source.html#l00147">SAT::CNF_Manager::translateExprRec()</a>.</p>

</div>
</div>
<a class="anchor" id="aaa311b8de687f72bf8a7296a3e68ef46"></a><!-- doxytag: member="CVC3::ExprHashMap::find" ref="aaa311b8de687f72bf8a7296a3e68ef46" args="(const Expr &amp;e) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classCVC3_1_1ExprHashMap_1_1const__iterator.html">const_iterator</a> <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::find </td>
          <td>(</td>
          <td class="paramtype">const <a class="el" href="classCVC3_1_1Expr.html">Expr</a> &amp;&#160;</td>
          <td class="paramname"><em>e</em></td><td>)</td>
          <td> const<code> [inline]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00330">330</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

</div>
</div>
<hr/><h2>Member Data Documentation</h2>
<a class="anchor" id="a2b821e44541ec2a2635cc8ac11f7d3ca"></a><!-- doxytag: member="CVC3::ExprHashMap::d_map" ref="a2b821e44541ec2a2635cc8ac11f7d3ca" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template&lt;class Data&gt; </div>
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classHash_1_1hash__map.html">ExprHashMapType</a> <a class="el" href="classCVC3_1_1ExprHashMap.html">CVC3::ExprHashMap</a>&lt; Data &gt;::<a class="el" href="classCVC3_1_1ExprHashMap.html#a2b821e44541ec2a2635cc8ac11f7d3ca">d_map</a><code> [private]</code></td>
        </tr>
      </table>
</div>
<div class="memdoc">

<p>Definition at line <a class="el" href="expr__map_8h_source.html#l00211">211</a> of file <a class="el" href="expr__map_8h_source.html">expr_map.h</a>.</p>

<p>Referenced by <a class="el" href="expr__map_8h_source.html#l00325">CVC3::ExprHashMap&lt; std::vector&lt; Circuit * &gt; &gt;::begin()</a>, <a class="el" href="expr__map_8h_source.html#l00310">CVC3::ExprHashMap&lt; std::vector&lt; Circuit * &gt; &gt;::clear()</a>, <a class="el" href="expr__map_8h_source.html#l00308">CVC3::ExprHashMap&lt; std::vector&lt; Circuit * &gt; &gt;::count()</a>, <a class="el" href="expr__map_8h_source.html#l00305">CVC3::ExprHashMap&lt; std::vector&lt; Circuit * &gt; &gt;::empty()</a>, <a class="el" href="expr__map_8h_source.html#l00326">CVC3::ExprHashMap&lt; std::vector&lt; Circuit * &gt; &gt;::end()</a>, <a class="el" href="expr__map_8h_source.html#l00313">CVC3::ExprHashMap&lt; std::vector&lt; Circuit * &gt; &gt;::erase()</a>, <a class="el" href="expr__map_8h_source.html#l00329">CVC3::ExprHashMap&lt; std::vector&lt; Circuit * &gt; &gt;::find()</a>, <a class="el" href="expr__map_8h_source.html#l00312">CVC3::ExprHashMap&lt; std::vector&lt; Circuit * &gt; &gt;::insert()</a>, <a class="el" href="expr__map_8h_source.html#l00309">CVC3::ExprHashMap&lt; std::vector&lt; Circuit * &gt; &gt;::operator[]()</a>, and <a class="el" href="expr__map_8h_source.html#l00306">CVC3::ExprHashMap&lt; std::vector&lt; Circuit * &gt; &gt;::size()</a>.</p>

</div>
</div>
<hr/>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="expr__map_8h_source.html">expr_map.h</a></li>
</ul>
</div>
<hr class="footer"/><address class="footer"><small>Generated on Wed Sep 7 2011 for CVC3 by&#160;
<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.4 </small></address>
</body>
</html>

Perl :: Catalyst :: PostgreSQL :: RPM Valid HTML 4.01 Transitional