<!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_set< _Key, _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__set.html">hash_set</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_set< _Key, _HashFcn, _EqualKey > Class Template Reference</div> </div>
</div>
<div class="contents">
<!-- doxytag: class="Hash::hash_set" -->
<p><code>#include <<a class="el" href="hash__set_8h_source.html">hash_set.h</a>></code></p>
<p><a href="classHash_1_1hash__set-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__set.html#a453c55d429fc37785587c895224717d8">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__set.html#ae94044e96dafa1f67c767a5be87947a5">key_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__set.html#ac6573905b903da8bdfd55b839bd9d256">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__set.html#ac46e9d8b9577273ebe9d04491b333487">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__set.html#a85e29370bae7f667a41330f33133a305">key_equal</a>
<li>typedef _hash_table::iterator <a class="el" href="classHash_1_1hash__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a>
<li>typedef _hash_table::const_iterator <a class="el" href="classHash_1_1hash__set.html#a318342bf9ac6e65541792709f949c3ef">const_iterator</a>
</ul>
<h2><a name="pub-methods"></a>
Public Member Functions</h2>
<ul>
<li><a class="el" href="classHash_1_1hash__set.html#aeb77dd1a6c24cd228f60138b57fbaf82">hash_set</a> ()
<dl class="el"><dd class="mdescRight">methods <a href="#aeb77dd1a6c24cd228f60138b57fbaf82"></a><br/></dl><li><a class="el" href="classHash_1_1hash__set.html#a18bbc6adb3d60c0c54bc2e5b7a746d1b">hash_set</a> (<a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">size_type</a> initial_capacity)
<li><a class="el" href="classHash_1_1hash__set.html#a8477c1a539f95293d4bdcb4e13c8464a">hash_set</a> (<a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">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__set.html#ad836615a153bf7605b1d3aaf99a05035">hash_set</a> (<a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">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__set.html#a5b240d7192fd043474183de0bb26cefb">hash_set</a> (const <a class="el" href="classHash_1_1hash__set.html">hash_set</a> &other)
<li><a class="el" href="classHash_1_1hash__set.html">hash_set</a> & <a class="el" href="classHash_1_1hash__set.html#aedfbb2359706903827f3fea0a7d6228a">operator=</a> (const <a class="el" href="classHash_1_1hash__set.html">hash_set</a> &other)
<li>void <a class="el" href="classHash_1_1hash__set.html#a515268c3fb6fd6ec64353835019e91d1">swap</a> (<a class="el" href="classHash_1_1hash__set.html">hash_set</a> &other)
<li>void <a class="el" href="classHash_1_1hash__set.html#a2d699de2bb0dac0d1ea819fdc8acda96">clear</a> ()
<li><a class="el" href="classHash_1_1hash__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a> <a class="el" href="classHash_1_1hash__set.html#a955279e5fd49f919bb6b0cd456d39c7b">find</a> (const <a class="el" href="classHash_1_1hash__set.html#ae94044e96dafa1f67c767a5be87947a5">key_type</a> &key)
<dl class="el"><dd class="mdescRight">operations <a href="#a955279e5fd49f919bb6b0cd456d39c7b"></a><br/></dl><li><a class="el" href="classHash_1_1hash__set.html#a318342bf9ac6e65541792709f949c3ef">const_iterator</a> <a class="el" href="classHash_1_1hash__set.html#a39b682b5aad2c13a0c06ef3186a685c7">find</a> (const <a class="el" href="classHash_1_1hash__set.html#ae94044e96dafa1f67c767a5be87947a5">key_type</a> &key) const
<li>std::pair< <a class="el" href="classHash_1_1hash__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a>, bool > <a class="el" href="classHash_1_1hash__set.html#a156c40ba629d5aba7f7cacf4eeab1e2d">insert</a> (const <a class="el" href="classHash_1_1hash__set.html#ac6573905b903da8bdfd55b839bd9d256">value_type</a> &entry)
<li><a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">size_type</a> <a class="el" href="classHash_1_1hash__set.html#a82dbe044048d8e25f0ffd148d726d1e4">erase</a> (const <a class="el" href="classHash_1_1hash__set.html#ae94044e96dafa1f67c767a5be87947a5">key_type</a> &key)
<li>bool <a class="el" href="classHash_1_1hash__set.html#af34cdaeac932e18cd4618b0abd30c7d1">contains</a> (const <a class="el" href="classHash_1_1hash__set.html#ae94044e96dafa1f67c767a5be87947a5">key_type</a> &key) const
<dl class="el"><dd class="mdescRight">status <a href="#af34cdaeac932e18cd4618b0abd30c7d1"></a><br/></dl><li><a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">size_type</a> <a class="el" href="classHash_1_1hash__set.html#a37cb55e8f59dccad07b4bd7e79535691">count</a> (const _Key &key) const
<li>bool <a class="el" href="classHash_1_1hash__set.html#af184932d4151562ad96db36d6656f568">empty</a> () const
<li><a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">size_type</a> <a class="el" href="classHash_1_1hash__set.html#a8d883de7bd664d4cf8f4e440b711873f">size</a> () const
<li><a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">size_type</a> <a class="el" href="classHash_1_1hash__set.html#a5b7978c4c9d12650b0813433b025016d">bucket_count</a> () const
<li>float <a class="el" href="classHash_1_1hash__set.html#a7110fbd96a0ac929d6717dad9ed4810d">load_factor</a> () const
<li><a class="el" href="classHash_1_1hash__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a> <a class="el" href="classHash_1_1hash__set.html#a69de75543eb1e9fa3510bb5090ad61a6">begin</a> ()
<dl class="el"><dd class="mdescRight">iterators <a href="#a69de75543eb1e9fa3510bb5090ad61a6"></a><br/></dl><li><a class="el" href="classHash_1_1hash__set.html#a318342bf9ac6e65541792709f949c3ef">const_iterator</a> <a class="el" href="classHash_1_1hash__set.html#a373db78f8616eb6803196bb38642103f">begin</a> () const
<li><a class="el" href="classHash_1_1hash__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a> <a class="el" href="classHash_1_1hash__set.html#ae3ee82665499970f29a93df9948a5757">end</a> ()
<li><a class="el" href="classHash_1_1hash__set.html#a318342bf9ac6e65541792709f949c3ef">const_iterator</a> <a class="el" href="classHash_1_1hash__set.html#a0803457d6d25f41012bda1a92e45ae84">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, _Key, <br class="typebreak"/>
_HashFcn, _EqualKey, <a class="el" href="structHash_1_1__Identity.html">_Identity</a><br class="typebreak"/>
< _Key > > <a class="el" href="classHash_1_1hash__set.html#a12acfe747a41135e51ca0cb1f73d5570">_hash_table</a>
<dl class="el"><dd class="mdescRight">types <a href="#a12acfe747a41135e51ca0cb1f73d5570"></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__set.html#a885b5c4c82db74c7be5022ff35ba0e27">d_table</a>
<dl class="el"><dd class="mdescRight">variables <a href="#a885b5c4c82db74c7be5022ff35ba0e27"></a><br/></dl></ul>
<hr/><a name="details" id="details"></a><h2>Detailed Description</h2>
<div class="textblock"><h3>template<class _Key, class _HashFcn = hash<_Key>, class _EqualKey = std::equal_to<_Key>><br/>
class Hash::hash_set< _Key, _HashFcn, _EqualKey ></h3>
<p>hash set implementation based on the sgi interface: <a href="http://www.sgi.com/tech/stl/hash_set.html">http://www.sgi.com/tech/stl/hash_set.html</a></p>
<p>_Key: hash key type _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__set_8h_source.html#l00078">78</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div><hr/><h2>Member Typedef Documentation</h2>
<a class="anchor" id="a12acfe747a41135e51ca0cb1f73d5570"></a><!-- doxytag: member="Hash::hash_set::_hash_table" ref="a12acfe747a41135e51ca0cb1f73d5570" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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, _Key, _HashFcn, _EqualKey, <a class="el" href="structHash_1_1__Identity.html">_Identity</a><_Key> > <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _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__set_8h_source.html#l00082">82</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a453c55d429fc37785587c895224717d8"></a><!-- doxytag: member="Hash::hash_set::size_type" ref="a453c55d429fc37785587c895224717d8" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">size_type</a></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="hash__set_8h_source.html#l00086">86</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="ae94044e96dafa1f67c767a5be87947a5"></a><!-- doxytag: member="Hash::hash_set::key_type" ref="ae94044e96dafa1f67c767a5be87947a5" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__set.html#ae94044e96dafa1f67c767a5be87947a5">key_type</a></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="hash__set_8h_source.html#l00087">87</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="ac6573905b903da8bdfd55b839bd9d256"></a><!-- doxytag: member="Hash::hash_set::value_type" ref="ac6573905b903da8bdfd55b839bd9d256" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__set.html#ac6573905b903da8bdfd55b839bd9d256">value_type</a></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="hash__set_8h_source.html#l00088">88</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="ac46e9d8b9577273ebe9d04491b333487"></a><!-- doxytag: member="Hash::hash_set::hasher" ref="ac46e9d8b9577273ebe9d04491b333487" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__set.html#ac46e9d8b9577273ebe9d04491b333487">hasher</a></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="hash__set_8h_source.html#l00089">89</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a85e29370bae7f667a41330f33133a305"></a><!-- doxytag: member="Hash::hash_set::key_equal" ref="a85e29370bae7f667a41330f33133a305" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__set.html#a85e29370bae7f667a41330f33133a305">key_equal</a></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="hash__set_8h_source.html#l00090">90</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a87a125f71dd85de65e662559bd5a66dc"></a><!-- doxytag: member="Hash::hash_set::iterator" ref="a87a125f71dd85de65e662559bd5a66dc" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="hash__set_8h_source.html#l00094">94</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a318342bf9ac6e65541792709f949c3ef"></a><!-- doxytag: member="Hash::hash_set::const_iterator" ref="a318342bf9ac6e65541792709f949c3ef" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__set.html#a318342bf9ac6e65541792709f949c3ef">const_iterator</a></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="hash__set_8h_source.html#l00095">95</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<hr/><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" id="aeb77dd1a6c24cd228f60138b57fbaf82"></a><!-- doxytag: member="Hash::hash_set::hash_set" ref="aeb77dd1a6c24cd228f60138b57fbaf82" args="()" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__set.html">hash_set</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__set_8h_source.html#l00112">112</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a18bbc6adb3d60c0c54bc2e5b7a746d1b"></a><!-- doxytag: member="Hash::hash_set::hash_set" ref="a18bbc6adb3d60c0c54bc2e5b7a746d1b" args="(size_type initial_capacity)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__set.html">hash_set</a> </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">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__set_8h_source.html#l00117">117</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a8477c1a539f95293d4bdcb4e13c8464a"></a><!-- doxytag: member="Hash::hash_set::hash_set" ref="a8477c1a539f95293d4bdcb4e13c8464a" args="(size_type initial_capacity, const _HashFcn &hash)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__set.html">hash_set</a> </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">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__set_8h_source.html#l00122">122</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="ad836615a153bf7605b1d3aaf99a05035"></a><!-- doxytag: member="Hash::hash_set::hash_set" ref="ad836615a153bf7605b1d3aaf99a05035" args="(size_type initial_capacity, const _HashFcn &hash, const _EqualKey &equal)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__set.html">hash_set</a> </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">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__set_8h_source.html#l00127">127</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a5b240d7192fd043474183de0bb26cefb"></a><!-- doxytag: member="Hash::hash_set::hash_set" ref="a5b240d7192fd043474183de0bb26cefb" args="(const hash_set &other)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__set.html">hash_set</a> </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__set.html">hash_set</a>< _Key, _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__set_8h_source.html#l00133">133</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<hr/><h2>Member Function Documentation</h2>
<a class="anchor" id="aedfbb2359706903827f3fea0a7d6228a"></a><!-- doxytag: member="Hash::hash_set::operator=" ref="aedfbb2359706903827f3fea0a7d6228a" args="(const hash_set &other)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">hash_set</a>& <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::operator= </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__set.html">hash_set</a>< _Key, _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__set_8h_source.html#l00138">138</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a515268c3fb6fd6ec64353835019e91d1"></a><!-- doxytag: member="Hash::hash_set::swap" ref="a515268c3fb6fd6ec64353835019e91d1" args="(hash_set &other)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::swap </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classHash_1_1hash__set.html">hash_set</a>< _Key, _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__set_8h_source.html#l00146">146</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a2d699de2bb0dac0d1ea819fdc8acda96"></a><!-- doxytag: member="Hash::hash_set::clear" ref="a2d699de2bb0dac0d1ea819fdc8acda96" args="()" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _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__set_8h_source.html#l00151">151</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
<p>Referenced by <a class="el" href="expr__manager_8cpp_source.html#l00141">CVC3::ExprManager::clear()</a>, and <a class="el" href="variable_8cpp_source.html#l00380">CVC3::VariableManager::~VariableManager()</a>.</p>
</div>
</div>
<a class="anchor" id="a955279e5fd49f919bb6b0cd456d39c7b"></a><!-- doxytag: member="Hash::hash_set::find" ref="a955279e5fd49f919bb6b0cd456d39c7b" args="(const key_type &key)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a> <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::find </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__set.html#ae94044e96dafa1f67c767a5be87947a5">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__set_8h_source.html#l00161">161</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
<p>Referenced by <a class="el" href="expr__manager_8cpp_source.html#l00288">CVC3::ExprManager::newExprValue()</a>, and <a class="el" href="expr__manager_8cpp_source.html#l00251">CVC3::ExprManager::rebuildRec()</a>.</p>
</div>
</div>
<a class="anchor" id="a39b682b5aad2c13a0c06ef3186a685c7"></a><!-- doxytag: member="Hash::hash_set::find" ref="a39b682b5aad2c13a0c06ef3186a685c7" args="(const key_type &key) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html#a318342bf9ac6e65541792709f949c3ef">const_iterator</a> <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::find </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__set.html#ae94044e96dafa1f67c767a5be87947a5">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__set_8h_source.html#l00166">166</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a156c40ba629d5aba7f7cacf4eeab1e2d"></a><!-- doxytag: member="Hash::hash_set::insert" ref="a156c40ba629d5aba7f7cacf4eeab1e2d" args="(const value_type &entry)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a>, bool> <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::insert </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__set.html#ac6573905b903da8bdfd55b839bd9d256">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__set_8h_source.html#l00173">173</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
<p>Referenced by <a class="el" href="theory__array_8cpp_source.html#l00154">CVC3::TheoryArray::checkSat()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00288">CVC3::ExprManager::newExprValue()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00367">CVC3::ExprManager::newKind()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00251">CVC3::ExprManager::rebuildRec()</a>, and <a class="el" href="minisat__derivation_8h_source.html#l00155">MiniSat::Derivation::registerInputClause()</a>.</p>
</div>
</div>
<a class="anchor" id="a82dbe044048d8e25f0ffd148d726d1e4"></a><!-- doxytag: member="Hash::hash_set::erase" ref="a82dbe044048d8e25f0ffd148d726d1e4" args="(const key_type &key)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html#a453c55d429fc37785587c895224717d8">size_type</a> <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::erase </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__set.html#ae94044e96dafa1f67c767a5be87947a5">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__set_8h_source.html#l00180">180</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
<p>Referenced by <a class="el" href="variable_8cpp_source.html#l00400">CVC3::VariableManager::gc()</a>, and <a class="el" href="expr__manager_8cpp_source.html#l00188">CVC3::ExprManager::gc()</a>.</p>
</div>
</div>
<a class="anchor" id="af34cdaeac932e18cd4618b0abd30c7d1"></a><!-- doxytag: member="Hash::hash_set::contains" ref="af34cdaeac932e18cd4618b0abd30c7d1" args="(const key_type &key) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::contains </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classHash_1_1hash__set.html#ae94044e96dafa1f67c767a5be87947a5">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__set_8h_source.html#l00189">189</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a37cb55e8f59dccad07b4bd7e79535691"></a><!-- doxytag: member="Hash::hash_set::count" ref="a37cb55e8f59dccad07b4bd7e79535691" args="(const _Key &key) const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html#a453c55d429fc37785587c895224717d8">size_type</a> <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _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__set_8h_source.html#l00195">195</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="af184932d4151562ad96db36d6656f568"></a><!-- doxytag: member="Hash::hash_set::empty" ref="af184932d4151562ad96db36d6656f568" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _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__set_8h_source.html#l00200">200</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a8d883de7bd664d4cf8f4e440b711873f"></a><!-- doxytag: member="Hash::hash_set::size" ref="a8d883de7bd664d4cf8f4e440b711873f" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html#a453c55d429fc37785587c895224717d8">size_type</a> <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _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__set_8h_source.html#l00205">205</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
<p>Referenced by <a class="el" href="expr__manager_8cpp_source.html#l00141">CVC3::ExprManager::clear()</a>.</p>
</div>
</div>
<a class="anchor" id="a5b7978c4c9d12650b0813433b025016d"></a><!-- doxytag: member="Hash::hash_set::bucket_count" ref="a5b7978c4c9d12650b0813433b025016d" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html#a453c55d429fc37785587c895224717d8">size_type</a> <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _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__set_8h_source.html#l00210">210</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a7110fbd96a0ac929d6717dad9ed4810d"></a><!-- doxytag: member="Hash::hash_set::load_factor" ref="a7110fbd96a0ac929d6717dad9ed4810d" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _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__set_8h_source.html#l00215">215</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="a69de75543eb1e9fa3510bb5090ad61a6"></a><!-- doxytag: member="Hash::hash_set::begin" ref="a69de75543eb1e9fa3510bb5090ad61a6" args="()" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a> <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _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__set_8h_source.html#l00224">224</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
<p>Referenced by <a class="el" href="theory__array_8cpp_source.html#l00154">CVC3::TheoryArray::checkSat()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00141">CVC3::ExprManager::clear()</a>, and <a class="el" href="variable_8cpp_source.html#l00380">CVC3::VariableManager::~VariableManager()</a>.</p>
</div>
</div>
<a class="anchor" id="a373db78f8616eb6803196bb38642103f"></a><!-- doxytag: member="Hash::hash_set::begin" ref="a373db78f8616eb6803196bb38642103f" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html#a318342bf9ac6e65541792709f949c3ef">const_iterator</a> <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _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__set_8h_source.html#l00229">229</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<a class="anchor" id="ae3ee82665499970f29a93df9948a5757"></a><!-- doxytag: member="Hash::hash_set::end" ref="ae3ee82665499970f29a93df9948a5757" args="()" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a> <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _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__set_8h_source.html#l00235">235</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
<p>Referenced by <a class="el" href="theory__array_8cpp_source.html#l00154">CVC3::TheoryArray::checkSat()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00141">CVC3::ExprManager::clear()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00288">CVC3::ExprManager::newExprValue()</a>, <a class="el" href="expr__manager_8cpp_source.html#l00251">CVC3::ExprManager::rebuildRec()</a>, and <a class="el" href="variable_8cpp_source.html#l00380">CVC3::VariableManager::~VariableManager()</a>.</p>
</div>
</div>
<a class="anchor" id="a0803457d6d25f41012bda1a92e45ae84"></a><!-- doxytag: member="Hash::hash_set::end" ref="a0803457d6d25f41012bda1a92e45ae84" args="() const " -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html#a318342bf9ac6e65541792709f949c3ef">const_iterator</a> <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _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__set_8h_source.html#l00240">240</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
</div>
</div>
<hr/><h2>Member Data Documentation</h2>
<a class="anchor" id="a885b5c4c82db74c7be5022ff35ba0e27"></a><!-- doxytag: member="Hash::hash_set::d_table" ref="a885b5c4c82db74c7be5022ff35ba0e27" args="" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<class _Key, 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__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::<a class="el" href="classHash_1_1hash__set.html#a885b5c4c82db74c7be5022ff35ba0e27">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__set_8h_source.html#l00103">103</a> of file <a class="el" href="hash__set_8h_source.html">hash_set.h</a>.</p>
<p>Referenced by <a class="el" href="hash__set_8h_source.html#l00224">Hash::hash_set< Var >::begin()</a>, <a class="el" href="hash__set_8h_source.html#l00210">Hash::hash_set< Var >::bucket_count()</a>, <a class="el" href="hash__set_8h_source.html#l00151">Hash::hash_set< Var >::clear()</a>, <a class="el" href="hash__set_8h_source.html#l00189">Hash::hash_set< Var >::contains()</a>, <a class="el" href="hash__set_8h_source.html#l00195">Hash::hash_set< Var >::count()</a>, <a class="el" href="hash__set_8h_source.html#l00200">Hash::hash_set< Var >::empty()</a>, <a class="el" href="hash__set_8h_source.html#l00235">Hash::hash_set< Var >::end()</a>, <a class="el" href="hash__set_8h_source.html#l00180">Hash::hash_set< Var >::erase()</a>, <a class="el" href="hash__set_8h_source.html#l00161">Hash::hash_set< Var >::find()</a>, <a class="el" href="hash__set_8h_source.html#l00173">Hash::hash_set< Var >::insert()</a>, <a class="el" href="hash__set_8h_source.html#l00215">Hash::hash_set< Var >::load_factor()</a>, <a class="el" href="hash__set_8h_source.html#l00138">Hash::hash_set< Var >::operator=()</a>, <a class="el" href="hash__set_8h_source.html#l00205">Hash::hash_set< Var >::size()</a>, and <a class="el" href="hash__set_8h_source.html#l00146">Hash::hash_set< Var >::swap()</a>.</p>
</div>
</div>
<hr/>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="hash__set_8h_source.html">hash_set.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>
