<!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: Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey > 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 <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 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="hierarchy.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>
<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> </div>
<div class="headertitle">
<div class="title">Hash::hash_map< _Key, _Data, _HashFcn, _EqualKey > Class Template Reference</div> </div>
</div>
<div class="contents">
<!-- doxytag: class="Hash::hash_map" -->
<p><code>#include <<a class="el" href="hash__map_8h_source.html">hash_map.h</a>></code></p>
<p><a href="classHash_1_1hash__map-members.html">List of all members.</a></p>
<h2><a name="pub-types"></a>
Public Types</h2>
<ul>
<li>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#ad4469c366b3be18a80232ab65e27e4b0">size_type</a>
<li>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#a5e1b8d02bbe6146953794f6a39560fb1">key_type</a>
<li>typedef _Data <a class="el" href="classHash_1_1hash__map.html#a04d69f98db11c4fdb47f1ad009f82520">data_type</a>
<li>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#a9d54d13ed95fb8548621011292875ef8">value_type</a>
<li>typedef <a class="el" href="classHash_1_1hash__table.html#adc97d1ce5a0c04a5083faea47e2bf6a7">_hash_table::hasher</a> <a class="el" href="classHash_1_1hash__map.html#a263db3c7c9ce53b34529cbda55be123c">hasher</a>
<li>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#afe18f3473f050e697f36e42cc8246aec">key_equal</a>
<li>typedef _hash_table::iterator <a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a>
<li>typedef _hash_table::const_iterator <a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a>
</ul>
<h2><a name="pub-methods"></a>
Public Member Functions</h2>
<ul>
<li><a class="el" href="classHash_1_1hash__map.html#a413e9183459c8dbfe01956822f74e339">hash_map</a> ()
<dl class="el"><dd class="mdescRight">methods <a href="#a413e9183459c8dbfe01956822f74e339"></a><br/></dl><li><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)
<li><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>)
<li><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)
<li><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)
<li><a class="el" href="classHash_1_1hash__map.html">hash_map</a> & <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)
<li>void <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)
<li>void <a class="el" href="classHash_1_1hash__map.html#a18703659be23b5ff0b7d7b5c796e6abd">clear</a> ()
<li><a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a> <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)
<dl class="el"><dd class="mdescRight">operations <a href="#af3317f9087a35d09985b6513c45d2ab8"></a><br/></dl><li><a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> <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
<li><a class="el" href="classHash_1_1hash__map.html#a04d69f98db11c4fdb47f1ad009f82520">data_type</a> & <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)
<li>std::pair< <a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a>, bool > <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)
<li><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> <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)
<li><a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> <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)
<li>bool <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
<dl class="el"><dd class="mdescRight">status <a href="#a48feee7c5690c9cd9ba1b0817ca3ae9f"></a><br/></dl><li><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> <a class="el" href="classHash_1_1hash__map.html#a3d52fe0d391d58e9573ce84472dfea24">count</a> (const _Key &key) const
<li>bool <a class="el" href="classHash_1_1hash__map.html#a12f477e90d48f319433bb5cc605ce00f">empty</a> () const
<li><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> <a class="el" href="classHash_1_1hash__map.html#a1440a04e68060e58f053a38976bc6f9b">size</a> () const
<li><a class="el" href="classHash_1_1hash__map.html#ad4469c366b3be18a80232ab65e27e4b0">size_type</a> <a class="el" href="classHash_1_1hash__map.html#a6516fa8565fac0997d7a62523151d181">bucket_count</a> () const
<li>float <a class="el" href="classHash_1_1hash__map.html#ac519328bded2c33cad0bb096bb9bfdcf">load_factor</a> () const
<li><a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a> <a class="el" href="classHash_1_1hash__map.html#a478f2d66eb11d4ca51bc2b630373e9ad">begin</a> ()
<dl class="el"><dd class="mdescRight">iterators <a href="#a478f2d66eb11d4ca51bc2b630373e9ad"></a><br/></dl><li><a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> <a class="el" href="classHash_1_1hash__map.html#a856df3b8cca34375a835424833f5faf0">begin</a> () const
<li><a class="el" href="classHash_1_1hash__map.html#a0fae180472ddfd8822c881caf23c11a9">iterator</a> <a class="el" href="classHash_1_1hash__map.html#a2c776e055f3d17226605157e1c37dbc9">end</a> ()
<li><a class="el" href="classHash_1_1hash__map.html#a34789fb591a84314e78bd17b69aa6065">const_iterator</a> <a class="el" href="classHash_1_1hash__map.html#a67d2f88cb7497b9fe0fb11a2dd1c3923">end</a> () const
</ul>
<h2><a name="pro-types"></a>
Protected Types</h2>
<ul>
<li>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 > > > <a class="el" href="classHash_1_1hash__map.html#a5f3b686e86c29ffb0cc7c0672fd56907">_hash_table</a>
<dl class="el"><dd class="mdescRight">types <a href="#a5f3b686e86c29ffb0cc7c0672fd56907"></a><br/></dl></ul>
<h2><a name="pro-attribs"></a>
Protected Attributes</h2>
<ul>
<li><a class="el" href="classHash_1_1hash__table.html">_hash_table</a> <a class="el" href="classHash_1_1hash__map.html#afeeaaecea687bcfc736fede5f8ef6467">d_table</a>
<dl class="el"><dd class="mdescRight">variables <a href="#afeeaaecea687bcfc736fede5f8ef6467"></a><br/></dl></ul>
<hr/><a name="details" id="details"></a><h2>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><hr/><h2>Member Typedef Documentation</h2>
<a class="anchor" id="a5f3b686e86c29ffb0cc7c0672fd56907"></a><!-- doxytag: member="Hash::hash_map::_hash_table" ref="a5f3b686e86c29ffb0cc7c0672fd56907" args="" -->
<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">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__table.html">_hash_table</a><code> [protected]</code></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><!-- doxytag: member="Hash::hash_map::size_type" ref="ad4469c366b3be18a80232ab65e27e4b0" args="" -->
<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><!-- doxytag: member="Hash::hash_map::key_type" ref="a5e1b8d02bbe6146953794f6a39560fb1" args="" -->
<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><!-- doxytag: member="Hash::hash_map::data_type" ref="a04d69f98db11c4fdb47f1ad009f82520" args="" -->
<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><!-- doxytag: member="Hash::hash_map::value_type" ref="a9d54d13ed95fb8548621011292875ef8" args="" -->
<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><!-- doxytag: member="Hash::hash_map::hasher" ref="a263db3c7c9ce53b34529cbda55be123c" args="" -->
<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><!-- doxytag: member="Hash::hash_map::key_equal" ref="afe18f3473f050e697f36e42cc8246aec" args="" -->
<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><!-- doxytag: member="Hash::hash_map::iterator" ref="a0fae180472ddfd8822c881caf23c11a9" args="" -->
<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><!-- doxytag: member="Hash::hash_map::const_iterator" ref="a34789fb591a84314e78bd17b69aa6065" args="" -->
<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>
<hr/><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" id="a413e9183459c8dbfe01956822f74e339"></a><!-- doxytag: member="Hash::hash_map::hash_map" ref="a413e9183459c8dbfe01956822f74e339" args="()" -->
<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"><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><code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::hash_map" ref="a3bcd62bbe9296e4907926da97a379a7b" args="(size_type initial_capacity)" -->
<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"><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><code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::hash_map" ref="a4d34bf6d2c6534642b538a6bb5c41337" args="(size_type initial_capacity, const _HashFcn &hash)" -->
<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"><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><code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::hash_map" ref="ad3902269c263bf5117f38defa2bf279f" args="(size_type initial_capacity, const _HashFcn &hash, const _EqualKey &equal)" -->
<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"><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><code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::hash_map" ref="a0d7f14bd98a6411da23c0f38d3e008fd" args="(const hash_map &other)" -->
<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"><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><code> [inline]</code></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>
<hr/><h2>Member Function Documentation</h2>
<a class="anchor" id="a7dde0644b6827b737692d80523b01c6a"></a><!-- doxytag: member="Hash::hash_map::operator=" ref="a7dde0644b6827b737692d80523b01c6a" args="(const hash_map &other)" -->
<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"><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><code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::swap" ref="adb8df1bc8f03ff2426d3d1f9d7676e64" args="(hash_map &other)" -->
<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">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><code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::clear" ref="a18703659be23b5ff0b7d7b5c796e6abd" args="()" -->
<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">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><code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::find" ref="af3317f9087a35d09985b6513c45d2ab8" args="(const key_type &key)" -->
<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"><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><code> [inline]</code></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="expr__map_8h_source.html#l00329">CVC3::ExprHashMap< std::vector< Circuit * > >::find()</a>, <a class="el" href="cdmap_8h_source.html#l00303">CVC3::CDMap< Expr, Expr, HashFcn >::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><!-- doxytag: member="Hash::hash_map::find" ref="ae51c9512fe5f2f2daa8131aff9c435fc" args="(const key_type &key) const " -->
<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"><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<code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::operator[]" ref="a50bce18c5a1585f1c26eaf557de9d252" args="(const key_type &key)" -->
<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"><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><code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::insert" ref="ac90ce3f2c448b2c9c633fb417f4b171d" args="(const value_type &entry)" -->
<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">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><code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::erase" ref="a9e69b0959edfd246d77df4097a24aaae" args="(const key_type &key)" -->
<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"><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><code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::erase" ref="a9c1713f6a085c0f25336e7244ab41a46" args="(const const_iterator &i)" -->
<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"><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><code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::contains" ref="a48feee7c5690c9cd9ba1b0817ca3ae9f" args="(const key_type &key) const " -->
<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">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<code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::count" ref="a3d52fe0d391d58e9573ce84472dfea24" args="(const _Key &key) const " -->
<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"><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<code> [inline]</code></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="expr__map_8h_source.html#l00308">CVC3::ExprHashMap< std::vector< Circuit * > >::count()</a>, <a class="el" href="cdmap_8h_source.html#l00172">CVC3::CDMap< Expr, Expr, HashFcn >::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><!-- doxytag: member="Hash::hash_map::empty" ref="a12f477e90d48f319433bb5cc605ce00f" args="() const " -->
<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">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<code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::size" ref="a1440a04e68060e58f053a38976bc6f9b" args="() const " -->
<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"><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<code> [inline]</code></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="expr__map_8h_source.html#l00306">CVC3::ExprHashMap< std::vector< Circuit * > >::size()</a>, and <a class="el" href="cdmap_8h_source.html#l00171">CVC3::CDMap< Expr, Expr, HashFcn >::size()</a>.</p>
</div>
</div>
<a class="anchor" id="a6516fa8565fac0997d7a62523151d181"></a><!-- doxytag: member="Hash::hash_map::bucket_count" ref="a6516fa8565fac0997d7a62523151d181" args="() const " -->
<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"><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<code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::load_factor" ref="ac519328bded2c33cad0bb096bb9bfdcf" args="() const " -->
<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">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<code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::begin" ref="a478f2d66eb11d4ca51bc2b630373e9ad" args="()" -->
<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"><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><code> [inline]</code></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="expr__map_8h_source.html#l00325">CVC3::ExprHashMap< std::vector< Circuit * > >::begin()</a>, <a class="el" href="cdmap_8h_source.html#l00257">CVC3::CDMap< Expr, Expr, HashFcn >::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><!-- doxytag: member="Hash::hash_map::begin" ref="a856df3b8cca34375a835424833f5faf0" args="() const " -->
<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"><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<code> [inline]</code></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><!-- doxytag: member="Hash::hash_map::end" ref="a2c776e055f3d17226605157e1c37dbc9" args="()" -->
<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"><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><code> [inline]</code></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="expr__map_8h_source.html#l00326">CVC3::ExprHashMap< std::vector< Circuit * > >::end()</a>, <a class="el" href="cdmap_8h_source.html#l00258">CVC3::CDMap< Expr, Expr, HashFcn >::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><!-- doxytag: member="Hash::hash_map::end" ref="a67d2f88cb7497b9fe0fb11a2dd1c3923" args="() const " -->
<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"><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<code> [inline]</code></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>
<hr/><h2>Member Data Documentation</h2>
<a class="anchor" id="afeeaaecea687bcfc736fede5f8ef6467"></a><!-- doxytag: member="Hash::hash_map::d_table" ref="afeeaaecea687bcfc736fede5f8ef6467" args="" -->
<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"><a class="el" href="classHash_1_1hash__table.html">_hash_table</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#afeeaaecea687bcfc736fede5f8ef6467">d_table</a><code> [protected]</code></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>
<hr class="footer"/><address class="footer"><small>Generated on Wed Sep 7 2011 for CVC3 by 
<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.4 </small></address>
</body>
</html>
