1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://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"/>
<meta name="generator" content="Doxygen 1.8.17"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>BitMagic-C++: sample17.cpp Source File</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 id="projectalign" style="padding-left: 0.5em;">
<div id="projectname">BitMagic-C++
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.17 -->
<script type="text/javascript" src="menudata.js"></script>
<script type="text/javascript" src="menu.js"></script>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&dn=gpl-2.0.txt GPL-v2 */
$(function() {
initMenu('',false,false,'search.php','Search');
});
/* @license-end */</script>
<div id="main-nav"></div>
<div id="nav-path" class="navpath">
<ul>
<li class="navelem"><a class="el" href="dir_6f9635d4fbfa321d4c00f29df5cd540c.html">samples</a></li><li class="navelem"><a class="el" href="dir_16215242acffff192f29ae6fb87edc60.html">bvsample17</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
<div class="headertitle">
<div class="title">sample17.cpp</div> </div>
</div><!--header-->
<div class="contents">
<a href="sample17_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span> <span class="comment">/*</span></div>
<div class="line"><a name="l00002"></a><span class="lineno"> 2</span> <span class="comment">Copyright(c) 2002-2017 Anatoliy Kuznetsov(anatoliy_kuznetsov at yahoo.com)</span></div>
<div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="comment"></span> </div>
<div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="comment">Licensed under the Apache License, Version 2.0 (the "License");</span></div>
<div class="line"><a name="l00005"></a><span class="lineno"> 5</span> <span class="comment">you may not use this file except in compliance with the License.</span></div>
<div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="comment">You may obtain a copy of the License at</span></div>
<div class="line"><a name="l00007"></a><span class="lineno"> 7</span> <span class="comment"></span> </div>
<div class="line"><a name="l00008"></a><span class="lineno"> 8</span> <span class="comment"> http://www.apache.org/licenses/LICENSE-2.0</span></div>
<div class="line"><a name="l00009"></a><span class="lineno"> 9</span> <span class="comment"></span> </div>
<div class="line"><a name="l00010"></a><span class="lineno"> 10</span> <span class="comment">Unless required by applicable law or agreed to in writing, software</span></div>
<div class="line"><a name="l00011"></a><span class="lineno"> 11</span> <span class="comment">distributed under the License is distributed on an "AS IS" BASIS,</span></div>
<div class="line"><a name="l00012"></a><span class="lineno"> 12</span> <span class="comment">WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.</span></div>
<div class="line"><a name="l00013"></a><span class="lineno"> 13</span> <span class="comment">See the License for the specific language governing permissions and</span></div>
<div class="line"><a name="l00014"></a><span class="lineno"> 14</span> <span class="comment">limitations under the License.</span></div>
<div class="line"><a name="l00015"></a><span class="lineno"> 15</span> <span class="comment"></span> </div>
<div class="line"><a name="l00016"></a><span class="lineno"> 16</span> <span class="comment">For more information please visit: http://bitmagic.io</span></div>
<div class="line"><a name="l00017"></a><span class="lineno"> 17</span> <span class="comment">*/</span></div>
<div class="line"><a name="l00018"></a><span class="lineno"> 18</span> <span class="comment"></span> </div>
<div class="line"><a name="l00019"></a><span class="lineno"> 19</span> <span class="comment">/** \example sample17.cpp</span></div>
<div class="line"><a name="l00020"></a><span class="lineno"> 20</span> <span class="comment">Example rank and select operations.</span></div>
<div class="line"><a name="l00021"></a><span class="lineno"> 21</span> <span class="comment"></span> </div>
<div class="line"><a name="l00022"></a><span class="lineno"> 22</span> <span class="comment">*/</span></div>
<div class="line"><a name="l00023"></a><span class="lineno"> 23</span> <span class="comment"></span> </div>
<div class="line"><a name="l00024"></a><span class="lineno"> 24</span> <span class="comment">/*! \file sample17.cpp</span></div>
<div class="line"><a name="l00025"></a><span class="lineno"> 25</span> <span class="comment"> \brief Example: rank and select operations using rank-select index</span></div>
<div class="line"><a name="l00026"></a><span class="lineno"> 26</span> <span class="comment">*/</span></div>
<div class="line"><a name="l00027"></a><span class="lineno"> 27</span>  </div>
<div class="line"><a name="l00028"></a><span class="lineno"> 28</span> <span class="preprocessor">#include <stdlib.h></span></div>
<div class="line"><a name="l00029"></a><span class="lineno"> 29</span> <span class="preprocessor">#include <iostream></span></div>
<div class="line"><a name="l00030"></a><span class="lineno"> 30</span> <span class="preprocessor">#include <vector></span></div>
<div class="line"><a name="l00031"></a><span class="lineno"> 31</span> <span class="preprocessor">#include <memory></span></div>
<div class="line"><a name="l00032"></a><span class="lineno"> 32</span>  </div>
<div class="line"><a name="l00033"></a><span class="lineno"> 33</span> <span class="preprocessor">#include "<a class="code" href="bm_8h.html">bm.h</a>"</span></div>
<div class="line"><a name="l00034"></a><span class="lineno"> 34</span>  </div>
<div class="line"><a name="l00035"></a><span class="lineno"><a class="line" href="sample17_8cpp.html#a840291bc02cba5474a4cb46a9b9566fe"> 35</a></span> <span class="keywordtype">int</span> <a class="code" href="sample17_8cpp.html#a840291bc02cba5474a4cb46a9b9566fe">main</a>(<span class="keywordtype">void</span>)</div>
<div class="line"><a name="l00036"></a><span class="lineno"> 36</span> {</div>
<div class="line"><a name="l00037"></a><span class="lineno"> 37</span>  <span class="keywordflow">try</span></div>
<div class="line"><a name="l00038"></a><span class="lineno"> 38</span>  {</div>
<div class="line"><a name="l00039"></a><span class="lineno"> 39</span>  <a class="code" href="classbm_1_1bvector.html">bm::bvector<></a> bv { 1, 20, 30, 31 }; <span class="comment">// init a test bit-vector</span></div>
<div class="line"><a name="l00040"></a><span class="lineno"> 40</span>  </div>
<div class="line"><a name="l00041"></a><span class="lineno"> 41</span>  <span class="comment">// construct rank-select index</span></div>
<div class="line"><a name="l00042"></a><span class="lineno"> 42</span>  std::unique_ptr<bm::bvector<>::rs_index_type></div>
<div class="line"><a name="l00043"></a><span class="lineno"> 43</span>  rs_idx(<span class="keyword">new</span> <a class="code" href="classbm_1_1bvector.html#ac9ed62250af37ade811aaf20b7a8d9a2">bm::bvector<>::rs_index_type</a>());</div>
<div class="line"><a name="l00044"></a><span class="lineno"> 44</span>  bv.build_rs_index(rs_idx.get());</div>
<div class="line"><a name="l00045"></a><span class="lineno"> 45</span>  </div>
<div class="line"><a name="l00046"></a><span class="lineno"> 46</span>  <span class="comment">// lets find a few ranks here</span></div>
<div class="line"><a name="l00047"></a><span class="lineno"> 47</span>  <span class="comment">//</span></div>
<div class="line"><a name="l00048"></a><span class="lineno"> 48</span>  <span class="keyword">auto</span> r1 = bv.rank(20, *rs_idx);</div>
<div class="line"><a name="l00049"></a><span class="lineno"> 49</span>  std::cout << r1 << std::endl; <span class="comment">// 2</span></div>
<div class="line"><a name="l00050"></a><span class="lineno"> 50</span>  </div>
<div class="line"><a name="l00051"></a><span class="lineno"> 51</span>  r1 = bv.rank(21, *rs_idx);</div>
<div class="line"><a name="l00052"></a><span class="lineno"> 52</span>  std::cout << r1 << std::endl; <span class="comment">// still 2</span></div>
<div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  </div>
<div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  r1 = bv.rank(30, *rs_idx);</div>
<div class="line"><a name="l00055"></a><span class="lineno"> 55</span>  std::cout << r1 << std::endl; <span class="comment">// 3</span></div>
<div class="line"><a name="l00056"></a><span class="lineno"> 56</span>  </div>
<div class="line"><a name="l00057"></a><span class="lineno"> 57</span>  <span class="comment">// position value corrected rank</span></div>
<div class="line"><a name="l00058"></a><span class="lineno"> 58</span>  <span class="comment">// one special case of rank function returns rank-1</span></div>
<div class="line"><a name="l00059"></a><span class="lineno"> 59</span>  <span class="comment">// if position bit is set or just rank, otherwise</span></div>
<div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  <span class="comment">//</span></div>
<div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  <span class="comment">// this is an equivalent of</span></div>
<div class="line"><a name="l00062"></a><span class="lineno"> 62</span>  <span class="comment">// bv.count_range(0, n) - bv.text(n)</span></div>
<div class="line"><a name="l00063"></a><span class="lineno"> 63</span>  <span class="comment">// (just faster, because of the fused rank-test)</span></div>
<div class="line"><a name="l00064"></a><span class="lineno"> 64</span>  <span class="comment">//</span></div>
<div class="line"><a name="l00065"></a><span class="lineno"> 65</span>  </div>
<div class="line"><a name="l00066"></a><span class="lineno"> 66</span>  <span class="keyword">auto</span> r1c = bv.rank_corrected(31, *rs_idx); <span class="comment">// 3</span></div>
<div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  std::cout << r1c << std::endl;</div>
<div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  r1c = bv.rank_corrected(32, *rs_idx); <span class="comment">// 4</span></div>
<div class="line"><a name="l00069"></a><span class="lineno"> 69</span>  std::cout << r1c << std::endl;</div>
<div class="line"><a name="l00070"></a><span class="lineno"> 70</span>  r1c = bv.rank_corrected(33, *rs_idx); <span class="comment">// 4</span></div>
<div class="line"><a name="l00071"></a><span class="lineno"> 71</span>  std::cout << r1c << std::endl;</div>
<div class="line"><a name="l00072"></a><span class="lineno"> 72</span>  </div>
<div class="line"><a name="l00073"></a><span class="lineno"> 73</span>  </div>
<div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <span class="comment">// now perform a search for a position for a rank</span></div>
<div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  <span class="comment">//</span></div>
<div class="line"><a name="l00076"></a><span class="lineno"> 76</span>  <a class="code" href="classbm_1_1bvector.html#a405dd9ed048c935c84a5086ec8ba3649">bm::bvector<>::size_type</a> pos;</div>
<div class="line"><a name="l00077"></a><span class="lineno"> 77</span>  <span class="keywordtype">bool</span> found = bv.select(2, pos, *rs_idx);</div>
<div class="line"><a name="l00078"></a><span class="lineno"> 78</span>  <span class="keywordflow">if</span> (found)</div>
<div class="line"><a name="l00079"></a><span class="lineno"> 79</span>  std::cout << pos << std::endl; <span class="comment">// 20</span></div>
<div class="line"><a name="l00080"></a><span class="lineno"> 80</span>  <span class="keywordflow">else</span></div>
<div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  std::cout << <span class="stringliteral">"Rank not found."</span> << std::endl;</div>
<div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  </div>
<div class="line"><a name="l00083"></a><span class="lineno"> 83</span>  found = bv.<a class="code" href="classbm_1_1bvector.html#a7ded07c26c000250baf5215c29c3b602">select</a>(2, pos, *rs_idx);</div>
<div class="line"><a name="l00084"></a><span class="lineno"> 84</span>  <span class="keywordflow">if</span> (found)</div>
<div class="line"><a name="l00085"></a><span class="lineno"> 85</span>  std::cout << pos << std::endl; <span class="comment">// 30</span></div>
<div class="line"><a name="l00086"></a><span class="lineno"> 86</span>  <span class="keywordflow">else</span></div>
<div class="line"><a name="l00087"></a><span class="lineno"> 87</span>  std::cout << <span class="stringliteral">"Rank not found."</span> << std::endl;</div>
<div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  </div>
<div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  found = bv.<a class="code" href="classbm_1_1bvector.html#a7ded07c26c000250baf5215c29c3b602">select</a>(5, pos, *rs_idx);</div>
<div class="line"><a name="l00090"></a><span class="lineno"> 90</span>  <span class="keywordflow">if</span> (found)</div>
<div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  std::cout << pos << std::endl;</div>
<div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <span class="keywordflow">else</span></div>
<div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  std::cout << <span class="stringliteral">"Rank not found."</span> << std::endl; <span class="comment">// this!</span></div>
<div class="line"><a name="l00094"></a><span class="lineno"> 94</span>  </div>
<div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  }</div>
<div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  <span class="keywordflow">catch</span>(std::exception& ex)</div>
<div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  {</div>
<div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  std::cerr << ex.what() << std::endl;</div>
<div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  <span class="keywordflow">return</span> 1;</div>
<div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  }</div>
<div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  </div>
<div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  </div>
<div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  <span class="keywordflow">return</span> 0;</div>
<div class="line"><a name="l00104"></a><span class="lineno"> 104</span> }</div>
<div class="line"><a name="l00105"></a><span class="lineno"> 105</span>  </div>
<div class="line"><a name="l00106"></a><span class="lineno"> 106</span>  </div>
</div><!-- fragment --></div><!-- contents -->
<div class="ttc" id="aclassbm_1_1bvector_html_ac9ed62250af37ade811aaf20b7a8d9a2"><div class="ttname"><a href="classbm_1_1bvector.html#ac9ed62250af37ade811aaf20b7a8d9a2">bm::bvector::rs_index_type</a></div><div class="ttdeci">rs_index< allocator_type > rs_index_type</div><div class="ttdef"><b>Definition:</b> <a href="bm_8h_source.html#l00831">bm.h:831</a></div></div>
<div class="ttc" id="aclassbm_1_1bvector_html_a7ded07c26c000250baf5215c29c3b602"><div class="ttname"><a href="classbm_1_1bvector.html#a7ded07c26c000250baf5215c29c3b602">bm::bvector::select</a></div><div class="ttdeci">bool select(size_type rank, size_type &pos, const rs_index_type &rs_idx) const BMNOEXCEPT</div><div class="ttdoc">select bit-vector position for the specified rank(bitcount)</div><div class="ttdef"><b>Definition:</b> <a href="bm_8h_source.html#l04225">bm.h:4225</a></div></div>
<div class="ttc" id="aclassbm_1_1bvector_html"><div class="ttname"><a href="classbm_1_1bvector.html">bm::bvector<></a></div></div>
<div class="ttc" id="asample17_8cpp_html_a840291bc02cba5474a4cb46a9b9566fe"><div class="ttname"><a href="sample17_8cpp.html#a840291bc02cba5474a4cb46a9b9566fe">main</a></div><div class="ttdeci">int main(void)</div><div class="ttdef"><b>Definition:</b> <a href="sample17_8cpp_source.html#l00035">sample17.cpp:35</a></div></div>
<div class="ttc" id="aclassbm_1_1bvector_html_a405dd9ed048c935c84a5086ec8ba3649"><div class="ttname"><a href="classbm_1_1bvector.html#a405dd9ed048c935c84a5086ec8ba3649">bm::bvector::size_type</a></div><div class="ttdeci">bm::id_t size_type</div><div class="ttdef"><b>Definition:</b> <a href="bm_8h_source.html#l00117">bm.h:117</a></div></div>
<div class="ttc" id="abm_8h_html"><div class="ttname"><a href="bm_8h.html">bm.h</a></div><div class="ttdoc">Compressed bit-vector bvector<> container, set algebraic methods, traversal iterators.</div></div>
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated by  <a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.17
</small></address>
</body>
</html>
|
