📄 tree__vat_8h-source.html
字号:
<a name="l00283"></a>00283 cerr<<<span class="stringliteral">"tree_vat: call to back in empty vat"</span><<endl;<a name="l00284"></a>00284 exit(0);<a name="l00285"></a>00285 }<a name="l00286"></a>00286 <span class="keywordflow">return</span> _idlist.back();<a name="l00287"></a>00287 }<a name="l00288"></a>00288 <a name="l00289"></a>00289 };<span class="comment">//end class vat-embedded tree</span><a name="l00290"></a>00290 <a name="l00291"></a>00291 <span class="keyword">template</span><<span class="keyword">typename</span> PP, <span class="keyword">typename</span> MP, <span class="keyword">template</span><<span class="keyword">typename</span>> <span class="keyword">class </span>VAT_ST><a name="l00292"></a>00292 ostream& operator<< (ostream& ostr, const vat<TREE_PROP, V_Fkk_MINE_PROP, VAT_ST>* tvat) {<a name="l00293"></a>00293 <span class="keyword">typedef</span> <a class="code" href="classvat.html">vat<TREE_PROP, V_Fkk_MINE_PROP, VAT_ST></a> VAT;<a name="l00294"></a>00294 <span class="keyword">typename</span> VAT::CONST_IT it=tvat->begin();<a name="l00295"></a>00295 <a name="l00296"></a>00296 <span class="keywordflow">while</span>(it!=tvat->end()) {<a name="l00297"></a>00297 ostr<<it->first<<<span class="stringliteral">" "</span>;<a name="l00298"></a>00298 <span class="keyword">typename</span> VAT::CONST_INST_IT inst_it=it->second.begin();<a name="l00299"></a>00299 <span class="keywordflow">while</span>(inst_it!=it->second.end())<a name="l00300"></a>00300 ostr<<(*inst_it++)<<<span class="stringliteral">" "</span>;<a name="l00301"></a>00301 ostr<<endl;<a name="l00302"></a>00302 it++;<a name="l00303"></a>00303 }<a name="l00304"></a>00304 <a name="l00305"></a>00305 <span class="keywordflow">return</span> ostr;<a name="l00306"></a>00306 }<span class="comment">//end friend operator<<</span><a name="l00307"></a>00307 <a name="l00308"></a>00308 <a name="l00316"></a>00316 <span class="keyword">template</span><<span class="keyword">typename</span> PP, <span class="keyword">typename</span> MP, <span class="keyword">template</span> <<span class="keyword">typename</span>> <span class="keyword">class </span>ALLOC, <span class="keyword">template</span><<span class="keyword">typename</span>, <span class="keyword">typename</span>> <span class="keyword">class </span>VAT_ST><a name="l00317"></a><a class="code" href="classvat_3_01TREE__PROP_00_01V__Fkk__IND__MINE__PROP_00_01ALLOC_00_01VAT__ST_01_4.html">00317</a> <span class="keyword">class </span><a class="code" href="classvat.html">vat</a><TREE_PROP, V_Fkk_IND_MINE_PROP, ALLOC, VAT_ST><a name="l00318"></a>00318 {<a name="l00319"></a>00319 <a name="l00320"></a>00320 <span class="keyword">public</span>:<a name="l00321"></a>00321 <span class="keyword">template</span><<span class="keyword">typename</span> T1, <span class="keyword">typename</span> A><a name="l00322"></a>00322 <span class="keyword">class </span>ST: <span class="keyword">public</span> VAT_ST<T1, A> {};<a name="l00323"></a>00323 <a name="l00324"></a>00324 <span class="keyword">typedef</span> <a class="code" href="classpattern__support.html">pattern_support<V_Fkk_IND_MINE_PROP></a> <a class="code" href="classpattern__support.html">PAT_SUP</a>;<a name="l00325"></a>00325 <a name="l00326"></a>00326 <span class="keyword">typedef</span> <a class="code" href="classvat.html">vat<TREE_PROP, V_Fkk_IND_MINE_PROP, ALLOC, VAT_ST></a> <a class="code" href="classvat_3_01TREE__PROP_00_01V__Fkk__IND__MINE__PROP_00_01ALLOC_00_01VAT__ST_01_4.html">VAT</a>;<a name="l00327"></a>00327 <span class="keyword">typedef</span> <a class="code" href="classtree__instance.html">tree_instance<std::vector, PP></a> <a class="code" href="classtree__instance.html">INSTANCE</a>;<a name="l00328"></a>00328 <span class="keyword">typedef</span> VAT_ST<pair<int, VAT_ST<INSTANCE, ALLOC<INSTANCE> > >, ALLOC<pair<int, VAT_ST<INSTANCE, ALLOC<INSTANCE> > > > > IDLIST_T;<a name="l00329"></a>00329 <span class="keyword">typedef</span> <span class="keyword">typename</span> IDLIST_T::const_iterator CONST_IT;<a name="l00330"></a>00330 <span class="keyword">typedef</span> <span class="keyword">typename</span> IDLIST_T::iterator IT;<a name="l00331"></a>00331 <span class="keyword">typedef</span> <span class="keyword">typename</span> VAT_ST<INSTANCE, ALLOC<INSTANCE> >::const_iterator CONST_INST_IT;<a name="l00332"></a>00332 <span class="keyword">typedef</span> VAT_ST<INSTANCE, ALLOC<INSTANCE> > INSTANCES;<a name="l00333"></a>00333 <span class="keyword">typedef</span> <span class="keyword">typename</span> VAT_ST<INSTANCE, ALLOC<INSTANCE> >::iterator INST_IT;<a name="l00334"></a>00334 <span class="keyword">typedef</span> <span class="keyword">typename</span> std::vector<int>::const_iterator CONST_STORE_IT;<a name="l00335"></a>00335 <span class="keyword">typedef</span> <span class="keyword">typename</span> std::vector<int>::iterator STORE_IT; <a name="l00336"></a>00336 IT begin() {<span class="keywordflow">return</span> _idlist.begin();}<a name="l00337"></a>00337 CONST_IT begin()<span class="keyword"> const </span>{<span class="keywordflow">return</span> _idlist.begin();}<a name="l00338"></a>00338 IT end() {<span class="keywordflow">return</span> _idlist.end();}<a name="l00339"></a>00339 CONST_IT end()<span class="keyword"> const </span>{<span class="keywordflow">return</span> _idlist.end();}<a name="l00340"></a>00340 <a name="l00341"></a>00341 <span class="keywordtype">bool</span> empty()<span class="keyword"> const </span>{<span class="keywordflow">return</span> _idlist.empty();}<a name="l00342"></a>00342 <span class="keywordtype">int</span> size() {<span class="keywordflow">return</span> _idlist.size();}<a name="l00343"></a>00343 <a name="l00345"></a><a class="code" href="classvat_3_01TREE__PROP_00_01V__Fkk__IND__MINE__PROP_00_01ALLOC_00_01VAT__ST_01_4.html#c7891a49cdd7dbea2ffa3a91d7d1b5e7">00345</a> <span class="keywordtype">void</span> push_back(<span class="keyword">const</span> pair<<span class="keywordtype">int</span>, VAT_ST<<a class="code" href="classtree__instance.html">INSTANCE</a>, ALLOC<INSTANCE> > >& val) {<a name="l00346"></a>00346 _idlist.push_back(val);<a name="l00347"></a>00347 }<a name="l00348"></a>00348 <a name="l00349"></a>00349 <a name="l00350"></a>00350 <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> <span class="keywordtype">int</span> byte_size()<span class="keyword"> const</span>{<a name="l00351"></a>00351 <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> <span class="keywordtype">int</span> b_size=0;<a name="l00352"></a>00352 CONST_IT it;<a name="l00353"></a>00353 CONST_INST_IT it_inst;<a name="l00354"></a>00354 <span class="comment">//for each instance we will store 5 integer (1 for the vector size) and the vector</span><a name="l00355"></a>00355 <span class="keywordflow">for</span> (it = begin(); it!=end();++it){<a name="l00356"></a>00356 b_size+=2*<span class="keyword">sizeof</span>(<span class="keywordtype">int</span>);<a name="l00357"></a>00357 <span class="keywordflow">for</span> (it_inst=it->second.begin();it_inst!=it->second.end();++it_inst)<a name="l00358"></a>00358 b_size+=(it_inst->get_ml_size()+5)*<span class="keyword">sizeof</span>(<span class="keywordtype">int</span>);<a name="l00359"></a>00359 }<a name="l00360"></a>00360 <span class="keywordflow">return</span> b_size;<a name="l00361"></a>00361 }<a name="l00362"></a>00362 <a name="l00363"></a>00363 <span class="comment">//writing a VAT to a binary file</span><a name="l00364"></a>00364 <span class="keywordtype">void</span> write_file(ostream & output) {<a name="l00365"></a>00365 <span class="comment">//cout<<"Writing to the file"<<endl;</span><a name="l00366"></a>00366 <span class="comment">//cout<< *this ;</span><a name="l00367"></a>00367 <span class="comment">//cout<<endl;</span><a name="l00368"></a>00368 <span class="keywordtype">int</span> ITSZ=<span class="keyword">sizeof</span>(int);<a name="l00369"></a>00369 CONST_IT it;<a name="l00370"></a>00370 CONST_INST_IT it_inst;<a name="l00371"></a>00371 CONST_STORE_IT it_store;<a name="l00372"></a>00372 <span class="keywordtype">int</span> tid,inst_sz,ml_sz,_lb,_ub,_depth,_type;<a name="l00373"></a>00373 <span class="keywordflow">for</span> (it=begin();it!=end();++it){<a name="l00374"></a>00374 tid=it->first;<a name="l00375"></a>00375 inst_sz=it->second.size();<a name="l00376"></a>00376 output.write(reinterpret_cast<const char *>(&tid), ITSZ);<a name="l00377"></a>00377 output.write(reinterpret_cast<const char *>(&inst_sz), ITSZ);<a name="l00378"></a>00378 <span class="keywordflow">for</span> (it_inst =it->second.begin(); it_inst!=it->second.end(); ++it_inst){<a name="l00379"></a>00379 ml_sz=it_inst->get_ml_size();<a name="l00380"></a>00380 output.write(reinterpret_cast<const char *>(&ml_sz), ITSZ);<a name="l00381"></a>00381 <span class="keywordflow">for</span> (it_store=it_inst->get_ml_begin();it_store!=it_inst->get_ml_end();++it_store){<a name="l00382"></a>00382 output.write(reinterpret_cast<const char *>(&(*it_store)), ITSZ);<a name="l00383"></a>00383 } <a name="l00384"></a>00384 _lb=it_inst->get_lb(); <a name="l00385"></a>00385 output.write(reinterpret_cast<const char *>(&_lb), ITSZ);<a name="l00386"></a>00386 _ub=it_inst->get_ub(); <a name="l00387"></a>00387 output.write(reinterpret_cast<const char *>(&_ub), ITSZ);<a name="l00388"></a>00388 _depth=it_inst->get_depth(); <a name="l00389"></a>00389 output.write(reinterpret_cast<const char *>(&_depth), ITSZ);<a name="l00390"></a>00390 _type=(int)it_inst->induced(); <a name="l00391"></a>00391 output.write(reinterpret_cast<const char *>(&_type), ITSZ);<a name="l00392"></a>00392 } <span class="comment">//for it_inst</span><a name="l00393"></a>00393 }<span class="comment">//it</span><a name="l00394"></a>00394 <a name="l00395"></a>00395 }<a name="l00396"></a>00396 <a name="l00397"></a>00397 <span class="keywordtype">void</span> read_file (istream & input, <span class="keywordtype">unsigned</span> <span class="keywordtype">long</span> <span class="keywordtype">int</span> size) {<a name="l00398"></a>00398 <span class="comment">//cout<<"reading from the the file"<<endl;</span><a name="l00399"></a>00399 <span class="keywordtype">int</span> ITSZ=<span class="keyword">sizeof</span>(int);<a name="l00400"></a>00400 <span class="keywordtype">int</span> buf_size=size/ITSZ; <a name="l00401"></a>00401 <span class="keywordtype">int</span> *buf = <span class="keyword">new</span> <span class="keywordtype">int</span>[buf_size];<a name="l00402"></a>00402 input.read((<span class="keywordtype">char</span> *)buf, (size)); <a name="l00403"></a>00403 <span class="keywordtype">int</span> current=0;<a name="l00404"></a>00404 <span class="keywordflow">while</span>(current<buf_size){<a name="l00405"></a>00405 <span class="keywordtype">int</span> tid=buf[current++];<a name="l00406"></a>00406 <span class="keywordtype">int</span> inst_sz=buf[current++];<a name="l00407"></a>00407 INSTANCES _new_instlist;<a name="l00408"></a>00408 <span class="keywordflow">while</span> (inst_sz-->0){<a name="l00409"></a>00409 <span class="keywordtype">int</span> ml_sz=buf[current++];<a name="l00410"></a>00410 std::vector<int> ml;<a name="l00411"></a>00411 <span class="keywordflow">while</span>(ml_sz-->0)<a name="l00412"></a>00412 ml.push_back(buf[current++]); <a name="l00413"></a>00413 _new_instlist.push_back(INSTANCE(ml, buf[current],buf[current+1],buf[current+2],buf[current+3]));<a name="l00414"></a>00414 current=current+4;<a name="l00415"></a>00415 <a name="l00416"></a>00416 }<a name="l00417"></a>00417 _idlist.push_back(make_pair(tid,_new_instlist));<a name="l00418"></a>00418 } <a name="l00419"></a>00419 input.clear();<a name="l00420"></a>00420 <span class="keyword">delete</span> [] buf;<a name="l00421"></a>00421 } <a name="l00422"></a>00422 <a name="l00423"></a>00423 <a name="l00427"></a>00427 <span class="keyword">template</span><<span class="keyword">class</span> PAT><a name="l00428"></a><a class="code" href="classvat_3_01TREE__PROP_00_01V__Fkk__IND__MINE__PROP_00_01ALLOC_00_01VAT__ST_01_4.html#ba7f1a941691892133cc56a79865860d">00428</a> <span class="keyword">static</span> <a class="code" href="classvat_3_01TREE__PROP_00_01V__Fkk__IND__MINE__PROP_00_01ALLOC_00_01VAT__ST_01_4.html">VAT</a>** intersection(<span class="keyword">const</span> <a class="code" href="classvat_3_01TREE__PROP_00_01V__Fkk__IND__MINE__PROP_00_01ALLOC_00_01VAT__ST_01_4.html">VAT</a>*<span class="keyword">const</span>& v1, <span class="keyword">const</span> <a class="code" href="classvat_3_01TREE__PROP_00_01V__Fkk__IND__MINE__PROP_00_01ALLOC_00_01VAT__ST_01_4.html">VAT</a>*<span class="keyword">const</span>& v2, <a class="code" href="classpattern__support.html">PAT_SUP</a>** cand_sups, PAT**, <span class="keywordtype">bool</span> is_l2) {<a name="l00429"></a>00429 <a class="code" href="classvat_3_01TREE__PROP_00_01V__Fkk__IND__MINE__PROP_00_01ALLOC_00_01VAT__ST_01_4.html">VAT</a>** cand_vats=<span class="keyword">new</span> <a class="code" href="classvat_3_01TREE__PROP_00_01V__Fkk__IND__MINE__PROP_00_01ALLOC_00_01VAT__ST_01_4.html">VAT</a>*[2]; <span class="comment">// max of 2 candidates possible</span><a name="l00430"></a>00430 <span class="keywordtype">bool</span> do_child, do_cousin;<a name="l00431"></a>00431 do_cousin=(cand_sups[0]? 1:0);<a name="l00432"></a>00432 do_child=(cand_sups[1]? 1:0);<a name="l00433"></a>00433 <span class="keywordtype">int</span> last_etid_cousin=-1, last_itid_cousin=-1, last_etid_child=-1, last_itid_child=-1;<a name="l00434"></a>00434 <span class="keywordtype">int</span> d;<a name="l00435"></a>00435 <span class="keywordtype">bool</span> iflag;⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -