<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html><head><meta http-equiv="Content-Type" content="text/html;charset=UTF-8">
<title>PolyBoRi: CBidirectTermIter.h Source File</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.5.9 -->
<div class="navigation" id="top">
<div class="tabs">
<ul>
<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="namespaces.html"><span>Namespaces</span></a></li>
<li><a href="annotated.html"><span>Classes</span></a></li>
<li class="current"><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div class="tabs">
<ul>
<li><a href="files.html"><span>File List</span></a></li>
<li><a href="globals.html"><span>File Members</span></a></li>
</ul>
</div>
<h1>CBidirectTermIter.h</h1><a href="CBidirectTermIter_8h.html">Go to the documentation of this file.</a><div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="comment">// -*- c++ -*-</span>
<a name="l00002"></a>00002 <span class="comment">//*****************************************************************************</span>
<a name="l00042"></a>00042 <span class="comment"></span><span class="comment">//*****************************************************************************</span>
<a name="l00043"></a>00043
<a name="l00044"></a>00044 <span class="comment">// get standard header</span>
<a name="l00045"></a>00045 <span class="preprocessor">#include <stack></span>
<a name="l00046"></a>00046 <span class="preprocessor">#include <utility></span>
<a name="l00047"></a>00047
<a name="l00048"></a>00048 <span class="comment">// include basic definitions</span>
<a name="l00049"></a>00049 <span class="preprocessor">#include "<a class="code" href="pbori__defs_8h.html">pbori_defs.h</a>"</span>
<a name="l00050"></a>00050
<a name="l00051"></a>00051 <span class="comment">// Get forward term iterator</span>
<a name="l00052"></a>00052 <span class="preprocessor">#include "<a class="code" href="CTermIter_8h.html">CTermIter.h</a>"</span>
<a name="l00053"></a>00053
<a name="l00054"></a>00054
<a name="l00055"></a>00055 <span class="preprocessor">#ifndef CBidirectTermIter_h_</span>
<a name="l00056"></a>00056 <span class="preprocessor"></span><span class="preprocessor">#define CBidirectTermIter_h_</span>
<a name="l00057"></a>00057 <span class="preprocessor"></span>
<a name="l00058"></a>00058 <a class="code" href="pbori__defs_8h.html#6ae360a591580558f31b6157ee792a10" title="Start project&#39;s namespace.">BEGIN_NAMESPACE_PBORI</a>
<a name="l00059"></a>00059
<a name="l00060"></a>00060 <span class="keyword">template</span><<span class="keyword">class</span> NavigatorType>
<a name="l00061"></a><a class="code" href="classpolybori_1_1handle__else.html">00061</a> <span class="keyword">class </span><a class="code" href="classpolybori_1_1handle__else.html">handle_else</a> :
<a name="l00062"></a>00062 <span class="keyword">public</span> std::deque<NavigatorType> {
<a name="l00063"></a>00063 <span class="keyword">public</span>:
<a name="l00064"></a>00064
<a name="l00065"></a><a class="code" href="classpolybori_1_1handle__else.html#20c67fec1f7da65012d4aab04d100f42">00065</a> <span class="keyword">typedef</span> NavigatorType navigator_type;
<a name="l00066"></a><a class="code" href="classpolybori_1_1handle__else.html#998f4fe336749b443e9f1f0f9d71e329">00066</a> <span class="keyword">typedef</span> std::deque<NavigatorType> base;
<a name="l00067"></a>00067
<a name="l00068"></a><a class="code" href="classpolybori_1_1handle__else.html#c147f0fd3a8437d95daae946f17308be">00068</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1handle__else.html#c147f0fd3a8437d95daae946f17308be">operator()</a>(<span class="keyword">const</span> navigator_type& navi) {
<a name="l00069"></a>00069
<a name="l00070"></a>00070 <span class="keywordflow">while</span>(!base::empty() && (*top() >= *navi) )
<a name="l00071"></a>00071 base::pop_back();
<a name="l00072"></a>00072
<a name="l00073"></a>00073 base::push_back(navi);
<a name="l00074"></a>00074 }
<a name="l00075"></a><a class="code" href="classpolybori_1_1handle__else.html#956b7fe86ba371571ca7bf9d50c8d6be">00075</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1handle__else.html#956b7fe86ba371571ca7bf9d50c8d6be">push</a>(<span class="keyword">const</span> navigator_type& navi) { base::push_back(navi); }
<a name="l00076"></a><a class="code" href="classpolybori_1_1handle__else.html#045f415f2968224f28f7ab70e051c767">00076</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1handle__else.html#045f415f2968224f28f7ab70e051c767">pop</a>() { base::pop_back(); }
<a name="l00077"></a>00077
<a name="l00078"></a><a class="code" href="classpolybori_1_1handle__else.html#b12c02a27c1a87c8efd456a2e3b05b89">00078</a> <span class="keyword">const</span> navigator_type& <a class="code" href="classpolybori_1_1handle__else.html#b12c02a27c1a87c8efd456a2e3b05b89">top</a>()<span class="keyword"> const </span>{ <span class="keywordflow">return</span> base::back(); };
<a name="l00079"></a>00079
<a name="l00080"></a><a class="code" href="classpolybori_1_1handle__else.html#22642560b1f0c012b484ece9bf2761f5">00080</a> <span class="keywordtype">void</span> <a class="code" href="classpolybori_1_1handle__else.html#22642560b1f0c012b484ece9bf2761f5">append</a>(<span class="keyword">const</span> <a class="code" href="classpolybori_1_1handle__else.html">handle_else</a>& rhs) {
<a name="l00081"></a>00081 assert(base::empty() || rhs.empty() || ((**rhs.begin()) > (*top())) );
<a name="l00082"></a>00082 base::insert(base::end(), rhs.begin(), rhs.end());
<a name="l00083"></a>00083 }
<a name="l00084"></a>00084 };
<a name="l00085"></a>00085
<a name="l00086"></a>00086 <span class="preprocessor">#if 0</span>
<a name="l00087"></a>00087 <span class="preprocessor"></span>
<a name="l00093"></a>00093 <span class="keyword">template</span> <<span class="keyword">class </span>TermType, <span class="keyword">class </span>NavigatorType,
<a name="l00094"></a>00094 <span class="keyword">class </span>ForwardOp, <span class="keyword">class </span>BackwardOp,
<a name="l00095"></a>00095 <span class="keyword">class </span>TerminalValueOp = <a class="code" href="classproject__ith.html" title="Virtually does nothing with the given arguments.">project_ith<2></a> >
<a name="l00096"></a>00096 <span class="keyword">class </span>CBidirectTermIter:
<a name="l00097"></a>00097 <span class="keyword">public</span> CTermIter<TermType, NavigatorType,
<a name="l00098"></a>00098 ForwardOp, BackwardOp,
<a name="l00099"></a>00099 TerminalValueOp,
<a name="l00100"></a>00100 handle_else<NavigatorType> >{
<a name="l00101"></a>00101
<a name="l00102"></a>00102 <span class="keyword">public</span>:
<a name="l00103"></a>00103
<a name="l00105"></a>00105 <span class="keyword">typedef</span> TermType term_type;
<a name="l00106"></a>00106
<a name="l00108"></a>00108 <span class="keyword">typedef</span> NavigatorType navigator_type;
<a name="l00109"></a>00109
<a name="l00111"></a>00111 <span class="keyword">typedef</span> ForwardOp forwardop_type;
<a name="l00112"></a>00112
<a name="l00114"></a>00114 <span class="keyword">typedef</span> BackwardOp backwardop_type;
<a name="l00115"></a>00115
<a name="l00117"></a>00117 <span class="keyword">typedef</span> TerminalValueOp termvalop_type;
<a name="l00118"></a>00118
<a name="l00120"></a>00120 <span class="keyword">typedef</span> handle_else<navigator_type> elsehandle_type;
<a name="l00121"></a>00121
<a name="l00123"></a>00123 <span class="keyword">typedef</span> CBidirectTermIter<term_type, navigator_type,
<a name="l00124"></a>00124 forwardop_type, backwardop_type, termvalop_type> <span class="keyword">self</span>;
<a name="l00125"></a>00125
<a name="l00127"></a>00127 <span class="keyword">typedef</span> CTermIter<term_type, navigator_type,
<a name="l00128"></a>00128 forwardop_type, backwardop_type, termvalop_type,
<a name="l00129"></a>00129 elsehandle_type> base;
<a name="l00130"></a>00130
<a name="l00132"></a>00132
<a name="l00133"></a>00133 <span class="keyword">typedef</span> std::bidirectional_iterator_tag iterator_category;
<a name="l00134"></a>00134 <span class="keyword">typedef</span> <span class="keyword">typename</span> base::difference_type difference_type;
<a name="l00135"></a>00135 <span class="keyword">typedef</span> <span class="keyword">typename</span> base::pointer pointer;
<a name="l00136"></a>00136 <span class="keyword">typedef</span> <span class="keyword">typename</span> base::reference reference;
<a name="l00138"></a>00138
<a name="l00140"></a>00140 <span class="keyword">using</span> base::handleElse;
<a name="l00141"></a>00141
<a name="l00143"></a>00143 CBidirectTermIter():
<a name="l00144"></a>00144 base() {}
<a name="l00145"></a>00145
<a name="l00147"></a>00147 CBidirectTermIter(navigator_type navi,
<a name="l00148"></a>00148 forwardop_type fop_ = forwardop_type(),
<a name="l00149"></a>00149 backwardop_type bop_ = backwardop_type(),
<a name="l00150"></a>00150 termvalop_type tvop_ = termvalop_type() ):
<a name="l00151"></a>00151 base(navi, fop_, bop_, tvop_) {}
<a name="l00152"></a>00152
<a name="l00154"></a>00154 CBidirectTermIter(navigator_type navi, dummy_iterator):
<a name="l00155"></a>00155 base() {
<a name="l00156"></a>00156 <span class="keywordflow">if</span>(navi.isValid()) {
<a name="l00157"></a>00157 followElse(navi);
<a name="l00158"></a>00158 terminate(navi);
<a name="l00159"></a>00159 }
<a name="l00160"></a>00160 }
<a name="l00161"></a>00161
<a name="l00163"></a>00163 CBidirectTermIter(<span class="keyword">const</span> <span class="keyword">self</span>& rhs):
<a name="l00164"></a>00164 base(rhs) {};
<a name="l00165"></a>00165
<a name="l00167"></a>00167 ~CBidirectTermIter() {};
<a name="l00168"></a>00168
<a name="l00170"></a>00170 <span class="keyword">self</span>& operator++() {
<a name="l00171"></a>00171 base::operator++();
<a name="l00172"></a>00172 <span class="keywordflow">return</span> *<span class="keyword">this</span>;
<a name="l00173"></a>00173 }
<a name="l00174"></a>00174
<a name="l00176"></a>00176 <span class="keyword">self</span> operator++(<span class="keywordtype">int</span> dummy) {
<a name="l00177"></a>00177 <span class="keywordflow">return</span> base::operator++(dummy);
<a name="l00178"></a>00178 };
<a name="l00179"></a>00179
<a name="l00181"></a>00181 <span class="keyword">self</span>& operator--() {
<a name="l00182"></a>00182
<a name="l00183"></a>00183 <span class="keywordflow">if</span> (!handleElse.empty()){
<a name="l00184"></a>00184 navigator_type navi = handleElse.top();
<a name="l00185"></a>00185 base::popToIndex(*navi);
<a name="l00186"></a>00186
<a name="l00187"></a>00187
<a name="l00188"></a>00188 handleElse.pop();
<a name="l00189"></a>00189 base::nextThen(navi);
<a name="l00190"></a>00190
<a name="l00191"></a>00191 followElse(navi);
<a name="l00192"></a>00192 }
<a name="l00193"></a>00193 <span class="keywordflow">else</span>
<a name="l00194"></a>00194 base::clear();
<a name="l00195"></a>00195 <span class="keywordflow">return</span> *<span class="keyword">this</span>;
<a name="l00196"></a>00196 }
<a name="l00197"></a>00197
<a name="l00199"></a>00199 <span class="keyword">self</span> operator--(<span class="keywordtype">int</span>) {
<a name="l00200"></a>00200 <span class="keyword">self</span> tmp(*<span class="keyword">this</span>);
<a name="l00201"></a>00201 operator--();
<a name="l00202"></a>00202 <span class="keywordflow">return</span> tmp;
<a name="l00203"></a>00203 };
<a name="l00204"></a>00204
<a name="l00205"></a>00205 <span class="keyword">protected</span>:
<a name="l00206"></a>00206
<a name="l00207"></a>00207
<a name="l00208"></a>00208 <span class="keywordtype">void</span> followElse(navigator_type& navi) {
<a name="l00209"></a>00209 <span class="keywordflow">while</span>( !navi.isConstant() ) { <span class="comment">// if still in interior of a path</span>
<a name="l00210"></a>00210 <span class="keywordflow">if</span>(!navi.elseBranch().isEmpty()) {
<a name="l00211"></a>00211 handleElse.push(navi);
<a name="l00212"></a>00212 navi.incrementElse(); <span class="comment">// go in direction of last term, if possible</span>
<a name="l00213"></a>00213 }
<a name="l00214"></a>00214 <span class="keywordflow">else</span>
<a name="l00215"></a>00215 base::nextThen(navi);
<a name="l00216"></a>00216 }
<a name="l00217"></a>00217 }
<a name="l00218"></a>00218
<a name="l00219"></a>00219 };
<a name="l00220"></a>00220
<a name="l00221"></a>00221 <span class="preprocessor">#endif</span>
<a name="l00222"></a>00222 <span class="preprocessor"></span>
<a name="l00223"></a>00223 <a class="code" href="pbori__defs_8h.html#faf094fde6c1a7f1aad18bcb455f3b06" title="Finish project&#39;s namespace.">END_NAMESPACE_PBORI</a>
<a name="l00224"></a>00224
<a name="l00225"></a>00225 <span class="preprocessor">#endif</span>
</pre></div></div>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Sep 9 14:30:53 2009 for PolyBoRi by
<a href="http://www.doxygen.org/index.html">
<img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.9 </small></address>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
a24e1a39141f9b4ca49bd1e2e23a54ba
>
files
>
35
