svf-tools 1.0.574 → 1.0.576
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/AndersenSCD_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/CFLSolver_8h_source.html +4 -4
- package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/CSC_8h_source.html +1 -1
- package/SVF-doxygen/html/html/ConsG_8h_source.html +3 -3
- package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +1 -1
- package/SVF-doxygen/html/html/GraphReachSolver_8h_source.html +4 -4
- package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +3 -3
- package/SVF-doxygen/html/html/MHP_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/MHP_8h_source.html +3 -3
- package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/PCG_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
- package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +4 -4
- package/SVF-doxygen/html/html/TCT_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/TCT_8h_source.html +3 -3
- package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +3 -3
- package/SVF-doxygen/html/html/WPASolver_8h_source.html +4 -4
- package/SVF-doxygen/html/html/WorkList_8h_source.html +31 -25
- package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1CFLSolver.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1FIFOWorkList-members.html +5 -2
- package/SVF-doxygen/html/html/classSVF_1_1FIFOWorkList.html +122 -24
- package/SVF-doxygen/html/html/classSVF_1_1FILOWorkList-members.html +4 -1
- package/SVF-doxygen/html/html/classSVF_1_1FILOWorkList.html +122 -24
- package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +7 -7
- package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1List.html +3 -4
- package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +10 -10
- package/SVF-doxygen/html/html/classSVF_1_1MHP.html +9 -9
- package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
- package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver.html +4 -4
- package/SVF-doxygen/html/html/classSVF_1_1TCT.html +15 -15
- package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +3 -3
- package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +4 -4
- package/SVF-doxygen/html/html/functions_d.html +4 -0
- package/SVF-doxygen/html/html/functions_func_s.html +8 -6
- package/SVF-doxygen/html/html/functions_s.html +11 -9
- package/SVF-doxygen/html/html/functions_type_d.html +2 -0
- package/SVF-doxygen/html/html/functions_vars_d.html +2 -0
- package/SVF-doxygen/html/html/search/all_12.js +1 -1
- package/SVF-doxygen/html/html/search/all_4.js +2 -2
- package/SVF-doxygen/html/html/search/functions_11.js +1 -1
- package/SVF-doxygen/html/html/search/typedefs_3.js +1 -1
- package/SVF-doxygen/html/html/search/variables_4.js +1 -1
- package/SVF-doxygen/html/html/svf-ex_8cpp.html +6 -6
- package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +3 -3
- package/include/Util/WorkList.h +72 -36
- package/lib/Util/ExtAPI.cpp +1 -1
- package/package.json +1 -1
|
@@ -82,6 +82,8 @@ Public Member Functions</h2></td></tr>
|
|
|
82
82
|
<tr class="separator:a5fb3e9576859201a7ace30d39f450fa0"><td class="memSeparator" colspan="2"> </td></tr>
|
|
83
83
|
<tr class="memitem:a071a624c91def82a4bbbf3806c7b7eea"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea">empty</a> () const</td></tr>
|
|
84
84
|
<tr class="separator:a071a624c91def82a4bbbf3806c7b7eea"><td class="memSeparator" colspan="2"> </td></tr>
|
|
85
|
+
<tr class="memitem:aff8bc6547b814b31b02c7f086d06ce05"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FILOWorkList.html#aff8bc6547b814b31b02c7f086d06ce05">size</a> () const</td></tr>
|
|
86
|
+
<tr class="separator:aff8bc6547b814b31b02c7f086d06ce05"><td class="memSeparator" colspan="2"> </td></tr>
|
|
85
87
|
<tr class="memitem:ac91aa65edf221d887be7550a144c5c2d"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FILOWorkList.html#ac91aa65edf221d887be7550a144c5c2d">find</a> (const Data &data) const</td></tr>
|
|
86
88
|
<tr class="separator:ac91aa65edf221d887be7550a144c5c2d"><td class="memSeparator" colspan="2"> </td></tr>
|
|
87
89
|
<tr class="memitem:afcf3fcda18e8d3e2bad70a51376c0ce1"><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FILOWorkList.html#afcf3fcda18e8d3e2bad70a51376c0ce1">push</a> (const Data &data)</td></tr>
|
|
@@ -97,11 +99,16 @@ Public Member Functions</h2></td></tr>
|
|
|
97
99
|
</table><table class="memberdecls">
|
|
98
100
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-types"></a>
|
|
99
101
|
Private Types</h2></td></tr>
|
|
102
|
+
<tr class="memitem:abe04c596453280fe15cadde868ded798"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>< Data > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798">DataSet</a></td></tr>
|
|
103
|
+
<tr class="separator:abe04c596453280fe15cadde868ded798"><td class="memSeparator" colspan="2"> </td></tr>
|
|
100
104
|
<tr class="memitem:a41d3d71633adc6a1282922b4e4929a7f"><td class="memItemLeft" align="right" valign="top">typedef std::vector< Data > </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f">DataVector</a></td></tr>
|
|
101
105
|
<tr class="separator:a41d3d71633adc6a1282922b4e4929a7f"><td class="memSeparator" colspan="2"> </td></tr>
|
|
102
106
|
</table><table class="memberdecls">
|
|
103
107
|
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
|
|
104
108
|
Private Attributes</h2></td></tr>
|
|
109
|
+
<tr class="memitem:a46092b75425becfe97fdf047206c736b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798">DataSet</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">data_set</a></td></tr>
|
|
110
|
+
<tr class="memdesc:a46092b75425becfe97fdf047206c736b"><td class="mdescLeft"> </td><td class="mdescRight">store all data in the work list. <a href="#a46092b75425becfe97fdf047206c736b">More...</a><br /></td></tr>
|
|
111
|
+
<tr class="separator:a46092b75425becfe97fdf047206c736b"><td class="memSeparator" colspan="2"> </td></tr>
|
|
105
112
|
<tr class="memitem:aeda28a2200d763279027642c8cf6a4bf"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1FILOWorkList.html#a41d3d71633adc6a1282922b4e4929a7f">DataVector</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">data_list</a></td></tr>
|
|
106
113
|
<tr class="memdesc:aeda28a2200d763279027642c8cf6a4bf"><td class="mdescLeft"> </td><td class="mdescRight">work list using std::vector. <a href="#aeda28a2200d763279027642c8cf6a4bf">More...</a><br /></td></tr>
|
|
107
114
|
<tr class="separator:aeda28a2200d763279027642c8cf6a4bf"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -112,8 +119,34 @@ class SVF::FILOWorkList< Data ></h3>
|
|
|
112
119
|
|
|
113
120
|
<p>Worlist with "first in last out" order. New nodes will be pushed at back and popped from back. Elements in the list are unique as they're recorded by Set. </p>
|
|
114
121
|
|
|
115
|
-
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#
|
|
122
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00229">229</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
116
123
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
124
|
+
<a id="abe04c596453280fe15cadde868ded798"></a>
|
|
125
|
+
<h2 class="memtitle"><span class="permalink"><a href="#abe04c596453280fe15cadde868ded798">◆ </a></span>DataSet</h2>
|
|
126
|
+
|
|
127
|
+
<div class="memitem">
|
|
128
|
+
<div class="memproto">
|
|
129
|
+
<div class="memtemplate">
|
|
130
|
+
template<class Data > </div>
|
|
131
|
+
<table class="mlabels">
|
|
132
|
+
<tr>
|
|
133
|
+
<td class="mlabels-left">
|
|
134
|
+
<table class="memname">
|
|
135
|
+
<tr>
|
|
136
|
+
<td class="memname">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a><Data> <a class="el" href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList</a>< Data >::<a class="el" href="classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798">DataSet</a></td>
|
|
137
|
+
</tr>
|
|
138
|
+
</table>
|
|
139
|
+
</td>
|
|
140
|
+
<td class="mlabels-right">
|
|
141
|
+
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
142
|
+
</tr>
|
|
143
|
+
</table>
|
|
144
|
+
</div><div class="memdoc">
|
|
145
|
+
|
|
146
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00231">231</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
147
|
+
|
|
148
|
+
</div>
|
|
149
|
+
</div>
|
|
117
150
|
<a id="a41d3d71633adc6a1282922b4e4929a7f"></a>
|
|
118
151
|
<h2 class="memtitle"><span class="permalink"><a href="#a41d3d71633adc6a1282922b4e4929a7f">◆ </a></span>DataVector</h2>
|
|
119
152
|
|
|
@@ -136,7 +169,7 @@ template<class Data > </div>
|
|
|
136
169
|
</table>
|
|
137
170
|
</div><div class="memdoc">
|
|
138
171
|
|
|
139
|
-
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#
|
|
172
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00232">232</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
140
173
|
|
|
141
174
|
</div>
|
|
142
175
|
</div>
|
|
@@ -166,8 +199,8 @@ template<class Data > </div>
|
|
|
166
199
|
</table>
|
|
167
200
|
</div><div class="memdoc">
|
|
168
201
|
|
|
169
|
-
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#
|
|
170
|
-
<div class="fragment"><div class="line"><a name="
|
|
202
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00234">234</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
203
|
+
<div class="fragment"><div class="line"><a name="l00234"></a><span class="lineno"> 234</span> {}</div></div><!-- fragment -->
|
|
171
204
|
</div>
|
|
172
205
|
</div>
|
|
173
206
|
<a id="a5fb3e9576859201a7ace30d39f450fa0"></a>
|
|
@@ -195,8 +228,8 @@ template<class Data > </div>
|
|
|
195
228
|
</table>
|
|
196
229
|
</div><div class="memdoc">
|
|
197
230
|
|
|
198
|
-
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#
|
|
199
|
-
<div class="fragment"><div class="line"><a name="
|
|
231
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00236">236</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
232
|
+
<div class="fragment"><div class="line"><a name="l00236"></a><span class="lineno"> 236</span> {}</div></div><!-- fragment -->
|
|
200
233
|
</div>
|
|
201
234
|
</div>
|
|
202
235
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
@@ -226,9 +259,9 @@ template<class Data > </div>
|
|
|
226
259
|
</div><div class="memdoc">
|
|
227
260
|
<p>Get reference of top data from the END of work list. </p>
|
|
228
261
|
|
|
229
|
-
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#
|
|
230
|
-
<div class="fragment"><div class="line"><a name="
|
|
231
|
-
<div class="ttc" id="classSVF_1_1FILOWorkList_html_a071a624c91def82a4bbbf3806c7b7eea"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea">SVF::FILOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#
|
|
262
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00294">294</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
263
|
+
<div class="fragment"><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  {</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  assert(!<a class="code" href="classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea">empty</a>() && <span class="stringliteral">"work list is empty"</span>);</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  Data &data = <a class="code" href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">data_list</a>.back();</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  <span class="keywordflow">return</span> data;</div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  }</div><div class="ttc" id="classSVF_1_1FILOWorkList_html_aeda28a2200d763279027642c8cf6a4bf"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">SVF::FILOWorkList::data_list</a></div><div class="ttdeci">DataVector data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00312">WorkList.h:312</a></div></div>
|
|
264
|
+
<div class="ttc" id="classSVF_1_1FILOWorkList_html_a071a624c91def82a4bbbf3806c7b7eea"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea">SVF::FILOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00238">WorkList.h:238</a></div></div>
|
|
232
265
|
</div><!-- fragment -->
|
|
233
266
|
</div>
|
|
234
267
|
</div>
|
|
@@ -259,8 +292,9 @@ template<class Data > </div>
|
|
|
259
292
|
</div><div class="memdoc">
|
|
260
293
|
<p>Clear all the data </p>
|
|
261
294
|
|
|
262
|
-
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#
|
|
263
|
-
<div class="fragment"><div class="line"><a name="
|
|
295
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00304">304</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
296
|
+
<div class="fragment"><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  {</div><div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  <a class="code" href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">data_list</a>.clear();</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <a class="code" href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">data_set</a>.clear();</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  }</div><div class="ttc" id="classSVF_1_1FILOWorkList_html_aeda28a2200d763279027642c8cf6a4bf"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">SVF::FILOWorkList::data_list</a></div><div class="ttdeci">DataVector data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00312">WorkList.h:312</a></div></div>
|
|
297
|
+
<div class="ttc" id="classSVF_1_1FILOWorkList_html_a46092b75425becfe97fdf047206c736b"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">SVF::FILOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00311">WorkList.h:311</a></div></div>
|
|
264
298
|
</div><!-- fragment -->
|
|
265
299
|
</div>
|
|
266
300
|
</div>
|
|
@@ -290,8 +324,8 @@ template<class Data > </div>
|
|
|
290
324
|
</table>
|
|
291
325
|
</div><div class="memdoc">
|
|
292
326
|
|
|
293
|
-
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#
|
|
294
|
-
<div class="fragment"><div class="line"><a name="
|
|
327
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00238">238</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
328
|
+
<div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  {</div><div class="line"><a name="l00240"></a><span class="lineno"> 240</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">data_list</a>.empty();</div><div class="line"><a name="l00241"></a><span class="lineno"> 241</span>  }</div><div class="ttc" id="classSVF_1_1FILOWorkList_html_aeda28a2200d763279027642c8cf6a4bf"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">SVF::FILOWorkList::data_list</a></div><div class="ttdeci">DataVector data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00312">WorkList.h:312</a></div></div>
|
|
295
329
|
</div><!-- fragment -->
|
|
296
330
|
</div>
|
|
297
331
|
</div>
|
|
@@ -321,8 +355,8 @@ template<class Data > </div>
|
|
|
321
355
|
</table>
|
|
322
356
|
</div><div class="memdoc">
|
|
323
357
|
|
|
324
|
-
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#
|
|
325
|
-
<div class="fragment"><div class="line"><a name="
|
|
358
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00249">249</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
359
|
+
<div class="fragment"><div class="line"><a name="l00250"></a><span class="lineno"> 250</span>  {</div><div class="line"><a name="l00251"></a><span class="lineno"> 251</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">data_set</a>.find(data) != <a class="code" href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">data_set</a>.end();;</div><div class="line"><a name="l00252"></a><span class="lineno"> 252</span>  }</div><div class="ttc" id="classSVF_1_1FILOWorkList_html_a46092b75425becfe97fdf047206c736b"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">SVF::FILOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00311">WorkList.h:311</a></div></div>
|
|
326
360
|
</div><!-- fragment -->
|
|
327
361
|
</div>
|
|
328
362
|
</div>
|
|
@@ -352,9 +386,10 @@ template<class Data > </div>
|
|
|
352
386
|
</div><div class="memdoc">
|
|
353
387
|
<p>Pop a data from the END of work list. </p>
|
|
354
388
|
|
|
355
|
-
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#
|
|
356
|
-
<div class="fragment"><div class="line"><a name="
|
|
357
|
-
<div class="ttc" id="
|
|
389
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00272">272</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
390
|
+
<div class="fragment"><div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  {</div><div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  assert(!<a class="code" href="classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea">empty</a>() && <span class="stringliteral">"work list is empty"</span>);</div><div class="line"><a name="l00275"></a><span class="lineno"> 275</span>  Data data = <a class="code" href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">data_list</a>.back();</div><div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  <a class="code" href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">data_list</a>.pop_back();</div><div class="line"><a name="l00277"></a><span class="lineno"> 277</span>  <a class="code" href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">data_set</a>.erase(data);</div><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>  <span class="keywordflow">return</span> data;</div><div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  }</div><div class="ttc" id="classSVF_1_1FILOWorkList_html_aeda28a2200d763279027642c8cf6a4bf"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">SVF::FILOWorkList::data_list</a></div><div class="ttdeci">DataVector data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00312">WorkList.h:312</a></div></div>
|
|
391
|
+
<div class="ttc" id="classSVF_1_1FILOWorkList_html_a071a624c91def82a4bbbf3806c7b7eea"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea">SVF::FILOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00238">WorkList.h:238</a></div></div>
|
|
392
|
+
<div class="ttc" id="classSVF_1_1FILOWorkList_html_a46092b75425becfe97fdf047206c736b"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">SVF::FILOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00311">WorkList.h:311</a></div></div>
|
|
358
393
|
</div><!-- fragment -->
|
|
359
394
|
</div>
|
|
360
395
|
</div>
|
|
@@ -385,8 +420,10 @@ template<class Data > </div>
|
|
|
385
420
|
</div><div class="memdoc">
|
|
386
421
|
<p>Push a data into the work list. </p>
|
|
387
422
|
|
|
388
|
-
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#
|
|
389
|
-
<div class="fragment"><div class="line"><a name="
|
|
423
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00257">257</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
424
|
+
<div class="fragment"><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  {</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1FILOWorkList.html#ac91aa65edf221d887be7550a144c5c2d">find</a>(data))</div><div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  {</div><div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  <a class="code" href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">data_list</a>.push_back(data);</div><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  <a class="code" href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">data_set</a>.insert(data);</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  }</div><div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  }</div><div class="ttc" id="classSVF_1_1FILOWorkList_html_aeda28a2200d763279027642c8cf6a4bf"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">SVF::FILOWorkList::data_list</a></div><div class="ttdeci">DataVector data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00312">WorkList.h:312</a></div></div>
|
|
425
|
+
<div class="ttc" id="classSVF_1_1FILOWorkList_html_ac91aa65edf221d887be7550a144c5c2d"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#ac91aa65edf221d887be7550a144c5c2d">SVF::FILOWorkList::find</a></div><div class="ttdeci">bool find(const Data &data) const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00249">WorkList.h:249</a></div></div>
|
|
426
|
+
<div class="ttc" id="classSVF_1_1FILOWorkList_html_a46092b75425becfe97fdf047206c736b"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">SVF::FILOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00311">WorkList.h:311</a></div></div>
|
|
390
427
|
</div><!-- fragment -->
|
|
391
428
|
</div>
|
|
392
429
|
</div>
|
|
@@ -416,9 +453,42 @@ template<class Data > </div>
|
|
|
416
453
|
</div><div class="memdoc">
|
|
417
454
|
<p>Remove a data from the END of work list, no return value </p>
|
|
418
455
|
|
|
419
|
-
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#
|
|
420
|
-
<div class="fragment"><div class="line"><a name="
|
|
421
|
-
<div class="ttc" id="classSVF_1_1FILOWorkList_html_a071a624c91def82a4bbbf3806c7b7eea"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea">SVF::FILOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#
|
|
456
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00284">284</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
457
|
+
<div class="fragment"><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  {</div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  assert(!<a class="code" href="classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea">empty</a>() && <span class="stringliteral">"work list is empty"</span>);</div><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  <a class="code" href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">data_set</a>.erase(<a class="code" href="classSVF_1_1FILOWorkList.html#a9681638ade4598cb1faa3e580d1df9b3">back</a>());</div><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  <a class="code" href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">data_list</a>.pop_back();</div><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  }</div><div class="ttc" id="classSVF_1_1FILOWorkList_html_aeda28a2200d763279027642c8cf6a4bf"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">SVF::FILOWorkList::data_list</a></div><div class="ttdeci">DataVector data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00312">WorkList.h:312</a></div></div>
|
|
458
|
+
<div class="ttc" id="classSVF_1_1FILOWorkList_html_a071a624c91def82a4bbbf3806c7b7eea"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a071a624c91def82a4bbbf3806c7b7eea">SVF::FILOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00238">WorkList.h:238</a></div></div>
|
|
459
|
+
<div class="ttc" id="classSVF_1_1FILOWorkList_html_a46092b75425becfe97fdf047206c736b"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">SVF::FILOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00311">WorkList.h:311</a></div></div>
|
|
460
|
+
<div class="ttc" id="classSVF_1_1FILOWorkList_html_a9681638ade4598cb1faa3e580d1df9b3"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a9681638ade4598cb1faa3e580d1df9b3">SVF::FILOWorkList::back</a></div><div class="ttdeci">Data & back()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00294">WorkList.h:294</a></div></div>
|
|
461
|
+
</div><!-- fragment -->
|
|
462
|
+
</div>
|
|
463
|
+
</div>
|
|
464
|
+
<a id="aff8bc6547b814b31b02c7f086d06ce05"></a>
|
|
465
|
+
<h2 class="memtitle"><span class="permalink"><a href="#aff8bc6547b814b31b02c7f086d06ce05">◆ </a></span>size()</h2>
|
|
466
|
+
|
|
467
|
+
<div class="memitem">
|
|
468
|
+
<div class="memproto">
|
|
469
|
+
<div class="memtemplate">
|
|
470
|
+
template<class Data > </div>
|
|
471
|
+
<table class="mlabels">
|
|
472
|
+
<tr>
|
|
473
|
+
<td class="mlabels-left">
|
|
474
|
+
<table class="memname">
|
|
475
|
+
<tr>
|
|
476
|
+
<td class="memname"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="el" href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList</a>< Data >::size </td>
|
|
477
|
+
<td>(</td>
|
|
478
|
+
<td class="paramname"></td><td>)</td>
|
|
479
|
+
<td> const</td>
|
|
480
|
+
</tr>
|
|
481
|
+
</table>
|
|
482
|
+
</td>
|
|
483
|
+
<td class="mlabels-right">
|
|
484
|
+
<span class="mlabels"><span class="mlabel">inline</span></span> </td>
|
|
485
|
+
</tr>
|
|
486
|
+
</table>
|
|
487
|
+
</div><div class="memdoc">
|
|
488
|
+
|
|
489
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00243">243</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
490
|
+
<div class="fragment"><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>  {</div><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>  assert(<a class="code" href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">data_list</a>.size() == <a class="code" href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">data_set</a>.size() && <span class="stringliteral">"list and set must be the same size!"</span>);</div><div class="line"><a name="l00246"></a><span class="lineno"> 246</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">data_list</a>.size();</div><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  }</div><div class="ttc" id="classSVF_1_1FILOWorkList_html_aeda28a2200d763279027642c8cf6a4bf"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#aeda28a2200d763279027642c8cf6a4bf">SVF::FILOWorkList::data_list</a></div><div class="ttdeci">DataVector data_list</div><div class="ttdoc">work list using std::vector. </div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00312">WorkList.h:312</a></div></div>
|
|
491
|
+
<div class="ttc" id="classSVF_1_1FILOWorkList_html_a46092b75425becfe97fdf047206c736b"><div class="ttname"><a href="classSVF_1_1FILOWorkList.html#a46092b75425becfe97fdf047206c736b">SVF::FILOWorkList::data_set</a></div><div class="ttdeci">DataSet data_set</div><div class="ttdoc">store all data in the work list. </div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00311">WorkList.h:311</a></div></div>
|
|
422
492
|
</div><!-- fragment -->
|
|
423
493
|
</div>
|
|
424
494
|
</div>
|
|
@@ -447,7 +517,35 @@ template<class Data > </div>
|
|
|
447
517
|
|
|
448
518
|
<p>work list using std::vector. </p>
|
|
449
519
|
|
|
450
|
-
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#
|
|
520
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00312">312</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
521
|
+
|
|
522
|
+
</div>
|
|
523
|
+
</div>
|
|
524
|
+
<a id="a46092b75425becfe97fdf047206c736b"></a>
|
|
525
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a46092b75425becfe97fdf047206c736b">◆ </a></span>data_set</h2>
|
|
526
|
+
|
|
527
|
+
<div class="memitem">
|
|
528
|
+
<div class="memproto">
|
|
529
|
+
<div class="memtemplate">
|
|
530
|
+
template<class Data > </div>
|
|
531
|
+
<table class="mlabels">
|
|
532
|
+
<tr>
|
|
533
|
+
<td class="mlabels-left">
|
|
534
|
+
<table class="memname">
|
|
535
|
+
<tr>
|
|
536
|
+
<td class="memname"><a class="el" href="classSVF_1_1FILOWorkList.html#abe04c596453280fe15cadde868ded798">DataSet</a> <a class="el" href="classSVF_1_1FILOWorkList.html">SVF::FILOWorkList</a>< Data >::data_set</td>
|
|
537
|
+
</tr>
|
|
538
|
+
</table>
|
|
539
|
+
</td>
|
|
540
|
+
<td class="mlabels-right">
|
|
541
|
+
<span class="mlabels"><span class="mlabel">private</span></span> </td>
|
|
542
|
+
</tr>
|
|
543
|
+
</table>
|
|
544
|
+
</div><div class="memdoc">
|
|
545
|
+
|
|
546
|
+
<p>store all data in the work list. </p>
|
|
547
|
+
|
|
548
|
+
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00311">311</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
451
549
|
|
|
452
550
|
</div>
|
|
453
551
|
</div>
|
|
@@ -702,7 +702,7 @@ Private Attributes</h2></td></tr>
|
|
|
702
702
|
<div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00019">MTAResultValidator.h:19</a></div></div>
|
|
703
703
|
<div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a2c6ce7aa04c399746d89230be0e0f1ce"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce">SVF::ForkJoinAnalysis::tct</a></div><div class="ttdeci">TCT * tct</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00562">MHP.h:562</a></div></div>
|
|
704
704
|
<div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_afcf119c89e93a24923dd0d97ddec7ee1"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#afcf119c89e93a24923dd0d97ddec7ee1">SVF::ForkJoinAnalysis::getCallee</a></div><div class="ttdeci">const PTACallGraph::FunctionSet & getCallee(const Instruction *inst, PTACallGraph::FunctionSet &callees)</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00515">MHP.h:515</a></div></div>
|
|
705
|
-
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#
|
|
705
|
+
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
|
|
706
706
|
<div class="ttc" id="classSVF_1_1PTACallGraph_html_a5f5a5ec7e707a21994d301cc07d32a5a"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html#a5f5a5ec7e707a21994d301cc07d32a5a">SVF::PTACallGraph::FunctionSet</a></div><div class="ttdeci">Set< const SVFFunction * > FunctionSet</div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00228">PTACallGraph.h:228</a></div></div>
|
|
707
707
|
<div class="ttc" id="classSVF_1_1CxtThread_html"><div class="ttname"><a href="classSVF_1_1CxtThread.html">SVF::CxtThread</a></div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00188">CxtStmt.h:188</a></div></div>
|
|
708
708
|
<div class="ttc" id="classSVF_1_1CxtThread_html_a066ba29a83edc1042139641ca088b038"><div class="ttname"><a href="classSVF_1_1CxtThread.html#a066ba29a83edc1042139641ca088b038">SVF::CxtThread::getThread</a></div><div class="ttdeci">const CallInst * getThread() const</div><div class="ttdoc">Return forksite. </div><div class="ttdef"><b>Definition:</b> <a href="CxtStmt_8h_source.html#l00210">CxtStmt.h:210</a></div></div>
|
|
@@ -765,7 +765,7 @@ Private Attributes</h2></td></tr>
|
|
|
765
765
|
<p class="definition">Definition at line <a class="el" href="MHP_8h_source.html#l00459">459</a> of file <a class="el" href="MHP_8h_source.html">MHP.h</a>.</p>
|
|
766
766
|
<div class="fragment"><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>  {</div><div class="line"><a name="l00461"></a><span class="lineno"> 461</span>  <a class="code" href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">cxtStmtToAliveFlagMap</a>.clear();</div><div class="line"><a name="l00462"></a><span class="lineno"> 462</span>  <a class="code" href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">cxtStmtList</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a29d9fec1ea7b8e5456342522eea403ad">clear</a>();</div><div class="line"><a name="l00463"></a><span class="lineno"> 463</span>  }</div><div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_aa31b3f3d51b963ccd475e66b77143dba"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#aa31b3f3d51b963ccd475e66b77143dba">SVF::ForkJoinAnalysis::cxtStmtToAliveFlagMap</a></div><div class="ttdeci">CxtStmtToAliveFlagMap cxtStmtToAliveFlagMap</div><div class="ttdoc">flags for context-sensitive statements </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00563">MHP.h:563</a></div></div>
|
|
767
767
|
<div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_acccf53d174cac3275da0d79c89a73916"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">SVF::ForkJoinAnalysis::cxtStmtList</a></div><div class="ttdeci">CxtStmtWorkList cxtStmtList</div><div class="ttdoc">context-sensitive statement worklist </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00564">MHP.h:564</a></div></div>
|
|
768
|
-
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a29d9fec1ea7b8e5456342522eea403ad"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a29d9fec1ea7b8e5456342522eea403ad">SVF::FIFOWorkList::clear</a></div><div class="ttdeci">void clear()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#
|
|
768
|
+
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a29d9fec1ea7b8e5456342522eea403ad"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a29d9fec1ea7b8e5456342522eea403ad">SVF::FIFOWorkList::clear</a></div><div class="ttdeci">void clear()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00212">WorkList.h:212</a></div></div>
|
|
769
769
|
</div><!-- fragment -->
|
|
770
770
|
</div>
|
|
771
771
|
</div>
|
|
@@ -903,9 +903,9 @@ Private Attributes</h2></td></tr>
|
|
|
903
903
|
<div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00019">MTAResultValidator.h:19</a></div></div>
|
|
904
904
|
<div class="ttc" id="classSVF_1_1TCT_html_a511c2ee4cfdc01a720135b2cd493fe3b"><div class="ttname"><a href="classSVF_1_1TCT.html#a511c2ee4cfdc01a720135b2cd493fe3b">SVF::TCT::getChildrenBegin</a></div><div class="ttdeci">ThreadCreateEdgeSet::const_iterator getChildrenBegin(const TCTNode *node) const</div><div class="ttdoc">Get children and parent nodes. </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00209">TCT.h:209</a></div></div>
|
|
905
905
|
<div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a2c6ce7aa04c399746d89230be0e0f1ce"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a2c6ce7aa04c399746d89230be0e0f1ce">SVF::ForkJoinAnalysis::tct</a></div><div class="ttdeci">TCT * tct</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00562">MHP.h:562</a></div></div>
|
|
906
|
-
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#
|
|
906
|
+
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
|
|
907
907
|
<div class="ttc" id="classSVF_1_1TCTNode_html"><div class="ttname"><a href="classSVF_1_1TCTNode.html">SVF::TCTNode</a></div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00087">TCT.h:87</a></div></div>
|
|
908
|
-
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#
|
|
908
|
+
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00165">WorkList.h:165</a></div></div>
|
|
909
909
|
<div class="ttc" id="classSVF_1_1TCT_html_a7b4ad0b052e1f8b6869733eef15f4e4d"><div class="ttname"><a href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT::getTCTNode</a></div><div class="ttdeci">TCTNode * getTCTNode(NodeID id) const</div><div class="ttdoc">Get TCT node. </div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00198">TCT.h:198</a></div></div>
|
|
910
910
|
<div class="ttc" id="classSVF_1_1TCT_html_af47837e30a80e8d6684f3ee6001afb7a"><div class="ttname"><a href="classSVF_1_1TCT.html#af47837e30a80e8d6684f3ee6001afb7a">SVF::TCT::getChildrenEnd</a></div><div class="ttdeci">ThreadCreateEdgeSet::const_iterator getChildrenEnd(const TCTNode *node) const</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00213">TCT.h:213</a></div></div>
|
|
911
911
|
<div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_ab55532eefbcef639ced957ad82fbd340"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#ab55532eefbcef639ced957ad82fbd340">SVF::ForkJoinAnalysis::isFullJoin</a></div><div class="ttdeci">bool isFullJoin(NodeID tid1, NodeID tid2)</div><div class="ttdoc">Whether t1 fully joins t2. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00351">MHP.h:351</a></div></div>
|
|
@@ -914,7 +914,7 @@ Private Attributes</h2></td></tr>
|
|
|
914
914
|
<div class="ttc" id="classSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00460">SparseBitVector.h:460</a></div></div>
|
|
915
915
|
<div class="ttc" id="classSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00745">SparseBitVector.h:745</a></div></div>
|
|
916
916
|
<div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_a819ef18524ee9104b920d1a465c61da1"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#a819ef18524ee9104b920d1a465c61da1">SVF::ForkJoinAnalysis::getDirectlyJoinedTid</a></div><div class="ttdeci">NodeBS & getDirectlyJoinedTid(const CxtStmt &cs)</div><div class="ttdoc">Get directly joined threadIDs based on a context-sensitive join site. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00326">MHP.h:326</a></div></div>
|
|
917
|
-
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#
|
|
917
|
+
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00200">WorkList.h:200</a></div></div>
|
|
918
918
|
</div><!-- fragment -->
|
|
919
919
|
</div>
|
|
920
920
|
</div>
|
|
@@ -1937,7 +1937,7 @@ Private Attributes</h2></td></tr>
|
|
|
1937
1937
|
|
|
1938
1938
|
<p class="definition">Definition at line <a class="el" href="MHP_8h_source.html#l00472">472</a> of file <a class="el" href="MHP_8h_source.html">MHP.h</a>.</p>
|
|
1939
1939
|
<div class="fragment"><div class="line"><a name="l00473"></a><span class="lineno"> 473</span>  {</div><div class="line"><a name="l00474"></a><span class="lineno"> 474</span>  CxtStmt ctp = <a class="code" href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">cxtStmtList</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</div><div class="line"><a name="l00475"></a><span class="lineno"> 475</span>  <span class="keywordflow">return</span> ctp;</div><div class="line"><a name="l00476"></a><span class="lineno"> 476</span>  }</div><div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_acccf53d174cac3275da0d79c89a73916"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">SVF::ForkJoinAnalysis::cxtStmtList</a></div><div class="ttdeci">CxtStmtWorkList cxtStmtList</div><div class="ttdoc">context-sensitive statement worklist </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00564">MHP.h:564</a></div></div>
|
|
1940
|
-
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#
|
|
1940
|
+
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00200">WorkList.h:200</a></div></div>
|
|
1941
1941
|
</div><!-- fragment -->
|
|
1942
1942
|
</div>
|
|
1943
1943
|
</div>
|
|
@@ -2016,7 +2016,7 @@ Private Attributes</h2></td></tr>
|
|
|
2016
2016
|
<p>Worklist operations. </p>
|
|
2017
2017
|
|
|
2018
2018
|
<p class="definition">Definition at line <a class="el" href="MHP_8h_source.html#l00468">468</a> of file <a class="el" href="MHP_8h_source.html">MHP.h</a>.</p>
|
|
2019
|
-
<div class="fragment"><div class="line"><a name="l00469"></a><span class="lineno"> 469</span>  {</div><div class="line"><a name="l00470"></a><span class="lineno"> 470</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">cxtStmtList</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(cs);</div><div class="line"><a name="l00471"></a><span class="lineno"> 471</span>  }</div><div class="ttc" id="classSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#
|
|
2019
|
+
<div class="fragment"><div class="line"><a name="l00469"></a><span class="lineno"> 469</span>  {</div><div class="line"><a name="l00470"></a><span class="lineno"> 470</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">cxtStmtList</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(cs);</div><div class="line"><a name="l00471"></a><span class="lineno"> 471</span>  }</div><div class="ttc" id="classSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00165">WorkList.h:165</a></div></div>
|
|
2020
2020
|
<div class="ttc" id="classSVF_1_1ForkJoinAnalysis_html_acccf53d174cac3275da0d79c89a73916"><div class="ttname"><a href="classSVF_1_1ForkJoinAnalysis.html#acccf53d174cac3275da0d79c89a73916">SVF::ForkJoinAnalysis::cxtStmtList</a></div><div class="ttdeci">CxtStmtWorkList cxtStmtList</div><div class="ttdoc">context-sensitive statement worklist </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8h_source.html#l00564">MHP.h:564</a></div></div>
|
|
2021
2021
|
</div><!-- fragment -->
|
|
2022
2022
|
</div>
|
|
@@ -739,7 +739,7 @@ template<class GraphType , class DPIm = DPItem> </div>
|
|
|
739
739
|
</div><div class="memdoc">
|
|
740
740
|
|
|
741
741
|
<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00168">168</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
|
|
742
|
-
<div class="fragment"><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  {</div><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#ab023f3b60ff61d6729d75f4d2942bd83">find</a>(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  }</div><div class="ttc" id="classSVF_1_1FIFOWorkList_html_ab023f3b60ff61d6729d75f4d2942bd83"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#ab023f3b60ff61d6729d75f4d2942bd83">SVF::FIFOWorkList::find</a></div><div class="ttdeci">bool find(const Data &data) const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#
|
|
742
|
+
<div class="fragment"><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>  {</div><div class="line"><a name="l00170"></a><span class="lineno"> 170</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#ab023f3b60ff61d6729d75f4d2942bd83">find</a>(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>  }</div><div class="ttc" id="classSVF_1_1FIFOWorkList_html_ab023f3b60ff61d6729d75f4d2942bd83"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#ab023f3b60ff61d6729d75f4d2942bd83">SVF::FIFOWorkList::find</a></div><div class="ttdeci">bool find(const Data &data) const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00157">WorkList.h:157</a></div></div>
|
|
743
743
|
<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a5032d3988dbce5a29274c55dc4dbe6bc"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00180">GraphReachSolver.h:180</a></div></div>
|
|
744
744
|
<div class="ttc" id="cJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
|
|
745
745
|
</div><!-- fragment -->
|
|
@@ -771,7 +771,7 @@ template<class GraphType , class DPIm = DPItem> </div>
|
|
|
771
771
|
</div><div class="memdoc">
|
|
772
772
|
|
|
773
773
|
<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00164">164</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
|
|
774
|
-
<div class="fragment"><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  {</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>();</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  }</div><div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#
|
|
774
|
+
<div class="fragment"><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  {</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>();</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span>  }</div><div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
|
|
775
775
|
<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a5032d3988dbce5a29274c55dc4dbe6bc"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00180">GraphReachSolver.h:180</a></div></div>
|
|
776
776
|
</div><!-- fragment -->
|
|
777
777
|
</div>
|
|
@@ -805,7 +805,7 @@ template<class GraphType , class DPIm = DPItem> </div>
|
|
|
805
805
|
|
|
806
806
|
<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00156">156</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
|
|
807
807
|
<div class="fragment"><div class="line"><a name="l00157"></a><span class="lineno"> 157</span>  {</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  }</div><div class="ttc" id="classSVF_1_1GraphReachSolver_html_a5032d3988dbce5a29274c55dc4dbe6bc"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00180">GraphReachSolver.h:180</a></div></div>
|
|
808
|
-
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#
|
|
808
|
+
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00200">WorkList.h:200</a></div></div>
|
|
809
809
|
</div><!-- fragment -->
|
|
810
810
|
</div>
|
|
811
811
|
</div>
|
|
@@ -837,7 +837,7 @@ template<class GraphType , class DPIm = DPItem> </div>
|
|
|
837
837
|
|
|
838
838
|
<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00160">160</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
|
|
839
839
|
<div class="fragment"><div class="line"><a name="l00161"></a><span class="lineno"> 161</span>  {</div><div class="line"><a name="l00162"></a><span class="lineno"> 162</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">push</a>(<a class="code" href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a>);</div><div class="line"><a name="l00163"></a><span class="lineno"> 163</span>  }</div><div class="ttc" id="classSVF_1_1GraphReachSolver_html_a5032d3988dbce5a29274c55dc4dbe6bc"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00180">GraphReachSolver.h:180</a></div></div>
|
|
840
|
-
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#
|
|
840
|
+
<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a0df409a67428e528321869d201f2a474"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a0df409a67428e528321869d201f2a474">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(const Data &data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00165">WorkList.h:165</a></div></div>
|
|
841
841
|
<div class="ttc" id="cJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
|
|
842
842
|
</div><!-- fragment -->
|
|
843
843
|
</div>
|
|
@@ -291,8 +291,7 @@ template<class Data > </div>
|
|
|
291
291
|
</div><div class="memdoc">
|
|
292
292
|
|
|
293
293
|
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00090">90</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
294
|
-
<div class="fragment"><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  {</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <span class="keywordflow">return</span>
|
|
295
|
-
<div class="ttc" id="classSVF_1_1List_html_a8d9ffc8497d53e0e1de230e0d8a50fec"><div class="ttname"><a href="classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec">SVF::List::nodeSet</a></div><div class="ttdeci">DataSet nodeSet</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00126">WorkList.h:126</a></div></div>
|
|
294
|
+
<div class="fragment"><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>  {</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec">nodeSet</a>.find(data) != <a class="code" href="classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec">nodeSet</a>.end();</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>  }</div><div class="ttc" id="classSVF_1_1List_html_a8d9ffc8497d53e0e1de230e0d8a50fec"><div class="ttname"><a href="classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec">SVF::List::nodeSet</a></div><div class="ttdeci">DataSet nodeSet</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00126">WorkList.h:126</a></div></div>
|
|
296
295
|
</div><!-- fragment -->
|
|
297
296
|
</div>
|
|
298
297
|
</div>
|
|
@@ -325,7 +324,7 @@ template<class Data > </div>
|
|
|
325
324
|
<p>the last node is popped. </p>
|
|
326
325
|
|
|
327
326
|
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00108">108</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
328
|
-
<div class="fragment"><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  {</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  assert(<a class="code" href="classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a">head</a> != <span class="keyword">nullptr</span> && <span class="stringliteral">"list is empty"</span>);</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  <a class="code" href="classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1">Node</a
|
|
327
|
+
<div class="fragment"><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  {</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  assert(<a class="code" href="classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a">head</a> != <span class="keyword">nullptr</span> && <span class="stringliteral">"list is empty"</span>);</div><div class="line"><a name="l00112"></a><span class="lineno"> 112</span>  <a class="code" href="classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1">Node</a> *head_node = <a class="code" href="classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a">head</a>;</div><div class="line"><a name="l00113"></a><span class="lineno"> 113</span> </div><div class="line"><a name="l00115"></a><span class="lineno"> 115</span>  <a class="code" href="classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a">head</a> = <a class="code" href="classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a">head</a>-><a class="code" href="classSVF_1_1List_1_1ListNode.html#a6fb535e702af0e4f54274050ee0c06c5">next</a>;</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a">head</a> == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  <a class="code" href="classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125">tail</a> = <span class="keyword">nullptr</span>; </div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span> </div><div class="line"><a name="l00119"></a><span class="lineno"> 119</span>  Data data = head_node-><a class="code" href="classSVF_1_1List_1_1ListNode.html#a4a9cb4ae17156d6d80d2357e06231e12">data</a>;</div><div class="line"><a name="l00120"></a><span class="lineno"> 120</span>  <a class="code" href="classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec">nodeSet</a>.erase(data);</div><div class="line"><a name="l00121"></a><span class="lineno"> 121</span>  <span class="keyword">delete</span> head_node;</div><div class="line"><a name="l00122"></a><span class="lineno"> 122</span>  <span class="keywordflow">return</span> data;</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  }</div><div class="ttc" id="classSVF_1_1List_html_a41d52072edb2b75ab15d67bf2663312a"><div class="ttname"><a href="classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a">SVF::List::head</a></div><div class="ttdeci">Node * head</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00127">WorkList.h:127</a></div></div>
|
|
329
328
|
<div class="ttc" id="classSVF_1_1List_html_a7900b03bc65b9f8d3e7e5bb1a80a4125"><div class="ttname"><a href="classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125">SVF::List::tail</a></div><div class="ttdeci">Node * tail</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00128">WorkList.h:128</a></div></div>
|
|
330
329
|
<div class="ttc" id="classSVF_1_1List_1_1ListNode_html_a6fb535e702af0e4f54274050ee0c06c5"><div class="ttname"><a href="classSVF_1_1List_1_1ListNode.html#a6fb535e702af0e4f54274050ee0c06c5">SVF::List::ListNode::next</a></div><div class="ttdeci">ListNode * next</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00070">WorkList.h:70</a></div></div>
|
|
331
330
|
<div class="ttc" id="classSVF_1_1List_html_a4eba65b40d347ea80e2427320eb9c5a1"><div class="ttname"><a href="classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1">SVF::List::Node</a></div><div class="ttdeci">ListNode Node</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00074">WorkList.h:74</a></div></div>
|
|
@@ -361,7 +360,7 @@ template<class Data > </div>
|
|
|
361
360
|
</div><div class="memdoc">
|
|
362
361
|
|
|
363
362
|
<p class="definition">Definition at line <a class="el" href="WorkList_8h_source.html#l00095">95</a> of file <a class="el" href="WorkList_8h_source.html">WorkList.h</a>.</p>
|
|
364
|
-
<div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  {</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec">nodeSet</a>.find(data) == <a class="code" href="classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec">nodeSet</a>.end())</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  {</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  <a class="code" href="classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1">Node</a
|
|
363
|
+
<div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>  {</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec">nodeSet</a>.find(data) == <a class="code" href="classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec">nodeSet</a>.end())</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>  {</div><div class="line"><a name="l00099"></a><span class="lineno"> 99</span>  <a class="code" href="classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1">Node</a> *new_node = <span class="keyword">new</span> <a class="code" href="classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1">Node</a>(data);</div><div class="line"><a name="l00100"></a><span class="lineno"> 100</span>  <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a">head</a> == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>  <a class="code" href="classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a">head</a> = new_node;<span class="comment">// the list is empty</span></div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  <span class="keywordflow">else</span></div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  <a class="code" href="classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125">tail</a>-><a class="code" href="classSVF_1_1List_1_1ListNode.html#a6fb535e702af0e4f54274050ee0c06c5">next</a> = new_node;</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span>  <a class="code" href="classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125">tail</a> = new_node;</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 class="ttc" id="classSVF_1_1List_html_a41d52072edb2b75ab15d67bf2663312a"><div class="ttname"><a href="classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a">SVF::List::head</a></div><div class="ttdeci">Node * head</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00127">WorkList.h:127</a></div></div>
|
|
365
364
|
<div class="ttc" id="classSVF_1_1List_html_a7900b03bc65b9f8d3e7e5bb1a80a4125"><div class="ttname"><a href="classSVF_1_1List.html#a7900b03bc65b9f8d3e7e5bb1a80a4125">SVF::List::tail</a></div><div class="ttdeci">Node * tail</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00128">WorkList.h:128</a></div></div>
|
|
366
365
|
<div class="ttc" id="classSVF_1_1List_1_1ListNode_html_a6fb535e702af0e4f54274050ee0c06c5"><div class="ttname"><a href="classSVF_1_1List_1_1ListNode.html#a6fb535e702af0e4f54274050ee0c06c5">SVF::List::ListNode::next</a></div><div class="ttdeci">ListNode * next</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00070">WorkList.h:70</a></div></div>
|
|
367
366
|
<div class="ttc" id="classSVF_1_1List_html_a4eba65b40d347ea80e2427320eb9c5a1"><div class="ttname"><a href="classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1">SVF::List::Node</a></div><div class="ttdeci">ListNode Node</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00074">WorkList.h:74</a></div></div>
|