svf-tools 1.0.494 → 1.0.495
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +10 -10
- package/SVF-doxygen/html/html/ContextDDA_8h_source.html +8 -8
- package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/DPItem_8h_source.html +77 -72
- package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
- package/SVF-doxygen/html/html/FlowDDA_8h_source.html +4 -4
- package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +4 -4
- package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1ContextCond-members.html +15 -13
- package/SVF-doxygen/html/html/classSVF_1_1ContextCond.html +132 -62
- package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +17 -17
- package/SVF-doxygen/html/html/classSVF_1_1CxtDPItem-members.html +7 -3
- package/SVF-doxygen/html/html/classSVF_1_1CxtDPItem.html +112 -36
- package/SVF-doxygen/html/html/classSVF_1_1CxtStmtDPItem-members.html +19 -17
- package/SVF-doxygen/html/html/classSVF_1_1CxtStmtDPItem.html +45 -39
- package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +2 -2
- package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +5 -5
- package/SVF-doxygen/html/html/classSVF_1_1DPItem-members.html +8 -6
- package/SVF-doxygen/html/html/classSVF_1_1DPItem.html +91 -23
- package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1StmtDPItem-members.html +12 -10
- package/SVF-doxygen/html/html/classSVF_1_1StmtDPItem.html +31 -25
- package/SVF-doxygen/html/html/functions_c.html +17 -19
- package/SVF-doxygen/html/html/functions_d.html +1 -1
- package/SVF-doxygen/html/html/functions_func_c.html +14 -14
- package/SVF-doxygen/html/html/functions_func_o.html +2 -2
- package/SVF-doxygen/html/html/functions_o.html +13 -17
- package/SVF-doxygen/html/html/namespaceSVF.html +2 -2
- package/SVF-doxygen/html/html/search/all_3.js +2 -2
- package/SVF-doxygen/html/html/search/all_4.js +1 -1
- package/SVF-doxygen/html/html/search/all_f.js +1 -1
- package/SVF-doxygen/html/html/search/functions_2.js +2 -2
- package/SVF-doxygen/html/html/search/functions_3.js +1 -1
- package/SVF-doxygen/html/html/search/functions_e.js +1 -1
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html +3 -3
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html +4 -4
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html +6 -6
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html +5 -5
- package/SVF-doxygen/html/html/structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html +3 -3
- package/include/Util/DPItem.h +40 -0
- package/package.json +1 -1
|
@@ -161,6 +161,12 @@ Public Member Functions</h2></td></tr>
|
|
|
161
161
|
<tr class="memitem:a715b7de4a392d8c389e611e27f8b9184 inherit pub_methods_classSVF_1_1DPItem"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DPItem.html#a715b7de4a392d8c389e611e27f8b9184">DPItem</a> (const <a class="el" href="classSVF_1_1DPItem.html">DPItem</a> &dps)</td></tr>
|
|
162
162
|
<tr class="memdesc:a715b7de4a392d8c389e611e27f8b9184 inherit pub_methods_classSVF_1_1DPItem"><td class="mdescLeft"> </td><td class="mdescRight">Copy constructor. <a href="classSVF_1_1DPItem.html#a715b7de4a392d8c389e611e27f8b9184">More...</a><br /></td></tr>
|
|
163
163
|
<tr class="separator:a715b7de4a392d8c389e611e27f8b9184 inherit pub_methods_classSVF_1_1DPItem"><td class="memSeparator" colspan="2"> </td></tr>
|
|
164
|
+
<tr class="memitem:a97b304417b1b2253d9bd30ee22d269df inherit pub_methods_classSVF_1_1DPItem"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DPItem.html#a97b304417b1b2253d9bd30ee22d269df">DPItem</a> (<a class="el" href="classSVF_1_1DPItem.html">DPItem</a> &&dps) noexcept</td></tr>
|
|
165
|
+
<tr class="memdesc:a97b304417b1b2253d9bd30ee22d269df inherit pub_methods_classSVF_1_1DPItem"><td class="mdescLeft"> </td><td class="mdescRight"><a class="el" href="structMove.html">Move</a> constructor. <a href="classSVF_1_1DPItem.html#a97b304417b1b2253d9bd30ee22d269df">More...</a><br /></td></tr>
|
|
166
|
+
<tr class="separator:a97b304417b1b2253d9bd30ee22d269df inherit pub_methods_classSVF_1_1DPItem"><td class="memSeparator" colspan="2"> </td></tr>
|
|
167
|
+
<tr class="memitem:a3010d11982d57284627fc601ede9d811 inherit pub_methods_classSVF_1_1DPItem"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1DPItem.html">DPItem</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DPItem.html#a3010d11982d57284627fc601ede9d811">operator=</a> (<a class="el" href="classSVF_1_1DPItem.html">DPItem</a> &&rhs) noexcept</td></tr>
|
|
168
|
+
<tr class="memdesc:a3010d11982d57284627fc601ede9d811 inherit pub_methods_classSVF_1_1DPItem"><td class="mdescLeft"> </td><td class="mdescRight"><a class="el" href="structMove.html">Move</a> operator=. <a href="classSVF_1_1DPItem.html#a3010d11982d57284627fc601ede9d811">More...</a><br /></td></tr>
|
|
169
|
+
<tr class="separator:a3010d11982d57284627fc601ede9d811 inherit pub_methods_classSVF_1_1DPItem"><td class="memSeparator" colspan="2"> </td></tr>
|
|
164
170
|
<tr class="memitem:a1df86140eee6015369836d20d509f14d inherit pub_methods_classSVF_1_1DPItem"><td class="memItemLeft" align="right" valign="top">virtual </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DPItem.html#a1df86140eee6015369836d20d509f14d">~DPItem</a> ()</td></tr>
|
|
165
171
|
<tr class="memdesc:a1df86140eee6015369836d20d509f14d inherit pub_methods_classSVF_1_1DPItem"><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="classSVF_1_1DPItem.html#a1df86140eee6015369836d20d509f14d">More...</a><br /></td></tr>
|
|
166
172
|
<tr class="separator:a1df86140eee6015369836d20d509f14d inherit pub_methods_classSVF_1_1DPItem"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -210,7 +216,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
210
216
|
class SVF::CxtStmtDPItem< LocCond ></h3>
|
|
211
217
|
|
|
212
218
|
|
|
213
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
219
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00390">390</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
214
220
|
</div><h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
215
221
|
<a id="a5c3bd4e8f26bfdc863baeb1241a557d1"></a>
|
|
216
222
|
<h2 class="memtitle"><span class="permalink"><a href="#a5c3bd4e8f26bfdc863baeb1241a557d1">◆ </a></span>CxtStmtDPItem() <span class="overload">[1/2]</span></h2>
|
|
@@ -250,8 +256,8 @@ template<class LocCond> </div>
|
|
|
250
256
|
|
|
251
257
|
<p>Constructor. </p>
|
|
252
258
|
|
|
253
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
254
|
-
<div class="fragment"><div class="line"><a name="
|
|
259
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00396">396</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
260
|
+
<div class="fragment"><div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  : StmtDPItem<LocCond>(var.get_id(),locCond), <a class="code" href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">context</a>(var.get_cond())</div><div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  {</div><div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  }</div><div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00393">DPItem.h:393</a></div></div>
|
|
255
261
|
</div><!-- fragment -->
|
|
256
262
|
</div>
|
|
257
263
|
</div>
|
|
@@ -283,8 +289,8 @@ template<class LocCond> </div>
|
|
|
283
289
|
|
|
284
290
|
<p>Copy constructor. </p>
|
|
285
291
|
|
|
286
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
287
|
-
<div class="fragment"><div class="line"><a name="
|
|
292
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00400">400</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
293
|
+
<div class="fragment"><div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  :</div><div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  StmtDPItem<LocCond>(dps), <a class="code" href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">context</a>(dps.context)</div><div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  {</div><div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  }</div><div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00393">DPItem.h:393</a></div></div>
|
|
288
294
|
</div><!-- fragment -->
|
|
289
295
|
</div>
|
|
290
296
|
</div>
|
|
@@ -315,8 +321,8 @@ template<class LocCond> </div>
|
|
|
315
321
|
|
|
316
322
|
<p>Destructor. </p>
|
|
317
323
|
|
|
318
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
319
|
-
<div class="fragment"><div class="line"><a name="
|
|
324
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00405">405</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
325
|
+
<div class="fragment"><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  {</div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  }</div></div><!-- fragment -->
|
|
320
326
|
</div>
|
|
321
327
|
</div>
|
|
322
328
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
@@ -345,12 +351,12 @@ template<class LocCond> </div>
|
|
|
345
351
|
</table>
|
|
346
352
|
</div><div class="memdoc">
|
|
347
353
|
|
|
348
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
349
|
-
<div class="fragment"><div class="line"><a name="
|
|
350
|
-
<div class="ttc" id="classSVF_1_1ContextCond_html_a5f73451064b22bc1aab91b22ddea1eee"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee">SVF::ContextCond::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Dump context condition. </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
354
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00467">467</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
355
|
+
<div class="fragment"><div class="line"><a name="l00468"></a><span class="lineno"> 468</span>  {</div><div class="line"><a name="l00469"></a><span class="lineno"> 469</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() << <span class="stringliteral">"statement "</span> << *(this-><a class="code" href="classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef">curloc</a>) << <span class="stringliteral">", var "</span> << this-><a class="code" href="classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80">cur</a> << <span class="stringliteral">" "</span>;</div><div class="line"><a name="l00470"></a><span class="lineno"> 470</span>  <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() << this-><a class="code" href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">context</a>.<a class="code" href="classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee">toString</a>() <<<span class="stringliteral">"\n"</span>;</div><div class="line"><a name="l00471"></a><span class="lineno"> 471</span>  }</div><div class="ttc" id="classSVF_1_1StmtDPItem_html_a9e20ebd5ae8272a4aef74914098f97ef"><div class="ttname"><a href="classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef">SVF::StmtDPItem::curloc</a></div><div class="ttdeci">const LocCond * curloc</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00137">DPItem.h:137</a></div></div>
|
|
356
|
+
<div class="ttc" id="classSVF_1_1ContextCond_html_a5f73451064b22bc1aab91b22ddea1eee"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a5f73451064b22bc1aab91b22ddea1eee">SVF::ContextCond::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Dump context condition. </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00361">DPItem.h:361</a></div></div>
|
|
351
357
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream & outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
|
|
352
358
|
<div class="ttc" id="classSVF_1_1DPItem_html_a82d2a11fb456192ec88fcb5ffe239d80"><div class="ttname"><a href="classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80">SVF::DPItem::cur</a></div><div class="ttdeci">NodeID cur</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00048">DPItem.h:48</a></div></div>
|
|
353
|
-
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
359
|
+
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00393">DPItem.h:393</a></div></div>
|
|
354
360
|
</div><!-- fragment -->
|
|
355
361
|
</div>
|
|
356
362
|
</div>
|
|
@@ -381,8 +387,8 @@ template<class LocCond> </div>
|
|
|
381
387
|
|
|
382
388
|
<p>Get context. </p>
|
|
383
389
|
|
|
384
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
385
|
-
<div class="fragment"><div class="line"><a name="
|
|
390
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00415">415</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
391
|
+
<div class="fragment"><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  {</div><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">context</a>;</div><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  }</div><div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00393">DPItem.h:393</a></div></div>
|
|
386
392
|
</div><!-- fragment -->
|
|
387
393
|
</div>
|
|
388
394
|
</div>
|
|
@@ -413,8 +419,8 @@ template<class LocCond> </div>
|
|
|
413
419
|
|
|
414
420
|
<p>Get context. </p>
|
|
415
421
|
|
|
416
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
417
|
-
<div class="fragment"><div class="line"><a name="
|
|
422
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00420">420</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
423
|
+
<div class="fragment"><div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  {</div><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">context</a>;</div><div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  }</div><div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00393">DPItem.h:393</a></div></div>
|
|
418
424
|
</div><!-- fragment -->
|
|
419
425
|
</div>
|
|
420
426
|
</div>
|
|
@@ -445,10 +451,10 @@ template<class LocCond> </div>
|
|
|
445
451
|
|
|
446
452
|
<p>Get context var. </p>
|
|
447
453
|
|
|
448
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
449
|
-
<div class="fragment"><div class="line"><a name="
|
|
450
|
-
<div class="ttc" id="namespaceSVF_html_ab3532a31724d8719d29aa4c3521ca215"><div class="ttname"><a href="namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215">SVF::CxtVar</a></div><div class="ttdeci">CondVar< ContextCond > CxtVar</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
451
|
-
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
454
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00409">409</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
455
|
+
<div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  {</div><div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  <a class="code" href="namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215">CxtVar</a> var(this-><a class="code" href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">context</a>,this-><a class="code" href="classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80">cur</a>);</div><div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  <span class="keywordflow">return</span> var;</div><div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  }</div><div class="ttc" id="classSVF_1_1DPItem_html_a82d2a11fb456192ec88fcb5ffe239d80"><div class="ttname"><a href="classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80">SVF::DPItem::cur</a></div><div class="ttdeci">NodeID cur</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00048">DPItem.h:48</a></div></div>
|
|
456
|
+
<div class="ttc" id="namespaceSVF_html_ab3532a31724d8719d29aa4c3521ca215"><div class="ttname"><a href="namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215">SVF::CxtVar</a></div><div class="ttdeci">CondVar< ContextCond > CxtVar</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00386">DPItem.h:386</a></div></div>
|
|
457
|
+
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00393">DPItem.h:393</a></div></div>
|
|
452
458
|
</div><!-- fragment -->
|
|
453
459
|
</div>
|
|
454
460
|
</div>
|
|
@@ -480,9 +486,9 @@ template<class LocCond> </div>
|
|
|
480
486
|
|
|
481
487
|
<p>Match context. </p>
|
|
482
488
|
|
|
483
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
484
|
-
<div class="fragment"><div class="line"><a name="
|
|
485
|
-
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
489
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00431">431</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
490
|
+
<div class="fragment"><div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  {</div><div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">context</a>.<a class="code" href="classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af">matchContext</a>(cxt);</div><div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  }</div><div class="ttc" id="classSVF_1_1ContextCond_html_ab816f854687999b8c01f5c02fcf6b8af"><div class="ttname"><a href="classSVF_1_1ContextCond.html#ab816f854687999b8c01f5c02fcf6b8af">SVF::ContextCond::matchContext</a></div><div class="ttdeci">virtual bool matchContext(NodeID ctx)</div><div class="ttdoc">Match context. </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00304">DPItem.h:304</a></div></div>
|
|
491
|
+
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00393">DPItem.h:393</a></div></div>
|
|
486
492
|
</div><!-- fragment -->
|
|
487
493
|
</div>
|
|
488
494
|
</div>
|
|
@@ -514,8 +520,8 @@ template<class LocCond> </div>
|
|
|
514
520
|
|
|
515
521
|
<p>Overloading operator==. </p>
|
|
516
522
|
|
|
517
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
518
|
-
<div class="fragment"><div class="line"><a name="
|
|
523
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00463">463</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
524
|
+
<div class="fragment"><div class="line"><a name="l00464"></a><span class="lineno"> 464</span>  {</div><div class="line"><a name="l00465"></a><span class="lineno"> 465</span>  <span class="keywordflow">return</span> !(*<span class="keyword">this</span>==rhs);</div><div class="line"><a name="l00466"></a><span class="lineno"> 466</span>  }</div></div><!-- fragment -->
|
|
519
525
|
</div>
|
|
520
526
|
</div>
|
|
521
527
|
<a id="a307f95b6f22e0231a2da7b14a2db07cf"></a>
|
|
@@ -545,11 +551,11 @@ template<class LocCond> </div>
|
|
|
545
551
|
</div><div class="memdoc">
|
|
546
552
|
<p>Enable compare operator to avoid duplicated item insertion in map or set to be noted that two vectors can also overload operator() </p>
|
|
547
553
|
|
|
548
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
549
|
-
<div class="fragment"><div class="line"><a name="
|
|
554
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00438">438</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
555
|
+
<div class="fragment"><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  {</div><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  <span class="keywordflow">if</span> (this-><a class="code" href="classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80">cur</a> != rhs.cur)</div><div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80">cur</a> < rhs.cur;</div><div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span>(this-><a class="code" href="classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef">curloc</a> != rhs.getLoc())</div><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef">curloc</a> < rhs.getLoc();</div><div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">context</a> < rhs.<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>;</div><div class="line"><a name="l00446"></a><span class="lineno"> 446</span>  }</div><div class="ttc" id="classSVF_1_1StmtDPItem_html_a9e20ebd5ae8272a4aef74914098f97ef"><div class="ttname"><a href="classSVF_1_1StmtDPItem.html#a9e20ebd5ae8272a4aef74914098f97ef">SVF::StmtDPItem::curloc</a></div><div class="ttdeci">const LocCond * curloc</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00137">DPItem.h:137</a></div></div>
|
|
550
556
|
<div class="ttc" id="classSVF_1_1DPItem_html_a82d2a11fb456192ec88fcb5ffe239d80"><div class="ttname"><a href="classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80">SVF::DPItem::cur</a></div><div class="ttdeci">NodeID cur</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00048">DPItem.h:48</a></div></div>
|
|
551
|
-
<div class="ttc" id="classSVF_1_1ContextCond_html_ac431eae00244cc7792b6e7e00634d535"><div class="ttname"><a href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">SVF::ContextCond::context</a></div><div class="ttdeci">CallStrCxt context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
552
|
-
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
557
|
+
<div class="ttc" id="classSVF_1_1ContextCond_html_ac431eae00244cc7792b6e7e00634d535"><div class="ttname"><a href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">SVF::ContextCond::context</a></div><div class="ttdeci">CallStrCxt context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00374">DPItem.h:374</a></div></div>
|
|
558
|
+
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00393">DPItem.h:393</a></div></div>
|
|
553
559
|
</div><!-- fragment -->
|
|
554
560
|
</div>
|
|
555
561
|
</div>
|
|
@@ -581,9 +587,9 @@ template<class LocCond> </div>
|
|
|
581
587
|
|
|
582
588
|
<p>Overloading operator=. </p>
|
|
583
589
|
|
|
584
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
585
|
-
<div class="fragment"><div class="line"><a name="
|
|
586
|
-
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
590
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00448">448</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
591
|
+
<div class="fragment"><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>  {</div><div class="line"><a name="l00450"></a><span class="lineno"> 450</span>  <span class="keywordflow">if</span>(*<span class="keyword">this</span>!=rhs)</div><div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  {</div><div class="line"><a name="l00452"></a><span class="lineno"> 452</span>  <a class="code" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">StmtDPItem<LocCond>::operator=</a>(rhs);</div><div class="line"><a name="l00453"></a><span class="lineno"> 453</span>  this-><a class="code" href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">context</a> = rhs.getCond();</div><div class="line"><a name="l00454"></a><span class="lineno"> 454</span>  }</div><div class="line"><a name="l00455"></a><span class="lineno"> 455</span>  <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00456"></a><span class="lineno"> 456</span>  }</div><div class="ttc" id="classSVF_1_1StmtDPItem_html_a072da7dc37fd3f9b7a79196394382499"><div class="ttname"><a href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem::operator=</a></div><div class="ttdeci">StmtDPItem & operator=(const StmtDPItem &rhs)</div><div class="ttdoc">Overloading operator==. </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00179">DPItem.h:179</a></div></div>
|
|
592
|
+
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00393">DPItem.h:393</a></div></div>
|
|
587
593
|
</div><!-- fragment -->
|
|
588
594
|
</div>
|
|
589
595
|
</div>
|
|
@@ -615,10 +621,10 @@ template<class LocCond> </div>
|
|
|
615
621
|
|
|
616
622
|
<p>Overloading operator==. </p>
|
|
617
623
|
|
|
618
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
619
|
-
<div class="fragment"><div class="line"><a name="
|
|
620
|
-
<div class="ttc" id="classSVF_1_1ContextCond_html_ac431eae00244cc7792b6e7e00634d535"><div class="ttname"><a href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">SVF::ContextCond::context</a></div><div class="ttdeci">CallStrCxt context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
621
|
-
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
624
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00458">458</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
625
|
+
<div class="fragment"><div class="line"><a name="l00459"></a><span class="lineno"> 459</span>  {</div><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>  <span class="keywordflow">return</span> (this-><a class="code" href="classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80">cur</a> == rhs.cur && this->curloc == rhs.getLoc() && this-><a class="code" href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">context</a> == rhs.<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>);</div><div class="line"><a name="l00461"></a><span class="lineno"> 461</span>  }</div><div class="ttc" id="classSVF_1_1DPItem_html_a82d2a11fb456192ec88fcb5ffe239d80"><div class="ttname"><a href="classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80">SVF::DPItem::cur</a></div><div class="ttdeci">NodeID cur</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00048">DPItem.h:48</a></div></div>
|
|
626
|
+
<div class="ttc" id="classSVF_1_1ContextCond_html_ac431eae00244cc7792b6e7e00634d535"><div class="ttname"><a href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">SVF::ContextCond::context</a></div><div class="ttdeci">CallStrCxt context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00374">DPItem.h:374</a></div></div>
|
|
627
|
+
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00393">DPItem.h:393</a></div></div>
|
|
622
628
|
</div><!-- fragment -->
|
|
623
629
|
</div>
|
|
624
630
|
</div>
|
|
@@ -650,9 +656,9 @@ template<class LocCond> </div>
|
|
|
650
656
|
|
|
651
657
|
<p>Push context. </p>
|
|
652
658
|
|
|
653
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
654
|
-
<div class="fragment"><div class="line"><a name="
|
|
655
|
-
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
659
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00425">425</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
660
|
+
<div class="fragment"><div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  {</div><div class="line"><a name="l00427"></a><span class="lineno"> 427</span>  <span class="keywordflow">return</span> this-><a class="code" href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">context</a>.<a class="code" href="classSVF_1_1ContextCond.html#ad16644f61728fbb166ce80957b17d884">pushContext</a>(cxt);</div><div class="line"><a name="l00428"></a><span class="lineno"> 428</span>  }</div><div class="ttc" id="classSVF_1_1ContextCond_html_ad16644f61728fbb166ce80957b17d884"><div class="ttname"><a href="classSVF_1_1ContextCond.html#ad16644f61728fbb166ce80957b17d884">SVF::ContextCond::pushContext</a></div><div class="ttdeci">virtual bool pushContext(NodeID ctx)</div><div class="ttdoc">Push context. </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00280">DPItem.h:280</a></div></div>
|
|
661
|
+
<div class="ttc" id="classSVF_1_1CxtStmtDPItem_html_a96f1d7c309e3b69af66200e2cfb5a466"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a96f1d7c309e3b69af66200e2cfb5a466">SVF::CxtStmtDPItem::context</a></div><div class="ttdeci">ContextCond context</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00393">DPItem.h:393</a></div></div>
|
|
656
662
|
</div><!-- fragment -->
|
|
657
663
|
</div>
|
|
658
664
|
</div>
|
|
@@ -679,7 +685,7 @@ template<class LocCond> </div>
|
|
|
679
685
|
</table>
|
|
680
686
|
</div><div class="memdoc">
|
|
681
687
|
|
|
682
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
688
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00393">393</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
683
689
|
|
|
684
690
|
</div>
|
|
685
691
|
</div>
|
|
@@ -798,7 +798,7 @@ Private Attributes</h2></td></tr>
|
|
|
798
798
|
<div class="ttc" id="classSVF_1_1Options_html_a32ef95b3bd06b50337b3129b74ffb45c"><div class="ttname"><a href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c">SVF::Options::MaxPathLen</a></div><div class="ttdeci">static const llvm::cl::opt< unsigned > MaxPathLen</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00094">Options.h:94</a></div></div>
|
|
799
799
|
<div class="ttc" id="classSVF_1_1SVFIRBuilder_html_aa6d56f9580f76fd09d25ce6cf7541e98"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#aa6d56f9580f76fd09d25ce6cf7541e98">SVF::SVFIRBuilder::build</a></div><div class="ttdeci">virtual SVFIR * build(SVFModule *svfModule)</div><div class="ttdoc">Start building SVFIR here. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8cpp_source.html#l00050">SVFIRBuilder.cpp:50</a></div></div>
|
|
800
800
|
<div class="ttc" id="classSVF_1_1DDAClient_html_a76b4c50a1051ff7c0b162b55473de028"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a76b4c50a1051ff7c0b162b55473de028">SVF::DDAClient::collectWPANum</a></div><div class="ttdeci">virtual void collectWPANum(SVFModule *)</div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00080">DDAClient.h:80</a></div></div>
|
|
801
|
-
<div class="ttc" id="classSVF_1_1ContextCond_html_a92e89bbae0f31bb9eb971ab3edcc8071"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a92e89bbae0f31bb9eb971ab3edcc8071">SVF::ContextCond::setMaxCxtLen</a></div><div class="ttdeci">static void setMaxCxtLen(u32_t max)</div><div class="ttdoc">set max context limit </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
801
|
+
<div class="ttc" id="classSVF_1_1ContextCond_html_a92e89bbae0f31bb9eb971ab3edcc8071"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a92e89bbae0f31bb9eb971ab3edcc8071">SVF::ContextCond::setMaxCxtLen</a></div><div class="ttdeci">static void setMaxCxtLen(u32_t max)</div><div class="ttdoc">set max context limit </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00266">DPItem.h:266</a></div></div>
|
|
802
802
|
<div class="ttc" id="classSVF_1_1FlowDDA_html"><div class="ttname"><a href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></div><div class="ttdef"><b>Definition:</b> <a href="FlowDDA_8h_source.html#l00024">FlowDDA.h:24</a></div></div>
|
|
803
803
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_a4880571f57542afc50da506dfe273183"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183">SVF::PointerAnalysis::printStat</a></div><div class="ttdeci">bool printStat()</div><div class="ttdoc">Whether print statistics. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00366">PointerAnalysis.h:366</a></div></div>
|
|
804
804
|
<div class="ttc" id="classSVF_1_1DDAClient_html_aedd25e487775d37d4f6dcc8a5565c2a3"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aedd25e487775d37d4f6dcc8a5565c2a3">SVF::DDAClient::performStat</a></div><div class="ttdeci">virtual void performStat(PointerAnalysis *)</div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00078">DDAClient.h:78</a></div></div>
|
|
@@ -812,7 +812,7 @@ Private Attributes</h2></td></tr>
|
|
|
812
812
|
<div class="ttc" id="classSVF_1_1Options_html_aee5e47ee3ca9bacb514f9dfbcb3abf24"><div class="ttname"><a href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24">SVF::Options::PrintCPts</a></div><div class="ttdeci">static const llvm::cl::opt< bool > PrintCPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00100">Options.h:100</a></div></div>
|
|
813
813
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_ad409cbf61271743394b9e5868f3fd197"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad409cbf61271743394b9e5868f3fd197">SVF::PointerAnalysis::dumpCPts</a></div><div class="ttdeci">virtual void dumpCPts()</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00263">PointerAnalysis.h:263</a></div></div>
|
|
814
814
|
<div class="ttc" id="classSVF_1_1DDAPass_html_afc700bd3abb5d9199621741b9bd04f0f"><div class="ttname"><a href="classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f">SVF::DDAPass::printQueryPTS</a></div><div class="ttdeci">void printQueryPTS()</div><div class="ttdoc">Print queries&#39; pts. </div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8cpp_source.html#l00311">DDAPass.cpp:311</a></div></div>
|
|
815
|
-
<div class="ttc" id="classSVF_1_1ContextCond_html_a084679a423e78217ca10794775c25b1d"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a084679a423e78217ca10794775c25b1d">SVF::ContextCond::setMaxPathLen</a></div><div class="ttdeci">static void setMaxPathLen(u32_t max)</div><div class="ttdoc">set max path limit </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
815
|
+
<div class="ttc" id="classSVF_1_1ContextCond_html_a084679a423e78217ca10794775c25b1d"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a084679a423e78217ca10794775c25b1d">SVF::ContextCond::setMaxPathLen</a></div><div class="ttdeci">static void setMaxPathLen(u32_t max)</div><div class="ttdoc">set max path limit </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00271">DPItem.h:271</a></div></div>
|
|
816
816
|
<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream & outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
|
|
817
817
|
<div class="ttc" id="classSVF_1_1ContextDDA_html"><div class="ttname"><a href="classSVF_1_1ContextDDA.html">SVF::ContextDDA</a></div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00025">ContextDDA.h:25</a></div></div>
|
|
818
818
|
<div class="ttc" id="classSVF_1_1DDAClient_html_a3b202f9a70b6e23c06a15556d23d245e"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a3b202f9a70b6e23c06a15556d23d245e">SVF::DDAClient::answerQueries</a></div><div class="ttdeci">virtual void answerQueries(PointerAnalysis *pta)</div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8cpp_source.html#l00025">DDAClient.cpp:25</a></div></div>
|
|
@@ -639,7 +639,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
639
639
|
<div class="ttc" id="classSVF_1_1DDAStat_html_ad53ad7a958c05b45624d2859a6a9e647"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ad53ad7a958c05b45624d2859a6a9e647">SVF::DDAStat::_StrongUpdateStores</a></div><div class="ttdeci">NodeBS _StrongUpdateStores</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00044">DDAStat.h:44</a></div></div>
|
|
640
640
|
<div class="ttc" id="classSVF_1_1SVFIR_html_a65a4af3d6f0bfc11e31f020bb2966576"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a65a4af3d6f0bfc11e31f020bb2966576">SVF::SVFIR::getPTASVFStmtSet</a></div><div class="ttdeci">SVFStmt::SVFStmtSetTy & getPTASVFStmtSet(SVFStmt::PEDGEK kind)</div><div class="ttdoc">Get PTA edges set according to its kind. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00167">SVFIR.h:167</a></div></div>
|
|
641
641
|
<div class="ttc" id="classSVF_1_1DDAStat_html_a7b83dd2c2719ed3b308c65aa037d446b"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b">SVF::DDAStat::_MaxNumOfDPMAtSVFGNode</a></div><div class="ttdeci">u32_t _MaxNumOfDPMAtSVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00097">DDAStat.h:97</a></div></div>
|
|
642
|
-
<div class="ttc" id="classSVF_1_1ContextCond_html_a151b9f21eedd4fdd8f46b78bb456582d"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d">SVF::ContextCond::maximumCxt</a></div><div class="ttdeci">static u32_t maximumCxt</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
642
|
+
<div class="ttc" id="classSVF_1_1ContextCond_html_a151b9f21eedd4fdd8f46b78bb456582d"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d">SVF::ContextCond::maximumCxt</a></div><div class="ttdeci">static u32_t maximumCxt</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00379">DPItem.h:379</a></div></div>
|
|
643
643
|
<div class="ttc" id="classSVF_1_1PTAStat_html_afa718535839a939e51afc0f8c1fbdac6"><div class="ttname"><a href="classSVF_1_1PTAStat.html#afa718535839a939e51afc0f8c1fbdac6">SVF::PTAStat::generalNumMap</a></div><div class="ttdeci">NUMStatMap generalNumMap</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8h_source.html#l00147">PTAStat.h:147</a></div></div>
|
|
644
644
|
<div class="ttc" id="classSVF_1_1DDAStat_html_a36eafce8cdbb6492f6dd550606cfbd81"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a36eafce8cdbb6492f6dd550606cfbd81">SVF::DDAStat::_AvgNumOfDPMAtSVFGNode</a></div><div class="ttdeci">double _AvgNumOfDPMAtSVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00096">DDAStat.h:96</a></div></div>
|
|
645
645
|
<div class="ttc" id="classSVF_1_1DDAStat_html_ad07ab73cc0bc650c692de9983b126348"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ad07ab73cc0bc650c692de9983b126348">SVF::DDAStat::_MaxCPtsSize</a></div><div class="ttdeci">u32_t _MaxCPtsSize</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00083">DDAStat.h:83</a></div></div>
|
|
@@ -649,7 +649,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
649
649
|
<div class="ttc" id="classSVF_1_1DDAStat_html_a057c651a89d1dba04102bfc08ce7d372"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a057c651a89d1dba04102bfc08ce7d372">SVF::DDAStat::_vmrssUsageBefore</a></div><div class="ttdeci">u32_t _vmrssUsageBefore</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00091">DDAStat.h:91</a></div></div>
|
|
650
650
|
<div class="ttc" id="classSVF_1_1DDAStat_html_af3f359ca7c620695b124573377bda407"><div class="ttname"><a href="classSVF_1_1DDAStat.html#af3f359ca7c620695b124573377bda407">SVF::DDAStat::_NumOfBlackholePtr</a></div><div class="ttdeci">u32_t _NumOfBlackholePtr</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00089">DDAStat.h:89</a></div></div>
|
|
651
651
|
<div class="ttc" id="SVFBasicTypes_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFBasicTypes_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00181">SVFBasicTypes.h:181</a></div></div>
|
|
652
|
-
<div class="ttc" id="classSVF_1_1ContextCond_html_a7d89351906ef4dff9adb1196f45bc9be"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be">SVF::ContextCond::maximumPath</a></div><div class="ttdeci">static u32_t maximumPath</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
652
|
+
<div class="ttc" id="classSVF_1_1ContextCond_html_a7d89351906ef4dff9adb1196f45bc9be"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be">SVF::ContextCond::maximumPath</a></div><div class="ttdeci">static u32_t maximumPath</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00380">DPItem.h:380</a></div></div>
|
|
653
653
|
<div class="ttc" id="classSVF_1_1DDAStat_html_acab872c897c747157bb81f324bbab323"><div class="ttname"><a href="classSVF_1_1DDAStat.html#acab872c897c747157bb81f324bbab323">SVF::DDAStat::_vmsizeUsageBefore</a></div><div class="ttdeci">u32_t _vmsizeUsageBefore</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00093">DDAStat.h:93</a></div></div>
|
|
654
654
|
<div class="ttc" id="classSVF_1_1DDAStat_html_a5106639ea8a0d8ca38c2b1e11de9f183"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183">SVF::DDAStat::_TotalNumOfDPM</a></div><div class="ttdeci">u32_t _TotalNumOfDPM</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00074">DDAStat.h:74</a></div></div>
|
|
655
655
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_ad2c8654a6672472f9bf17681aa9b60bb"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad2c8654a6672472f9bf17681aa9b60bb">SVF::PointerAnalysis::getNumOfResolvedIndCallEdge</a></div><div class="ttdeci">u32_t getNumOfResolvedIndCallEdge() const</div><div class="ttdoc">Return number of resolved indirect call edges. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00173">PointerAnalysis.h:173</a></div></div>
|
|
@@ -712,7 +712,7 @@ Additional Inherited Members</h2></td></tr>
|
|
|
712
712
|
<div class="ttc" id="classSVF_1_1DDAStat_html_a7b83dd2c2719ed3b308c65aa037d446b"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a7b83dd2c2719ed3b308c65aa037d446b">SVF::DDAStat::_MaxNumOfDPMAtSVFGNode</a></div><div class="ttdeci">u32_t _MaxNumOfDPMAtSVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00097">DDAStat.h:97</a></div></div>
|
|
713
713
|
<div class="ttc" id="classSVF_1_1DDAStat_html_a5ad94d2109b293d306f67741effc73aa"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a5ad94d2109b293d306f67741effc73aa">SVF::DDAStat::_NumOfDPM</a></div><div class="ttdeci">u32_t _NumOfDPM</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00032">DDAStat.h:32</a></div></div>
|
|
714
714
|
<div class="ttc" id="classSVF_1_1CondVar_html"><div class="ttname"><a href="classSVF_1_1CondVar.html">SVF::CondVar</a></div><div class="ttdef"><b>Definition:</b> <a href="ConditionalPT_8h_source.html#l00045">ConditionalPT.h:45</a></div></div>
|
|
715
|
-
<div class="ttc" id="classSVF_1_1ContextCond_html_a151b9f21eedd4fdd8f46b78bb456582d"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d">SVF::ContextCond::maximumCxt</a></div><div class="ttdeci">static u32_t maximumCxt</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
715
|
+
<div class="ttc" id="classSVF_1_1ContextCond_html_a151b9f21eedd4fdd8f46b78bb456582d"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d">SVF::ContextCond::maximumCxt</a></div><div class="ttdeci">static u32_t maximumCxt</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00379">DPItem.h:379</a></div></div>
|
|
716
716
|
<div class="ttc" id="classSVF_1_1DDAStat_html_ac3fb8b15c5308c926209a941c7cf62e1"><div class="ttname"><a href="classSVF_1_1DDAStat.html#ac3fb8b15c5308c926209a941c7cf62e1">SVF::DDAStat::contextDDA</a></div><div class="ttdeci">ContextDDA * contextDDA</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00070">DDAStat.h:70</a></div></div>
|
|
717
717
|
<div class="ttc" id="classSVF_1_1DDAStat_html_a86e03ef25f150b98bc1f8c89bfd7fc77"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a86e03ef25f150b98bc1f8c89bfd7fc77">SVF::DDAStat::flowDDA</a></div><div class="ttdeci">FlowDDA * flowDDA</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00069">DDAStat.h:69</a></div></div>
|
|
718
718
|
<div class="ttc" id="classSVF_1_1CondPTAImpl_html_a63fa2b3a96696ffc67a119c1ba5ce748"><div class="ttname"><a href="classSVF_1_1CondPTAImpl.html#a63fa2b3a96696ffc67a119c1ba5ce748">SVF::CondPTAImpl::getPts</a></div><div class="ttdeci">virtual const CPtSet & getPts(CVar id)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00315">PointerAnalysisImpl.h:315</a></div></div>
|
|
@@ -728,10 +728,10 @@ Additional Inherited Members</h2></td></tr>
|
|
|
728
728
|
<div class="ttc" id="classSVF_1_1DDAStat_html_a5c007645d73bfc5cfefef672f3c1dcf1"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a5c007645d73bfc5cfefef672f3c1dcf1">SVF::DDAStat::_NumOfStrongUpdates</a></div><div class="ttdeci">u32_t _NumOfStrongUpdates</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00033">DDAStat.h:33</a></div></div>
|
|
729
729
|
<div class="ttc" id="classSVF_1_1DDAStat_html_af3f359ca7c620695b124573377bda407"><div class="ttname"><a href="classSVF_1_1DDAStat.html#af3f359ca7c620695b124573377bda407">SVF::DDAStat::_NumOfBlackholePtr</a></div><div class="ttdeci">u32_t _NumOfBlackholePtr</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00089">DDAStat.h:89</a></div></div>
|
|
730
730
|
<div class="ttc" id="SVFBasicTypes_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFBasicTypes_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00181">SVFBasicTypes.h:181</a></div></div>
|
|
731
|
-
<div class="ttc" id="classSVF_1_1ContextCond_html_a7d89351906ef4dff9adb1196f45bc9be"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be">SVF::ContextCond::maximumPath</a></div><div class="ttdeci">static u32_t maximumPath</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
731
|
+
<div class="ttc" id="classSVF_1_1ContextCond_html_a7d89351906ef4dff9adb1196f45bc9be"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a7d89351906ef4dff9adb1196f45bc9be">SVF::ContextCond::maximumPath</a></div><div class="ttdeci">static u32_t maximumPath</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00380">DPItem.h:380</a></div></div>
|
|
732
732
|
<div class="ttc" id="classSVF_1_1DDAStat_html_a0aec64ca944ea4f914a6fa799b7a8b38"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a0aec64ca944ea4f914a6fa799b7a8b38">SVF::DDAStat::_NumOfMustAliases</a></div><div class="ttdeci">u32_t _NumOfMustAliases</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00034">DDAStat.h:34</a></div></div>
|
|
733
733
|
<div class="ttc" id="classSVF_1_1DDAStat_html_a5106639ea8a0d8ca38c2b1e11de9f183"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a5106639ea8a0d8ca38c2b1e11de9f183">SVF::DDAStat::_TotalNumOfDPM</a></div><div class="ttdeci">u32_t _TotalNumOfDPM</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00074">DDAStat.h:74</a></div></div>
|
|
734
|
-
<div class="ttc" id="classSVF_1_1ContextCond_html"><div class="ttname"><a href="classSVF_1_1ContextCond.html">SVF::ContextCond</a></div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
734
|
+
<div class="ttc" id="classSVF_1_1ContextCond_html"><div class="ttname"><a href="classSVF_1_1ContextCond.html">SVF::ContextCond</a></div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00207">DPItem.h:207</a></div></div>
|
|
735
735
|
<div class="ttc" id="classSVF_1_1PointerAnalysis_html_ad2c8654a6672472f9bf17681aa9b60bb"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad2c8654a6672472f9bf17681aa9b60bb">SVF::PointerAnalysis::getNumOfResolvedIndCallEdge</a></div><div class="ttdeci">u32_t getNumOfResolvedIndCallEdge() const</div><div class="ttdoc">Return number of resolved indirect call edges. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00173">PointerAnalysis.h:173</a></div></div>
|
|
736
736
|
<div class="ttc" id="classSVF_1_1DDAStat_html_a2b788792447d4bccceff2426b45a21b2"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a2b788792447d4bccceff2426b45a21b2">SVF::DDAStat::_AnaTimePerQuery</a></div><div class="ttdeci">double _AnaTimePerQuery</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00039">DDAStat.h:39</a></div></div>
|
|
737
737
|
<div class="ttc" id="classSVF_1_1DDAStat_html_a967b0def2602a596538973703ffaad5d"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a967b0def2602a596538973703ffaad5d">SVF::DDAStat::_NumOfConstantPtr</a></div><div class="ttdeci">u32_t _NumOfConstantPtr</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00088">DDAStat.h:88</a></div></div>
|
|
@@ -72,12 +72,14 @@ $(function() {
|
|
|
72
72
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#a82d2a11fb456192ec88fcb5ffe239d80">cur</a></td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
|
|
73
73
|
<tr><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#ac5dbe11ebf512e6dccdfa1eceba04fe8">DPItem</a>(NodeID c)</td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
74
74
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#a715b7de4a392d8c389e611e27f8b9184">DPItem</a>(const DPItem &dps)</td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
75
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#
|
|
76
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#
|
|
77
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#
|
|
78
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#
|
|
79
|
-
<tr><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#
|
|
80
|
-
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#
|
|
75
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#a97b304417b1b2253d9bd30ee22d269df">DPItem</a>(DPItem &&dps) noexcept</td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
76
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#a6048fa772b5023710c34687c4f047d44">dump</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
77
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#a03a90eca842c0e83d874902103f6fdb2">getCurNodeID</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
78
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#af9d8f95249190e164131dc19b6db1b67">getMaxBudget</a>()</td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
|
|
79
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef">maximumBudget</a></td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
|
|
80
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#add804064ca2bfaa16bcc25503698a1ea">operator!=</a>(const DPItem &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
81
|
+
<tr><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#a639c757076141a14bedc26c73f875ffe">operator<</a>(const DPItem &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
82
|
+
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#a3010d11982d57284627fc601ede9d811">operator=</a>(DPItem &&rhs) noexcept</td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
81
83
|
<tr><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#a10226d37dfef045bec9f7cfb78315440">operator=</a>(const DPItem &rhs)</td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
82
84
|
<tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a">operator==</a>(const DPItem &rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|
|
83
85
|
<tr><td class="entry"><a class="el" href="classSVF_1_1DPItem.html#a5fbde30cae2cb09bd9dc9a6969ea4b90">setCurNodeID</a>(NodeID c)</td><td class="entry"><a class="el" href="classSVF_1_1DPItem.html">SVF::DPItem</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
|