<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>CVC3: Hash::hash_set< _Key, _HashFcn, _EqualKey > Class Template Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td style="padding-left: 0.5em;">
<div id="projectname">CVC3
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.2 -->
<div id="navrow1" class="tabs">
<ul class="tablist">
<li><a href="index.html"><span>Main Page</span></a></li>
<li><a href="pages.html"><span>Related Pages</span></a></li>
<li><a href="modules.html"><span>Modules</span></a></li>
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
<li class="current"><a href="annotated.html"><span>Classes</span></a></li>
<li><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div id="navrow2" class="tabs2">
<ul class="tablist">
<li><a href="annotated.html"><span>Class List</span></a></li>
<li><a href="classes.html"><span>Class Index</span></a></li>
<li><a href="inherits.html"><span>Class Hierarchy</span></a></li>
<li><a href="functions.html"><span>Class Members</span></a></li>
</ul>
</div>
<div id="nav-path" class="navpath">
<ul>
<li class="navelem"><a class="el" href="namespaceHash.html">Hash</a></li><li class="navelem"><a class="el" href="classHash_1_1hash__set.html">hash_set</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
<div class="summary">
<a href="#pub-types">Public Types</a> |
<a href="#pub-methods">Public Member Functions</a> |
<a href="#pro-types">Protected Types</a> |
<a href="#pro-attribs">Protected Attributes</a> |
<a href="classHash_1_1hash__set-members.html">List of all members</a> </div>
<div class="headertitle">
<div class="title">Hash::hash_set< _Key, _HashFcn, _EqualKey > Class Template Reference</div> </div>
</div><!--header-->
<div class="contents">
<p><code>#include <<a class="el" href="hash__set_8h_source.html">hash_set.h</a>></code></p>
<div class="dynheader">
Collaboration diagram for Hash::hash_set< _Key, _HashFcn, _EqualKey >:</div>
<div class="dyncontent">
<div class="center"><img src="classHash_1_1hash__set__coll__graph.gif" border="0" usemap="#Hash_1_1hash__set_3_01__Key_00_01__HashFcn_00_01__EqualKey_01_4_coll__map" alt="Collaboration graph"/></div>
<map name="Hash_1_1hash__set_3_01__Key_00_01__HashFcn_00_01__EqualKey_01_4_coll__map" id="Hash_1_1hash__set_3_01__Key_00_01__HashFcn_00_01__EqualKey_01_4_coll__map">
</map>
</div>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
Public Types</h2></td></tr>
<tr class="memitem:a453c55d429fc37785587c895224717d8"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classHash_1_1hash__table.html#a324f81cab1c1e0a66f14b93bde73ffe5">_hash_table::size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">size_type</a></td></tr>
<tr class="separator:a453c55d429fc37785587c895224717d8"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ae94044e96dafa1f67c767a5be87947a5"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classHash_1_1hash__table.html#a169157d3eb001aad4379ae2b2858d947">_hash_table::key_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#ae94044e96dafa1f67c767a5be87947a5">key_type</a></td></tr>
<tr class="separator:ae94044e96dafa1f67c767a5be87947a5"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ac6573905b903da8bdfd55b839bd9d256"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classHash_1_1hash__table.html#a73a266824c6f4b1e7398bdb95ee7cb51">_hash_table::value_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#ac6573905b903da8bdfd55b839bd9d256">value_type</a></td></tr>
<tr class="separator:ac6573905b903da8bdfd55b839bd9d256"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ac46e9d8b9577273ebe9d04491b333487"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classHash_1_1hash__table.html#adc97d1ce5a0c04a5083faea47e2bf6a7">_hash_table::hasher</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#ac46e9d8b9577273ebe9d04491b333487">hasher</a></td></tr>
<tr class="separator:ac46e9d8b9577273ebe9d04491b333487"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a85e29370bae7f667a41330f33133a305"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classHash_1_1hash__table.html#a03e9ef2c5a815421589495e96bb9a6fb">_hash_table::key_equal</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a85e29370bae7f667a41330f33133a305">key_equal</a></td></tr>
<tr class="separator:a85e29370bae7f667a41330f33133a305"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a87a125f71dd85de65e662559bd5a66dc"><td class="memItemLeft" align="right" valign="top">typedef _hash_table::iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a></td></tr>
<tr class="separator:a87a125f71dd85de65e662559bd5a66dc"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a318342bf9ac6e65541792709f949c3ef"><td class="memItemLeft" align="right" valign="top">typedef _hash_table::const_iterator </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a318342bf9ac6e65541792709f949c3ef">const_iterator</a></td></tr>
<tr class="separator:a318342bf9ac6e65541792709f949c3ef"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
Public Member Functions</h2></td></tr>
<tr class="memitem:aeb77dd1a6c24cd228f60138b57fbaf82"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#aeb77dd1a6c24cd228f60138b57fbaf82">hash_set</a> ()</td></tr>
<tr class="memdesc:aeb77dd1a6c24cd228f60138b57fbaf82"><td class="mdescLeft"> </td><td class="mdescRight">methods <a href="#aeb77dd1a6c24cd228f60138b57fbaf82"></a><br/></td></tr>
<tr class="separator:aeb77dd1a6c24cd228f60138b57fbaf82"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a18bbc6adb3d60c0c54bc2e5b7a746d1b"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><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)</td></tr>
<tr class="separator:a18bbc6adb3d60c0c54bc2e5b7a746d1b"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a8477c1a539f95293d4bdcb4e13c8464a"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><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>)</td></tr>
<tr class="separator:a8477c1a539f95293d4bdcb4e13c8464a"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ad836615a153bf7605b1d3aaf99a05035"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><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)</td></tr>
<tr class="separator:ad836615a153bf7605b1d3aaf99a05035"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a5b240d7192fd043474183de0bb26cefb"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><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)</td></tr>
<tr class="separator:a5b240d7192fd043474183de0bb26cefb"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:aedfbb2359706903827f3fea0a7d6228a"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__set.html">hash_set</a> & </td><td class="memItemRight" valign="bottom"><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)</td></tr>
<tr class="separator:aedfbb2359706903827f3fea0a7d6228a"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a515268c3fb6fd6ec64353835019e91d1"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><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)</td></tr>
<tr class="separator:a515268c3fb6fd6ec64353835019e91d1"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a2d699de2bb0dac0d1ea819fdc8acda96"><td class="memItemLeft" align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a2d699de2bb0dac0d1ea819fdc8acda96">clear</a> ()</td></tr>
<tr class="separator:a2d699de2bb0dac0d1ea819fdc8acda96"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a955279e5fd49f919bb6b0cd456d39c7b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a> </td><td class="memItemRight" valign="bottom"><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)</td></tr>
<tr class="memdesc:a955279e5fd49f919bb6b0cd456d39c7b"><td class="mdescLeft"> </td><td class="mdescRight">operations <a href="#a955279e5fd49f919bb6b0cd456d39c7b"></a><br/></td></tr>
<tr class="separator:a955279e5fd49f919bb6b0cd456d39c7b"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a39b682b5aad2c13a0c06ef3186a685c7"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__set.html#a318342bf9ac6e65541792709f949c3ef">const_iterator</a> </td><td class="memItemRight" valign="bottom"><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 </td></tr>
<tr class="separator:a39b682b5aad2c13a0c06ef3186a685c7"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a156c40ba629d5aba7f7cacf4eeab1e2d"><td class="memItemLeft" align="right" valign="top">std::pair< <a class="el" href="classHash_1_1hash__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a>, bool > </td><td class="memItemRight" valign="bottom"><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)</td></tr>
<tr class="separator:a156c40ba629d5aba7f7cacf4eeab1e2d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a82dbe044048d8e25f0ffd148d726d1e4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">size_type</a> </td><td class="memItemRight" valign="bottom"><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)</td></tr>
<tr class="separator:a82dbe044048d8e25f0ffd148d726d1e4"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:af34cdaeac932e18cd4618b0abd30c7d1"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><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 </td></tr>
<tr class="memdesc:af34cdaeac932e18cd4618b0abd30c7d1"><td class="mdescLeft"> </td><td class="mdescRight">status <a href="#af34cdaeac932e18cd4618b0abd30c7d1"></a><br/></td></tr>
<tr class="separator:af34cdaeac932e18cd4618b0abd30c7d1"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a37cb55e8f59dccad07b4bd7e79535691"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a37cb55e8f59dccad07b4bd7e79535691">count</a> (const _Key &key) const </td></tr>
<tr class="separator:a37cb55e8f59dccad07b4bd7e79535691"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:af184932d4151562ad96db36d6656f568"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#af184932d4151562ad96db36d6656f568">empty</a> () const </td></tr>
<tr class="separator:af184932d4151562ad96db36d6656f568"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a8d883de7bd664d4cf8f4e440b711873f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a8d883de7bd664d4cf8f4e440b711873f">size</a> () const </td></tr>
<tr class="separator:a8d883de7bd664d4cf8f4e440b711873f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a5b7978c4c9d12650b0813433b025016d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__set.html#a453c55d429fc37785587c895224717d8">size_type</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a5b7978c4c9d12650b0813433b025016d">bucket_count</a> () const </td></tr>
<tr class="separator:a5b7978c4c9d12650b0813433b025016d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a7110fbd96a0ac929d6717dad9ed4810d"><td class="memItemLeft" align="right" valign="top">float </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a7110fbd96a0ac929d6717dad9ed4810d">load_factor</a> () const </td></tr>
<tr class="separator:a7110fbd96a0ac929d6717dad9ed4810d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a69de75543eb1e9fa3510bb5090ad61a6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a69de75543eb1e9fa3510bb5090ad61a6">begin</a> ()</td></tr>
<tr class="memdesc:a69de75543eb1e9fa3510bb5090ad61a6"><td class="mdescLeft"> </td><td class="mdescRight">iterators <a href="#a69de75543eb1e9fa3510bb5090ad61a6"></a><br/></td></tr>
<tr class="separator:a69de75543eb1e9fa3510bb5090ad61a6"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a373db78f8616eb6803196bb38642103f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__set.html#a318342bf9ac6e65541792709f949c3ef">const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a373db78f8616eb6803196bb38642103f">begin</a> () const </td></tr>
<tr class="separator:a373db78f8616eb6803196bb38642103f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ae3ee82665499970f29a93df9948a5757"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__set.html#a87a125f71dd85de65e662559bd5a66dc">iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#ae3ee82665499970f29a93df9948a5757">end</a> ()</td></tr>
<tr class="separator:ae3ee82665499970f29a93df9948a5757"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a0803457d6d25f41012bda1a92e45ae84"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__set.html#a318342bf9ac6e65541792709f949c3ef">const_iterator</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a0803457d6d25f41012bda1a92e45ae84">end</a> () const </td></tr>
<tr class="separator:a0803457d6d25f41012bda1a92e45ae84"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-types"></a>
Protected Types</h2></td></tr>
<tr class="memitem:a12acfe747a41135e51ca0cb1f73d5570"><td class="memItemLeft" align="right" valign="top">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 > > </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a12acfe747a41135e51ca0cb1f73d5570">_hash_table</a></td></tr>
<tr class="memdesc:a12acfe747a41135e51ca0cb1f73d5570"><td class="mdescLeft"> </td><td class="mdescRight">types <a href="#a12acfe747a41135e51ca0cb1f73d5570"></a><br/></td></tr>
<tr class="separator:a12acfe747a41135e51ca0cb1f73d5570"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-attribs"></a>
Protected Attributes</h2></td></tr>
<tr class="memitem:a885b5c4c82db74c7be5022ff35ba0e27"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classHash_1_1hash__set.html#a12acfe747a41135e51ca0cb1f73d5570">_hash_table</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html#a885b5c4c82db74c7be5022ff35ba0e27">d_table</a></td></tr>
<tr class="memdesc:a885b5c4c82db74c7be5022ff35ba0e27"><td class="mdescLeft"> </td><td class="mdescRight">variables <a href="#a885b5c4c82db74c7be5022ff35ba0e27"></a><br/></td></tr>
<tr class="separator:a885b5c4c82db74c7be5022ff35ba0e27"><td class="memSeparator" colspan="2"> </td></tr>
</table>
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
<div class="textblock"><h3>template<class _Key, class _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><h2 class="groupheader">Member Typedef Documentation</h2>
<a class="anchor" id="a12acfe747a41135e51ca0cb1f73d5570"></a>
<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="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">typedef <a class="el" href="classHash_1_1hash__table.html">hash_table</a><_Key, _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__set.html#a12acfe747a41135e51ca0cb1f73d5570">_hash_table</a></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">protected</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>types </p>
<p>Definition at line <a class="el" href="hash__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>
<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>
<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>
<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>
<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>
<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>
<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>
<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>
<h2 class="groupheader">Constructor & Destructor Documentation</h2>
<a class="anchor" id="aeb77dd1a6c24cd228f60138b57fbaf82"></a>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>methods </p>
<p>constructors </p>
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<h2 class="groupheader">Member Function Documentation</h2>
<a class="anchor" id="aedfbb2359706903827f3fea0a7d6228a"></a>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>operations </p>
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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="expr__manager_8cpp_source.html#l00188">CVC3::ExprManager::gc()</a>, and <a class="el" href="variable_8cpp_source.html#l00400">CVC3::VariableManager::gc()</a>.</p>
</div>
</div>
<a class="anchor" id="af34cdaeac932e18cd4618b0abd30c7d1"></a>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>status </p>
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>iterators </p>
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<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="mlabels">
<tr>
<td class="mlabels-left">
<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</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="hash__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>
<h2 class="groupheader">Member Data Documentation</h2>
<a class="anchor" id="a885b5c4c82db74c7be5022ff35ba0e27"></a>
<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="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classHash_1_1hash__set.html#a12acfe747a41135e51ca0cb1f73d5570">_hash_table</a> <a class="el" href="classHash_1_1hash__set.html">Hash::hash_set</a>< _Key, _HashFcn, _EqualKey >::d_table</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">protected</span></span> </td>
</tr>
</table>
</div><div class="memdoc">
<p>variables </p>
<p>Definition at line <a class="el" href="hash__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><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Thu May 16 2013 13:25:20 for CVC3 by  <a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.2
</small></address>
</body>
</html>
