<!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: Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey > Class Template Reference</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="namespaceHash.html">Hash</a></li><li class="navelem"><a class="el" href="classHash_1_1hash__map.html">hash_map</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
<div class="summary">
<a href="#pub-types">Public Types</a> |
<a href="#pub-methods">Public Member Functions</a> |
<a href="#pro-types">Protected Types</a> |
<a href="#pro-attribs">Protected Attributes</a> |
<a href="classHash_1_1hash__map-members.html">List of all members</a> </div>
<div class="headertitle">
<div class="title">Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey > Class Template Reference</div> </div>
</div><!--header-->
<div class="contents">
<p><code>#include <<a class="el" href="hash__map_8h_source.html">hash_map.h</a>></code></p>
<div class="dynheader">
Collaboration diagram for Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey >:</div>
<div class="dyncontent">
<div class="center"><img src="classHash_1_1hash__map__coll__graph.gif" border="0" usemap="#Hash_1_1hash__map_3_01__Key_00_01__Data_00_01__HashFcn_00_01__EqualKey_01_4_coll__map" alt="Collaboration graph"/></div>
<map name="Hash_1_1hash__map_3_01__Key_00_01__Data_00_01__HashFcn_00_01__EqualKey_01_4_coll__map" id="Hash_1_1hash__map_3_01__Key_00_01__Data_00_01__HashFcn_00_01__EqualKey_01_4_coll__map">
</map>
</div>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
Public Types</h2></td></tr>
<tr class="memitem:ad4469c366b3be18a80232ab65e27e4b0"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classHash_1_1hash__table.html#a324f81cab1c1e0a66f14b93bde73ffe5">_hash_table::size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a></td></tr>
<tr class="separator:ad4469c366b3be18a80232ab65e27e4b0"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a5e1b8d02bbe6146953794f6a39560fb1"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classHash_1_1hash__table.html#a169157d3eb001aad4379ae2b2858d947">_hash_table::key_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a5e1b8d02bbe6146953794f6a39560fb1">key_type</a></td></tr>
<tr class="separator:a5e1b8d02bbe6146953794f6a39560fb1"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a04d69f98db11c4fdb47f1ad009f82520"><td class="memItemLeft" align="right" valign="top">typedef _Data </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a04d69f98db11c4fdb47f1ad009f82520">data_type</a></td></tr>
<tr class="separator:a04d69f98db11c4fdb47f1ad009f82520"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a9d54d13ed95fb8548621011292875ef8"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classHash_1_1hash__table.html#a73a266824c6f4b1e7398bdb95ee7cb51">_hash_table::value_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a9d54d13ed95fb8548621011292875ef8">value_type</a></td></tr>
<tr class="separator:a9d54d13ed95fb8548621011292875ef8"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a263db3c7c9ce53b34529cbda55be123c"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classHash_1_1hash__table.html#adc97d1ce5a0c04a5083faea47e2bf6a7">_hash_table::hasher</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a263db3c7c9ce53b34529cbda55be123c">hasher</a></td></tr>
<tr class="separator:a263db3c7c9ce53b34529cbda55be123c"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:afe18f3473f050e697f36e42cc8246aec"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classHash_1_1hash__table.html#a03e9ef2c5a815421589495e96bb9a6fb">_hash_table::key_equal</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#afe18f3473f050e697f36e42cc8246aec">key_equal</a></td></tr>
<tr class="separator:afe18f3473f050e697f36e42cc8246aec"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a0fae180472ddfd8822c881caf23c11a9"><td class="memItemLeft" align="right" valign="top">typedef _hash_table::iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a></td></tr>
<tr class="separator:a0fae180472ddfd8822c881caf23c11a9"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a34789fb591a84314e78bd17b69aa6065"><td class="memItemLeft" align="right" valign="top">typedef _hash_table::const_iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a></td></tr>
<tr class="separator:a34789fb591a84314e78bd17b69aa6065"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
Public Member Functions</h2></td></tr>
<tr class="memitem:a413e9183459c8dbfe01956822f74e339"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a413e9183459c8dbfe01956822f74e339">hash_map</a> ()</td></tr>
<tr class="memdesc:a413e9183459c8dbfe01956822f74e339"><td class="mdescLeft"> </td><td class="mdescRight">methods <a href="#a413e9183459c8dbfe01956822f74e339"></a><br/></td></tr>
<tr class="separator:a413e9183459c8dbfe01956822f74e339"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a3bcd62bbe9296e4907926da97a379a7b"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a3bcd62bbe9296e4907926da97a379a7b">hash_map</a> (<a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> initial_capacity)</td></tr>
<tr class="separator:a3bcd62bbe9296e4907926da97a379a7b"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a4d34bf6d2c6534642b538a6bb5c41337"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a4d34bf6d2c6534642b538a6bb5c41337">hash_map</a> (<a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> initial_capacity, const _HashFcn &<a class="el" href="structHash_1_1hash.html">hash</a>)</td></tr>
<tr class="separator:a4d34bf6d2c6534642b538a6bb5c41337"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ad3902269c263bf5117f38defa2bf279f"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#ad3902269c263bf5117f38defa2bf279f">hash_map</a> (<a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> initial_capacity, const _HashFcn &<a class="el" href="structHash_1_1hash.html">hash</a>, const _EqualKey &equal)</td></tr>
<tr class="separator:ad3902269c263bf5117f38defa2bf279f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a0d7f14bd98a6411da23c0f38d3e008fd"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a0d7f14bd98a6411da23c0f38d3e008fd">hash_map</a> (const <a class="el" href="classHash_1_1hash__map.html">hash_map</a> &other)</td></tr>
<tr class="separator:a0d7f14bd98a6411da23c0f38d3e008fd"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a7dde0644b6827b737692d80523b01c6a"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html">hash_map</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a7dde0644b6827b737692d80523b01c6a">operator=</a> (const <a class="el" href="classHash_1_1hash__map.html">hash_map</a> &other)</td></tr>
<tr class="separator:a7dde0644b6827b737692d80523b01c6a"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:adb8df1bc8f03ff2426d3d1f9d7676e64"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#adb8df1bc8f03ff2426d3d1f9d7676e64">swap</a> (<a class="el" href="classHash_1_1hash__map.html">hash_map</a> &other)</td></tr>
<tr class="separator:adb8df1bc8f03ff2426d3d1f9d7676e64"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a18703659be23b5ff0b7d7b5c796e6abd"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a18703659be23b5ff0b7d7b5c796e6abd">clear</a> ()</td></tr>
<tr class="separator:a18703659be23b5ff0b7d7b5c796e6abd"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:af3317f9087a35d09985b6513c45d2ab8"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#af3317f9087a35d09985b6513c45d2ab8">find</a> (const <a class="el" href="classHash_1_1hash__map.html#a5e1b8d02bbe6146953794f6a39560fb1">key_type</a> &key)</td></tr>
<tr class="memdesc:af3317f9087a35d09985b6513c45d2ab8"><td class="mdescLeft"> </td><td class="mdescRight">operations <a href="#af3317f9087a35d09985b6513c45d2ab8"></a><br/></td></tr>
<tr class="separator:af3317f9087a35d09985b6513c45d2ab8"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ae51c9512fe5f2f2daa8131aff9c435fc"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#ae51c9512fe5f2f2daa8131aff9c435fc">find</a> (const <a class="el" href="classHash_1_1hash__map.html#a5e1b8d02bbe6146953794f6a39560fb1">key_type</a> &key) const </td></tr>
<tr class="separator:ae51c9512fe5f2f2daa8131aff9c435fc"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a50bce18c5a1585f1c26eaf557de9d252"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html#a04d69f98db11c4fdb47f1ad009f82520">data_type</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a50bce18c5a1585f1c26eaf557de9d252">operator[]</a> (const <a class="el" href="classHash_1_1hash__map.html#a5e1b8d02bbe6146953794f6a39560fb1">key_type</a> &key)</td></tr>
<tr class="separator:a50bce18c5a1585f1c26eaf557de9d252"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ac90ce3f2c448b2c9c633fb417f4b171d"><td class="memItemLeft" align="right" valign="top">std::pair< <a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a>, bool > </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#ac90ce3f2c448b2c9c633fb417f4b171d">insert</a> (const <a class="el" href="classHash_1_1hash__map.html#a9d54d13ed95fb8548621011292875ef8">value_type</a> &entry)</td></tr>
<tr class="separator:ac90ce3f2c448b2c9c633fb417f4b171d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a9e69b0959edfd246d77df4097a24aaae"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a9e69b0959edfd246d77df4097a24aaae">erase</a> (const <a class="el" href="classHash_1_1hash__map.html#a5e1b8d02bbe6146953794f6a39560fb1">key_type</a> &key)</td></tr>
<tr class="separator:a9e69b0959edfd246d77df4097a24aaae"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a9c1713f6a085c0f25336e7244ab41a46"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a9c1713f6a085c0f25336e7244ab41a46">erase</a> (const <a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> &i)</td></tr>
<tr class="separator:a9c1713f6a085c0f25336e7244ab41a46"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a48feee7c5690c9cd9ba1b0817ca3ae9f"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a48feee7c5690c9cd9ba1b0817ca3ae9f">contains</a> (const <a class="el" href="classHash_1_1hash__map.html#a5e1b8d02bbe6146953794f6a39560fb1">key_type</a> &key) const </td></tr>
<tr class="memdesc:a48feee7c5690c9cd9ba1b0817ca3ae9f"><td class="mdescLeft"> </td><td class="mdescRight">status <a href="#a48feee7c5690c9cd9ba1b0817ca3ae9f"></a><br/></td></tr>
<tr class="separator:a48feee7c5690c9cd9ba1b0817ca3ae9f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a3d52fe0d391d58e9573ce84472dfea24"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a3d52fe0d391d58e9573ce84472dfea24">count</a> (const _Key &key) const </td></tr>
<tr class="separator:a3d52fe0d391d58e9573ce84472dfea24"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a12f477e90d48f319433bb5cc605ce00f"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a12f477e90d48f319433bb5cc605ce00f">empty</a> () const </td></tr>
<tr class="separator:a12f477e90d48f319433bb5cc605ce00f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a1440a04e68060e58f053a38976bc6f9b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a1440a04e68060e58f053a38976bc6f9b">size</a> () const </td></tr>
<tr class="separator:a1440a04e68060e58f053a38976bc6f9b"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a6516fa8565fac0997d7a62523151d181"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a6516fa8565fac0997d7a62523151d181">bucket_count</a> () const </td></tr>
<tr class="separator:a6516fa8565fac0997d7a62523151d181"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ac519328bded2c33cad0bb096bb9bfdcf"><td class="memItemLeft" align="right" valign="top">float </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#ac519328bded2c33cad0bb096bb9bfdcf">load_factor</a> () const </td></tr>
<tr class="separator:ac519328bded2c33cad0bb096bb9bfdcf"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a478f2d66eb11d4ca51bc2b630373e9ad"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a478f2d66eb11d4ca51bc2b630373e9ad">begin</a> ()</td></tr>
<tr class="memdesc:a478f2d66eb11d4ca51bc2b630373e9ad"><td class="mdescLeft"> </td><td class="mdescRight">iterators <a href="#a478f2d66eb11d4ca51bc2b630373e9ad"></a><br/></td></tr>
<tr class="separator:a478f2d66eb11d4ca51bc2b630373e9ad"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a856df3b8cca34375a835424833f5faf0"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a856df3b8cca34375a835424833f5faf0">begin</a> () const </td></tr>
<tr class="separator:a856df3b8cca34375a835424833f5faf0"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a2c776e055f3d17226605157e1c37dbc9"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a2c776e055f3d17226605157e1c37dbc9">end</a> ()</td></tr>
<tr class="separator:a2c776e055f3d17226605157e1c37dbc9"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a67d2f88cb7497b9fe0fb11a2dd1c3923"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a67d2f88cb7497b9fe0fb11a2dd1c3923">end</a> () const </td></tr>
<tr class="separator:a67d2f88cb7497b9fe0fb11a2dd1c3923"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-types"></a>
Protected Types</h2></td></tr>
<tr class="memitem:a5f3b686e86c29ffb0cc7c0672fd56907"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classHash_1_1hash__table.html">hash_table</a>< _Key, <br class="typebreak"/>
std::pair< const _Key, _Data ><br class="typebreak"/>
, _HashFcn, _EqualKey, <br class="typebreak"/>
<a class="el" href="structHash_1_1__Select1st.html">_Select1st</a>< std::pair< const <br class="typebreak"/>
_Key, _Data > > > </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#a5f3b686e86c29ffb0cc7c0672fd56907">_hash_table</a></td></tr>
<tr class="memdesc:a5f3b686e86c29ffb0cc7c0672fd56907"><td class="mdescLeft"> </td><td class="mdescRight">types <a href="#a5f3b686e86c29ffb0cc7c0672fd56907"></a><br/></td></tr>
<tr class="separator:a5f3b686e86c29ffb0cc7c0672fd56907"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-attribs"></a>
Protected Attributes</h2></td></tr>
<tr class="memitem:afeeaaecea687bcfc736fede5f8ef6467"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__map.html#a5f3b686e86c29ffb0cc7c0672fd56907">_hash_table</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html#afeeaaecea687bcfc736fede5f8ef6467">d_table</a></td></tr>
<tr class="memdesc:afeeaaecea687bcfc736fede5f8ef6467"><td class="mdescLeft"> </td><td class="mdescRight">variables <a href="#afeeaaecea687bcfc736fede5f8ef6467"></a><br/></td></tr>
<tr class="separator:afeeaaecea687bcfc736fede5f8ef6467"><td class="memSeparator" colspan="2"> </td></tr>
</table>
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
<div class="textblock"><h3>template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>><br/>
class Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey ></h3>
<p>hash map implementation based on the sgi interface: <a href="http://www.sgi.com/tech/stl/hash_map.html">http://www.sgi.com/tech/stl/hash_map.html</a></p>
<p>_Key: hash key type _Data: data to store _HashFcn: functional class providing a hash function: size_type (_Key) _EqualKey: functional class providing a comparison function: bool(_Key, _Key) returns true iff two keys are considered to be equal </p>
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00082">82</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div><h2 class="groupheader">Member Typedef Documentation</h2>
<a class="anchor" id="a5f3b686e86c29ffb0cc7c0672fd56907"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classHash_1_1hash__table.html">hash_table</a><_Key, std::pair<const _Key, _Data>, _HashFcn, _EqualKey, <a class="el" href="structHash_1_1__Select1st.html">_Select1st</a><std::pair<const _Key, _Data> > > <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html#a5f3b686e86c29ffb0cc7c0672fd56907">_hash_table</a></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">protected</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>types </p>
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00093">93</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="ad4469c366b3be18a80232ab65e27e4b0"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classHash_1_1hash__table.html#a324f81cab1c1e0a66f14b93bde73ffe5">_hash_table::size_type</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a></td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00097">97</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a5e1b8d02bbe6146953794f6a39560fb1"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classHash_1_1hash__table.html#a169157d3eb001aad4379ae2b2858d947">_hash_table::key_type</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html#a5e1b8d02bbe6146953794f6a39560fb1">key_type</a></td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00098">98</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a04d69f98db11c4fdb47f1ad009f82520"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="memname">
<tr>
<td class="memname">typedef _Data <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html#a04d69f98db11c4fdb47f1ad009f82520">data_type</a></td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00099">99</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a9d54d13ed95fb8548621011292875ef8"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classHash_1_1hash__table.html#a73a266824c6f4b1e7398bdb95ee7cb51">_hash_table::value_type</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html#a9d54d13ed95fb8548621011292875ef8">value_type</a></td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00100">100</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a263db3c7c9ce53b34529cbda55be123c"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classHash_1_1hash__table.html#adc97d1ce5a0c04a5083faea47e2bf6a7">_hash_table::hasher</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html#a263db3c7c9ce53b34529cbda55be123c">hasher</a></td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00101">101</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="afe18f3473f050e697f36e42cc8246aec"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classHash_1_1hash__table.html#a03e9ef2c5a815421589495e96bb9a6fb">_hash_table::key_equal</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html#afe18f3473f050e697f36e42cc8246aec">key_equal</a></td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00102">102</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a0fae180472ddfd8822c881caf23c11a9"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="memname">
<tr>
<td class="memname">typedef _hash_table::iterator <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a></td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00106">106</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a34789fb591a84314e78bd17b69aa6065"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="memname">
<tr>
<td class="memname">typedef _hash_table::const_iterator <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a></td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00107">107</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<h2 class="groupheader">Constructor & Destructor Documentation</h2>
<a class="anchor" id="a413e9183459c8dbfe01956822f74e339"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html">hash_map</a> </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>methods </p>
<p>constructors </p>
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00122">122</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a3bcd62bbe9296e4907926da97a379a7b"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html">hash_map</a> </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> </td>
<td class="paramname"><em>initial_capacity</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00127">127</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a4d34bf6d2c6534642b538a6bb5c41337"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html">hash_map</a> </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> </td>
<td class="paramname"><em>initial_capacity</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const _HashFcn & </td>
<td class="paramname"><em>hash</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00132">132</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="ad3902269c263bf5117f38defa2bf279f"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html">hash_map</a> </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> </td>
<td class="paramname"><em>initial_capacity</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const _HashFcn & </td>
<td class="paramname"><em>hash</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const _EqualKey & </td>
<td class="paramname"><em>equal</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00137">137</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a0d7f14bd98a6411da23c0f38d3e008fd"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__map.html">hash_map</a> </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__map.html">hash_map</a>< _Key, _Data, _HashFcn, _EqualKey > & </td>
<td class="paramname"><em>other</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00143">143</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<h2 class="groupheader">Member Function Documentation</h2>
<a class="anchor" id="a7dde0644b6827b737692d80523b01c6a"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html">hash_map</a>& <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::operator= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__map.html">hash_map</a>< _Key, _Data, _HashFcn, _EqualKey > & </td>
<td class="paramname"><em>other</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00148">148</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="adb8df1bc8f03ff2426d3d1f9d7676e64"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">void <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::swap </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classHash_1_1hash__map.html">hash_map</a>< _Key, _Data, _HashFcn, _EqualKey > & </td>
<td class="paramname"><em>other</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00156">156</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a18703659be23b5ff0b7d7b5c796e6abd"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">void <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::clear </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00161">161</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
<p>Referenced by <a class="el" href="expr__map_8h_source.html#l00310">CVC3::ExprHashMap< std::vector< Circuit * > >::clear()</a>, <a class="el" href="theorem__manager_8h_source.html#l00086">CVC3::TheoremManager::clearAllFlags()</a>, and <a class="el" href="cdmap_8h_source.html#l00153">CVC3::CDMap< Expr, Expr, HashFcn >::setNull()</a>.</p>
</div>
</div>
<a class="anchor" id="af3317f9087a35d09985b6513c45d2ab8"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::find </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__map.html#a5e1b8d02bbe6146953794f6a39560fb1">key_type</a> & </td>
<td class="paramname"><em>key</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>operations </p>
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00171">171</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
<p>Referenced by <a class="el" href="theory_8cpp_source.html#l00709">CVC3::Theory::addBoundVar()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l02916">CVC3::TheoryArithNew::checkSatSimplex()</a>, <a class="el" href="minisat__derivation_8cpp_source.html#l00260">MiniSat::Derivation::createProof()</a>, <a class="el" href="theory__quant_8cpp_source.html#l00733">CVC3::TheoryQuant::enqueueInst()</a>, <a class="el" href="cdmap_8h_source.html#l00303">CVC3::CDMap< Expr, Expr, HashFcn >::find()</a>, <a class="el" href="expr__map_8h_source.html#l00329">CVC3::ExprHashMap< std::vector< Circuit * > >::find()</a>, <a class="el" href="translator_8cpp_source.html#l01804">CVC3::Translator::fixConstName()</a>, <a class="el" href="theorem__manager_8h_source.html#l00102">CVC3::TheoremManager::getCachedValue()</a>, <a class="el" href="theorem__manager_8h_source.html#l00108">CVC3::TheoremManager::getExpandFlag()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00412">CVC3::ExprManager::getKind()</a>, <a class="el" href="theorem__manager_8h_source.html#l00114">CVC3::TheoremManager::getLitFlag()</a>, <a class="el" href="theory__core_8cpp_source.html#l00868">CVC3::TheoryCore::getTheoremForTerm()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l03273">CVC3::TheoryArithNew::getVariableIntroThm()</a>, <a class="el" href="cdmap_8h_source.html#l00190">CVC3::CDMap< Expr, Expr, HashFcn >::insert()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l02589">CVC3::TheoryArithNew::isBasic()</a>, <a class="el" href="cdmap_8h_source.html#l00177">CVC3::CDMap< Expr, Expr, HashFcn >::operator[]()</a>, <a class="el" href="theory__core_8cpp_source.html#l03589">CVC3::TheoryCore::parseExpr()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l02594">CVC3::TheoryArithNew::pivot()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l02675">CVC3::TheoryArithNew::pivotAndUpdate()</a>, <a class="el" href="theory__core_8cpp_source.html#l03541">CVC3::TheoryCore::registerAtom()</a>, <a class="el" href="theory_8cpp_source.html#l00887">CVC3::Theory::resolveID()</a>, <a class="el" href="cnf_8cpp_source.html#l00153">SAT::CNF_Formula_Impl::simplify()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l03471">CVC3::TheoryArithNew::substAndCanonizeModTableaux()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l03524">CVC3::TheoryArithNew::substAndCanonizeTableaux()</a>, and <a class="el" href="theory__arith__new_8cpp_source.html#l02628">CVC3::TheoryArithNew::update()</a>.</p>
</div>
</div>
<a class="anchor" id="ae51c9512fe5f2f2daa8131aff9c435fc"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::find </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__map.html#a5e1b8d02bbe6146953794f6a39560fb1">key_type</a> & </td>
<td class="paramname"><em>key</em></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00176">176</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a50bce18c5a1585f1c26eaf557de9d252"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html#a04d69f98db11c4fdb47f1ad009f82520">data_type</a>& <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::operator[] </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__map.html#a5e1b8d02bbe6146953794f6a39560fb1">key_type</a> & </td>
<td class="paramname"><em>key</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00183">183</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="ac90ce3f2c448b2c9c633fb417f4b171d"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">std::pair<<a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a>, bool> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::insert </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__map.html#a9d54d13ed95fb8548621011292875ef8">value_type</a> & </td>
<td class="paramname"><em>entry</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00190">190</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
<p>Referenced by <a class="el" href="expr__map_8h_source.html#l00316">CVC3::ExprHashMap< std::vector< Circuit * > >::insert()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l03899">CVC3::TheoryArithNew::updateDependencies()</a>, and <a class="el" href="theory__arith__new_8cpp_source.html#l03873">CVC3::TheoryArithNew::updateDependenciesAdd()</a>.</p>
</div>
</div>
<a class="anchor" id="a9e69b0959edfd246d77df4097a24aaae"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::erase </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__map.html#a5e1b8d02bbe6146953794f6a39560fb1">key_type</a> & </td>
<td class="paramname"><em>key</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00197">197</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
<p>Referenced by <a class="el" href="expr__map_8h_source.html#l00313">CVC3::ExprHashMap< std::vector< Circuit * > >::erase()</a>, <a class="el" href="theory__core_8cpp_source.html#l03589">CVC3::TheoryCore::parseExpr()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l02594">CVC3::TheoryArithNew::pivot()</a>, <a class="el" href="theory_8cpp_source.html#l00190">CVC3::Theory::unregisterKinds()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l03899">CVC3::TheoryArithNew::updateDependencies()</a>, and <a class="el" href="theory__arith__new_8cpp_source.html#l03886">CVC3::TheoryArithNew::updateDependenciesRemove()</a>.</p>
</div>
</div>
<a class="anchor" id="a9c1713f6a085c0f25336e7244ab41a46"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::erase </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> & </td>
<td class="paramname"><em>i</em></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00203">203</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a48feee7c5690c9cd9ba1b0817ca3ae9f"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">bool <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::contains </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__map.html#a5e1b8d02bbe6146953794f6a39560fb1">key_type</a> & </td>
<td class="paramname"><em>key</em></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>status </p>
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00211">211</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
<p>Referenced by <a class="el" href="minisat__derivation_8cpp_source.html#l00260">MiniSat::Derivation::createProof()</a>, <a class="el" href="minisat__derivation_8h_source.html#l00126">MiniSat::Derivation::registerClause()</a>, and <a class="el" href="minisat__derivation_8h_source.html#l00168">MiniSat::Derivation::registerInference()</a>.</p>
</div>
</div>
<a class="anchor" id="a3d52fe0d391d58e9573ce84472dfea24"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::count </td>
<td>(</td>
<td class="paramtype">const _Key & </td>
<td class="paramname"><em>key</em></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00217">217</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
<p>Referenced by <a class="el" href="cdmap_8h_source.html#l00172">CVC3::CDMap< Expr, Expr, HashFcn >::count()</a>, <a class="el" href="expr__map_8h_source.html#l00308">CVC3::ExprHashMap< std::vector< Circuit * > >::count()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00405">CVC3::ExprManager::getKindName()</a>, <a class="el" href="theory_8cpp_source.html#l00247">CVC3::Theory::hasTheory()</a>, <a class="el" href="theorem__manager_8h_source.html#l00100">CVC3::TheoremManager::isFlagged()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00367">CVC3::ExprManager::newKind()</a>, <a class="el" href="theory_8cpp_source.html#l00177">CVC3::Theory::registerKinds()</a>, and <a class="el" href="theory_8cpp_source.html#l00252">CVC3::Theory::theoryOf()</a>.</p>
</div>
</div>
<a class="anchor" id="a12f477e90d48f319433bb5cc605ce00f"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">bool <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::empty </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00222">222</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
<p>Referenced by <a class="el" href="expr__map_8h_source.html#l00305">CVC3::ExprHashMap< std::vector< Circuit * > >::empty()</a>, and <a class="el" href="theory__arith__new_8cpp_source.html#l03447">CVC3::TheoryArithNew::substAndCanonizeModTableaux()</a>.</p>
</div>
</div>
<a class="anchor" id="a1440a04e68060e58f053a38976bc6f9b"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::size </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00227">227</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
<p>Referenced by <a class="el" href="theory__arith__new_8cpp_source.html#l02916">CVC3::TheoryArithNew::checkSatSimplex()</a>, <a class="el" href="cdmap_8h_source.html#l00171">CVC3::CDMap< Expr, Expr, HashFcn >::size()</a>, and <a class="el" href="expr__map_8h_source.html#l00306">CVC3::ExprHashMap< std::vector< Circuit * > >::size()</a>.</p>
</div>
</div>
<a class="anchor" id="a6516fa8565fac0997d7a62523151d181"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::bucket_count </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00232">232</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="ac519328bded2c33cad0bb096bb9bfdcf"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">float <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::load_factor </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00237">237</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a478f2d66eb11d4ca51bc2b630373e9ad"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::begin </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>iterators </p>
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00246">246</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
<p>Referenced by <a class="el" href="cdmap_8h_source.html#l00257">CVC3::CDMap< Expr, Expr, HashFcn >::begin()</a>, <a class="el" href="expr__map_8h_source.html#l00325">CVC3::ExprHashMap< std::vector< Circuit * > >::begin()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l03388">CVC3::TheoryArithNew::boundsAsString()</a>, <a class="el" href="cdmap_8h_source.html#l00153">CVC3::CDMap< Expr, Expr, HashFcn >::setNull()</a>, and <a class="el" href="theory__arith__new_8cpp_source.html#l03343">CVC3::TheoryArithNew::tableauxAsString()</a>.</p>
</div>
</div>
<a class="anchor" id="a856df3b8cca34375a835424833f5faf0"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::begin </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00251">251</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<a class="anchor" id="a2c776e055f3d17226605157e1c37dbc9"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::end </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00257">257</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
<p>Referenced by <a class="el" href="theory_8cpp_source.html#l00709">CVC3::Theory::addBoundVar()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l03388">CVC3::TheoryArithNew::boundsAsString()</a>, <a class="el" href="cdmap_8h_source.html#l00258">CVC3::CDMap< Expr, Expr, HashFcn >::end()</a>, <a class="el" href="expr__map_8h_source.html#l00326">CVC3::ExprHashMap< std::vector< Circuit * > >::end()</a>, <a class="el" href="theory__quant_8cpp_source.html#l00733">CVC3::TheoryQuant::enqueueInst()</a>, <a class="el" href="translator_8cpp_source.html#l01804">CVC3::Translator::fixConstName()</a>, <a class="el" href="theorem__manager_8h_source.html#l00102">CVC3::TheoremManager::getCachedValue()</a>, <a class="el" href="theorem__manager_8h_source.html#l00108">CVC3::TheoremManager::getExpandFlag()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00412">CVC3::ExprManager::getKind()</a>, <a class="el" href="theorem__manager_8h_source.html#l00114">CVC3::TheoremManager::getLitFlag()</a>, <a class="el" href="theory__core_8cpp_source.html#l00868">CVC3::TheoryCore::getTheoremForTerm()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l03273">CVC3::TheoryArithNew::getVariableIntroThm()</a>, <a class="el" href="cdmap_8h_source.html#l00190">CVC3::CDMap< Expr, Expr, HashFcn >::insert()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l02589">CVC3::TheoryArithNew::isBasic()</a>, <a class="el" href="cdmap_8h_source.html#l00177">CVC3::CDMap< Expr, Expr, HashFcn >::operator[]()</a>, <a class="el" href="theory__core_8cpp_source.html#l03589">CVC3::TheoryCore::parseExpr()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l02675">CVC3::TheoryArithNew::pivotAndUpdate()</a>, <a class="el" href="theory__core_8cpp_source.html#l03541">CVC3::TheoryCore::registerAtom()</a>, <a class="el" href="theory_8cpp_source.html#l00887">CVC3::Theory::resolveID()</a>, <a class="el" href="cdmap_8h_source.html#l00153">CVC3::CDMap< Expr, Expr, HashFcn >::setNull()</a>, <a class="el" href="cnf_8cpp_source.html#l00153">SAT::CNF_Formula_Impl::simplify()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l03471">CVC3::TheoryArithNew::substAndCanonizeModTableaux()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l03524">CVC3::TheoryArithNew::substAndCanonizeTableaux()</a>, <a class="el" href="theory__arith__new_8cpp_source.html#l03343">CVC3::TheoryArithNew::tableauxAsString()</a>, and <a class="el" href="theory__arith__new_8cpp_source.html#l02628">CVC3::TheoryArithNew::update()</a>.</p>
</div>
</div>
<a class="anchor" id="a67d2f88cb7497b9fe0fb11a2dd1c3923"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::end </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00262">262</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
</div>
</div>
<h2 class="groupheader">Member Data Documentation</h2>
<a class="anchor" id="afeeaaecea687bcfc736fede5f8ef6467"></a>
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, class _Data, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>> </div>
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__map.html#a5f3b686e86c29ffb0cc7c0672fd56907">_hash_table</a> <a class="el" href="classHash_1_1hash__map.html">Hash::hash_map</a>< _Key, _Data, _HashFcn, _EqualKey >::d_table</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">protected</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>variables </p>
<p>Definition at line <a class="el" href="hash__map_8h_source.html#l00113">113</a> of file <a class="el" href="hash__map_8h_source.html">hash_map.h</a>.</p>
<p>Referenced by <a class="el" href="hash__map_8h_source.html#l00246">Hash::hash_map< long, int >::begin()</a>, <a class="el" href="hash__map_8h_source.html#l00232">Hash::hash_map< long, int >::bucket_count()</a>, <a class="el" href="hash__map_8h_source.html#l00161">Hash::hash_map< long, int >::clear()</a>, <a class="el" href="hash__map_8h_source.html#l00211">Hash::hash_map< long, int >::contains()</a>, <a class="el" href="hash__map_8h_source.html#l00217">Hash::hash_map< long, int >::count()</a>, <a class="el" href="hash__map_8h_source.html#l00222">Hash::hash_map< long, int >::empty()</a>, <a class="el" href="hash__map_8h_source.html#l00257">Hash::hash_map< long, int >::end()</a>, <a class="el" href="hash__map_8h_source.html#l00197">Hash::hash_map< long, int >::erase()</a>, <a class="el" href="hash__map_8h_source.html#l00171">Hash::hash_map< long, int >::find()</a>, <a class="el" href="hash__map_8h_source.html#l00190">Hash::hash_map< long, int >::insert()</a>, <a class="el" href="hash__map_8h_source.html#l00237">Hash::hash_map< long, int >::load_factor()</a>, <a class="el" href="hash__map_8h_source.html#l00148">Hash::hash_map< long, int >::operator=()</a>, <a class="el" href="hash__map_8h_source.html#l00183">Hash::hash_map< long, int >::operator[]()</a>, <a class="el" href="hash__map_8h_source.html#l00227">Hash::hash_map< long, int >::size()</a>, and <a class="el" href="hash__map_8h_source.html#l00156">Hash::hash_map< long, int >::swap()</a>.</p>
</div>
</div>
<hr/>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="hash__map_8h_source.html">hash_map.h</a></li>
</ul>
</div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Thu May 16 2013 13:25:20 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>
