Sophie

Sophie

distrib > PLD > th > x86_64 > by-pkgid > 9f869ff92bf81fc4b13902b2b85811f8 > files > 2050

cvc3-doc-2.4.1-1.noarch.rpm

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>CVC3: Hash Namespace 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&#160;Page</span></a></li>
      <li><a href="pages.html"><span>Related&#160;Pages</span></a></li>
      <li><a href="modules.html"><span>Modules</span></a></li>
      <li class="current"><a href="namespaces.html"><span>Namespaces</span></a></li>
      <li><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="namespaces.html"><span>Namespace&#160;List</span></a></li>
      <li><a href="namespacemembers.html"><span>Namespace&#160;Members</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<div class="header">
  <div class="summary">
<a href="#nested-classes">Classes</a> &#124;
<a href="#typedef-members">Typedefs</a> &#124;
<a href="#func-members">Functions</a> &#124;
<a href="#var-members">Variables</a>  </div>
  <div class="headertitle">
<div class="title">Hash Namespace Reference</div>  </div>
</div><!--header-->
<div class="contents">
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
Classes</h2></td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash_3_01CVC3_1_1Expr_01_4.html">hash&lt; CVC3::Expr &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash_3_01std_1_1string_01_4.html">hash&lt; std::string &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash.html">hash</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash_3_01char_01_5_01_4.html">hash&lt; char * &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash_3_01const_01char_01_5_01_4.html">hash&lt; const char * &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash_3_01char_01_4.html">hash&lt; char &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash_3_01unsigned_01char_01_4.html">hash&lt; unsigned char &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash_3_01signed_01char_01_4.html">hash&lt; signed char &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash_3_01short_01_4.html">hash&lt; short &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash_3_01unsigned_01short_01_4.html">hash&lt; unsigned short &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash_3_01int_01_4.html">hash&lt; int &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash_3_01unsigned_01int_01_4.html">hash&lt; unsigned int &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash_3_01long_01_4.html">hash&lt; long &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash_3_01unsigned_01long_01_4.html">hash&lt; unsigned long &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1__Select1st.html">_Select1st</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__map.html">hash_map</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1__Identity.html">_Identity</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__set.html">hash_set</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classHash_1_1hash__table.html">hash_table</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structHash_1_1hash_3_01CVC3_1_1Theorem_01_4.html">hash&lt; CVC3::Theorem &gt;</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="typedef-members"></a>
Typedefs</h2></td></tr>
<tr class="memitem:a34e07ea2356b048f9871d1cfdf478da6"><td class="memItemLeft" align="right" valign="top">typedef size_t&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceHash.html#a34e07ea2356b048f9871d1cfdf478da6">size_type</a></td></tr>
<tr class="separator:a34e07ea2356b048f9871d1cfdf478da6"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
Functions</h2></td></tr>
<tr class="memitem:af874f42ac433f219af18d0c2e7e63820"><td class="memItemLeft" align="right" valign="top">size_t&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceHash.html#af874f42ac433f219af18d0c2e7e63820">__stl_hash_string</a> (const char *__s)</td></tr>
<tr class="separator:af874f42ac433f219af18d0c2e7e63820"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ae59d4ed6f1ad169bdcc914168ce74c04"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceHash.html#a34e07ea2356b048f9871d1cfdf478da6">size_type</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceHash.html#ae59d4ed6f1ad169bdcc914168ce74c04">next_prime</a> (<a class="el" href="namespaceHash.html#a34e07ea2356b048f9871d1cfdf478da6">size_type</a> n)</td></tr>
<tr class="separator:ae59d4ed6f1ad169bdcc914168ce74c04"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="var-members"></a>
Variables</h2></td></tr>
<tr class="memitem:ad82cc804178188cd35c373e97323da1f"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceHash.html#a34e07ea2356b048f9871d1cfdf478da6">size_type</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceHash.html#ad82cc804178188cd35c373e97323da1f">num_primes</a> = 28</td></tr>
<tr class="memdesc:ad82cc804178188cd35c373e97323da1f"><td class="mdescLeft">&#160;</td><td class="mdescRight">primes for increasing the hash table size  <a href="#ad82cc804178188cd35c373e97323da1f"></a><br/></td></tr>
<tr class="separator:ad82cc804178188cd35c373e97323da1f"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ad803517740157e5d73f9e863e80e1229"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="namespaceHash.html#a34e07ea2356b048f9871d1cfdf478da6">size_type</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceHash.html#ad803517740157e5d73f9e863e80e1229">prime_list</a> [<a class="el" href="namespaceHash.html#ad82cc804178188cd35c373e97323da1f">num_primes</a>]</td></tr>
<tr class="separator:ad803517740157e5d73f9e863e80e1229"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table>
<h2 class="groupheader">Typedef Documentation</h2>
<a class="anchor" id="a34e07ea2356b048f9871d1cfdf478da6"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">typedef size_t <a class="el" href="namespaceHash.html#a34e07ea2356b048f9871d1cfdf478da6">Hash::size_type</a></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>Definition at line <a class="el" href="hash__table_8h_source.html#l00075">75</a> of file <a class="el" href="hash__table_8h_source.html">hash_table.h</a>.</p>

</div>
</div>
<h2 class="groupheader">Function Documentation</h2>
<a class="anchor" id="af874f42ac433f219af18d0c2e7e63820"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">size_t Hash::__stl_hash_string </td>
          <td>(</td>
          <td class="paramtype">const char *&#160;</td>
          <td class="paramname"><em>__s</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__fun_8h_source.html#l00062">62</a> of file <a class="el" href="hash__fun_8h_source.html">hash_fun.h</a>.</p>

<p>Referenced by <a class="el" href="hash__fun_8h_source.html#l00072">Hash::hash&lt; char * &gt;::operator()()</a>, and <a class="el" href="hash__fun_8h_source.html#l00077">Hash::hash&lt; const char * &gt;::operator()()</a>.</p>

</div>
</div>
<a class="anchor" id="ae59d4ed6f1ad169bdcc914168ce74c04"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="namespaceHash.html#a34e07ea2356b048f9871d1cfdf478da6">size_type</a> Hash::next_prime </td>
          <td>(</td>
          <td class="paramtype">size_type&#160;</td>
          <td class="paramname"><em>n</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__table_8h_source.html#l00091">91</a> of file <a class="el" href="hash__table_8h_source.html">hash_table.h</a>.</p>

<p>References <a class="el" href="hash__table_8h_source.html#l00080">num_primes</a>, and <a class="el" href="hash__table_8h_source.html#l00082">prime_list</a>.</p>

<p>Referenced by <a class="el" href="hash__table_8h_source.html#l00240">Hash::hash_table&lt; long, std::pair&lt; const long, bool &gt;, hash&lt; long &gt;, std::equal_to&lt; long &gt;, _Select1st&lt; std::pair&lt; const long, bool &gt; &gt; &gt;::resize()</a>.</p>

</div>
</div>
<h2 class="groupheader">Variable Documentation</h2>
<a class="anchor" id="ad82cc804178188cd35c373e97323da1f"></a>
<div class="memitem">
<div class="memproto">
      <table class="memname">
        <tr>
          <td class="memname">const <a class="el" href="namespaceHash.html#a34e07ea2356b048f9871d1cfdf478da6">size_type</a> Hash::num_primes = 28</td>
        </tr>
      </table>
</div><div class="memdoc">

<p>primes for increasing the hash table size </p>

<p>Definition at line <a class="el" href="hash__table_8h_source.html#l00080">80</a> of file <a class="el" href="hash__table_8h_source.html">hash_table.h</a>.</p>

<p>Referenced by <a class="el" href="hash__table_8h_source.html#l00091">next_prime()</a>.</p>

</div>
</div>
<a class="anchor" id="ad803517740157e5d73f9e863e80e1229"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname">const <a class="el" href="namespaceHash.html#a34e07ea2356b048f9871d1cfdf478da6">size_type</a> Hash::prime_list[<a class="el" href="namespaceHash.html#ad82cc804178188cd35c373e97323da1f">num_primes</a>]</td>
        </tr>
      </table>
  </td>
  <td class="mlabels-right">
<span class="mlabels"><span class="mlabel">static</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">
<b>Initial value:</b><div class="fragment"><div class="line">= {</div>
<div class="line">    53ul,         97ul,         193ul,       389ul,       769ul,</div>
<div class="line">    1543ul,       3079ul,       6151ul,      12289ul,     24593ul,</div>
<div class="line">    49157ul,      98317ul,      196613ul,    393241ul,    786433ul,</div>
<div class="line">    1572869ul,    3145739ul,    6291469ul,   12582917ul,  25165843ul,</div>
<div class="line">    50331653ul,   100663319ul,  201326611ul, 402653189ul, 805306457ul, </div>
<div class="line">    1610612741ul, 3221225473ul, 4294967291ul</div>
<div class="line">  }</div>
</div><!-- fragment -->
<p>Definition at line <a class="el" href="hash__table_8h_source.html#l00082">82</a> of file <a class="el" href="hash__table_8h_source.html">hash_table.h</a>.</p>

<p>Referenced by <a class="el" href="hash__table_8h_source.html#l00091">next_prime()</a>.</p>

</div>
</div>
</div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Thu May 16 2013 13:25:19 for CVC3 by &#160;<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.2
</small></address>
</body>
</html>