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
|
@@ -90,6 +90,12 @@ Public Member Functions</h2></td></tr>
|
|
|
90
90
|
<tr class="memitem:a5f31275f74ff9eb5734481f36275c6d9"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ContextCond.html#a5f31275f74ff9eb5734481f36275c6d9">ContextCond</a> (const <a class="el" href="classSVF_1_1ContextCond.html">ContextCond</a> &cond)</td></tr>
|
|
91
91
|
<tr class="memdesc:a5f31275f74ff9eb5734481f36275c6d9"><td class="mdescLeft"> </td><td class="mdescRight">Copy Constructor. <a href="#a5f31275f74ff9eb5734481f36275c6d9">More...</a><br /></td></tr>
|
|
92
92
|
<tr class="separator:a5f31275f74ff9eb5734481f36275c6d9"><td class="memSeparator" colspan="2"> </td></tr>
|
|
93
|
+
<tr class="memitem:a9ddc22484df27618c5095445f33b4cf1"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ContextCond.html#a9ddc22484df27618c5095445f33b4cf1">ContextCond</a> (<a class="el" href="classSVF_1_1ContextCond.html">ContextCond</a> &&cond) noexcept</td></tr>
|
|
94
|
+
<tr class="memdesc:a9ddc22484df27618c5095445f33b4cf1"><td class="mdescLeft"> </td><td class="mdescRight"><a class="el" href="structMove.html">Move</a> Constructor. <a href="#a9ddc22484df27618c5095445f33b4cf1">More...</a><br /></td></tr>
|
|
95
|
+
<tr class="separator:a9ddc22484df27618c5095445f33b4cf1"><td class="memSeparator" colspan="2"> </td></tr>
|
|
96
|
+
<tr class="memitem:a87e2eff285fee018995be59ff0db4b52"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1ContextCond.html">ContextCond</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ContextCond.html#a87e2eff285fee018995be59ff0db4b52">operator=</a> (<a class="el" href="classSVF_1_1ContextCond.html">ContextCond</a> &&cond) noexcept</td></tr>
|
|
97
|
+
<tr class="memdesc:a87e2eff285fee018995be59ff0db4b52"><td class="mdescLeft"> </td><td class="mdescRight"><a class="el" href="structMove.html">Move</a> operator=. <a href="#a87e2eff285fee018995be59ff0db4b52">More...</a><br /></td></tr>
|
|
98
|
+
<tr class="separator:a87e2eff285fee018995be59ff0db4b52"><td class="memSeparator" colspan="2"> </td></tr>
|
|
93
99
|
<tr class="memitem:acacf53982ab08b9f0fcfbd1e941b3365"><td class="memItemLeft" align="right" valign="top">virtual </td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ContextCond.html#acacf53982ab08b9f0fcfbd1e941b3365">~ContextCond</a> ()</td></tr>
|
|
94
100
|
<tr class="memdesc:acacf53982ab08b9f0fcfbd1e941b3365"><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <a href="#acacf53982ab08b9f0fcfbd1e941b3365">More...</a><br /></td></tr>
|
|
95
101
|
<tr class="separator:acacf53982ab08b9f0fcfbd1e941b3365"><td class="memSeparator" colspan="2"> </td></tr>
|
|
@@ -176,7 +182,7 @@ Static Protected Attributes</h2></td></tr>
|
|
|
176
182
|
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
|
|
177
183
|
<div class="textblock"><p>Context Condition </p>
|
|
178
184
|
|
|
179
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
185
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00207">207</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
180
186
|
</div><h2 class="groupheader">Member Typedef Documentation</h2>
|
|
181
187
|
<a id="a101bc917679a9d8ee7badb3c9e8c12e3"></a>
|
|
182
188
|
<h2 class="memtitle"><span class="permalink"><a href="#a101bc917679a9d8ee7badb3c9e8c12e3">◆ </a></span>const_iterator</h2>
|
|
@@ -190,13 +196,13 @@ Static Protected Attributes</h2></td></tr>
|
|
|
190
196
|
</table>
|
|
191
197
|
</div><div class="memdoc">
|
|
192
198
|
|
|
193
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
199
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00210">210</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
194
200
|
|
|
195
201
|
</div>
|
|
196
202
|
</div>
|
|
197
203
|
<h2 class="groupheader">Constructor & Destructor Documentation</h2>
|
|
198
204
|
<a id="a9b81bf11679645d32d50b91bdb6d2dc1"></a>
|
|
199
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a9b81bf11679645d32d50b91bdb6d2dc1">◆ </a></span>ContextCond() <span class="overload">[1/
|
|
205
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a9b81bf11679645d32d50b91bdb6d2dc1">◆ </a></span>ContextCond() <span class="overload">[1/3]</span></h2>
|
|
200
206
|
|
|
201
207
|
<div class="memitem">
|
|
202
208
|
<div class="memproto">
|
|
@@ -220,13 +226,13 @@ Static Protected Attributes</h2></td></tr>
|
|
|
220
226
|
|
|
221
227
|
<p>Constructor. </p>
|
|
222
228
|
|
|
223
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
224
|
-
<div class="fragment"><div class="line"><a name="
|
|
229
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00212">212</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
230
|
+
<div class="fragment"><div class="line"><a name="l00212"></a><span class="lineno"> 212</span>  :<a class="code" href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">concreteCxt</a>(<span class="keyword">true</span>)</div><div class="line"><a name="l00213"></a><span class="lineno"> 213</span>  {</div><div class="line"><a name="l00214"></a><span class="lineno"> 214</span>  }</div><div class="ttc" id="classSVF_1_1ContextCond_html_a453722fc2b9b4ae4be0dfc1f020390eb"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">SVF::ContextCond::concreteCxt</a></div><div class="ttdeci">bool concreteCxt</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00377">DPItem.h:377</a></div></div>
|
|
225
231
|
</div><!-- fragment -->
|
|
226
232
|
</div>
|
|
227
233
|
</div>
|
|
228
234
|
<a id="a5f31275f74ff9eb5734481f36275c6d9"></a>
|
|
229
|
-
<h2 class="memtitle"><span class="permalink"><a href="#a5f31275f74ff9eb5734481f36275c6d9">◆ </a></span>ContextCond() <span class="overload">[2/
|
|
235
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a5f31275f74ff9eb5734481f36275c6d9">◆ </a></span>ContextCond() <span class="overload">[2/3]</span></h2>
|
|
230
236
|
|
|
231
237
|
<div class="memitem">
|
|
232
238
|
<div class="memproto">
|
|
@@ -251,9 +257,41 @@ Static Protected Attributes</h2></td></tr>
|
|
|
251
257
|
|
|
252
258
|
<p>Copy Constructor. </p>
|
|
253
259
|
|
|
254
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
255
|
-
<div class="fragment"><div class="line"><a name="
|
|
256
|
-
<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#
|
|
260
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00216">216</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
261
|
+
<div class="fragment"><div class="line"><a name="l00216"></a><span class="lineno"> 216</span>  : <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>(cond.getContexts()), <a class="code" href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">concreteCxt</a>(cond.isConcreteCxt())</div><div class="line"><a name="l00217"></a><span class="lineno"> 217</span>  {</div><div class="line"><a name="l00218"></a><span class="lineno"> 218</span>  }</div><div class="ttc" id="classSVF_1_1ContextCond_html_a453722fc2b9b4ae4be0dfc1f020390eb"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">SVF::ContextCond::concreteCxt</a></div><div class="ttdeci">bool concreteCxt</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00377">DPItem.h:377</a></div></div>
|
|
262
|
+
<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>
|
|
263
|
+
</div><!-- fragment -->
|
|
264
|
+
</div>
|
|
265
|
+
</div>
|
|
266
|
+
<a id="a9ddc22484df27618c5095445f33b4cf1"></a>
|
|
267
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a9ddc22484df27618c5095445f33b4cf1">◆ </a></span>ContextCond() <span class="overload">[3/3]</span></h2>
|
|
268
|
+
|
|
269
|
+
<div class="memitem">
|
|
270
|
+
<div class="memproto">
|
|
271
|
+
<table class="mlabels">
|
|
272
|
+
<tr>
|
|
273
|
+
<td class="mlabels-left">
|
|
274
|
+
<table class="memname">
|
|
275
|
+
<tr>
|
|
276
|
+
<td class="memname">SVF::ContextCond::ContextCond </td>
|
|
277
|
+
<td>(</td>
|
|
278
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1ContextCond.html">ContextCond</a> && </td>
|
|
279
|
+
<td class="paramname"><em>cond</em></td><td>)</td>
|
|
280
|
+
<td></td>
|
|
281
|
+
</tr>
|
|
282
|
+
</table>
|
|
283
|
+
</td>
|
|
284
|
+
<td class="mlabels-right">
|
|
285
|
+
<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">noexcept</span></span> </td>
|
|
286
|
+
</tr>
|
|
287
|
+
</table>
|
|
288
|
+
</div><div class="memdoc">
|
|
289
|
+
|
|
290
|
+
<p><a class="el" href="structMove.html">Move</a> Constructor. </p>
|
|
291
|
+
|
|
292
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00220">220</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
293
|
+
<div class="fragment"><div class="line"><a name="l00220"></a><span class="lineno"> 220</span> : <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>(std::move(cond.context)), <a class="code" href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">concreteCxt</a>(cond.concreteCxt) {}</div><div class="ttc" id="classSVF_1_1ContextCond_html_a453722fc2b9b4ae4be0dfc1f020390eb"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">SVF::ContextCond::concreteCxt</a></div><div class="ttdeci">bool concreteCxt</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00377">DPItem.h:377</a></div></div>
|
|
294
|
+
<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>
|
|
257
295
|
</div><!-- fragment -->
|
|
258
296
|
</div>
|
|
259
297
|
</div>
|
|
@@ -282,8 +320,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
282
320
|
|
|
283
321
|
<p>Destructor. </p>
|
|
284
322
|
|
|
285
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
286
|
-
<div class="fragment"><div class="line"><a name="
|
|
323
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00232">232</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
324
|
+
<div class="fragment"><div class="line"><a name="l00233"></a><span class="lineno"> 233</span>  {</div><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>  }</div></div><!-- fragment -->
|
|
287
325
|
</div>
|
|
288
326
|
</div>
|
|
289
327
|
<h2 class="groupheader">Member Function Documentation</h2>
|
|
@@ -313,8 +351,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
313
351
|
|
|
314
352
|
<p>Begin iterators. </p>
|
|
315
353
|
|
|
316
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
317
|
-
<div class="fragment"><div class="line"><a name="
|
|
354
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00351">351</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
355
|
+
<div class="fragment"><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  {</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.begin();</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  }</div><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>
|
|
318
356
|
</div><!-- fragment -->
|
|
319
357
|
</div>
|
|
320
358
|
</div>
|
|
@@ -344,8 +382,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
344
382
|
|
|
345
383
|
<p>Whether contains callstring cxt. </p>
|
|
346
384
|
|
|
347
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
348
|
-
<div class="fragment"><div class="line"><a name="
|
|
385
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00256">256</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
386
|
+
<div class="fragment"><div class="line"><a name="l00257"></a><span class="lineno"> 257</span>  {</div><div class="line"><a name="l00258"></a><span class="lineno"> 258</span>  <span class="keywordflow">return</span> std::find(<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.begin(),<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.end(),cxt) != <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.end();</div><div class="line"><a name="l00259"></a><span class="lineno"> 259</span>  }</div><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>
|
|
349
387
|
</div><!-- fragment -->
|
|
350
388
|
</div>
|
|
351
389
|
</div>
|
|
@@ -374,8 +412,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
374
412
|
|
|
375
413
|
<p>Get context size. </p>
|
|
376
414
|
|
|
377
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
378
|
-
<div class="fragment"><div class="line"><a name="
|
|
415
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00261">261</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
416
|
+
<div class="fragment"><div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  {</div><div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.size();</div><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  }</div><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>
|
|
379
417
|
</div><!-- fragment -->
|
|
380
418
|
</div>
|
|
381
419
|
</div>
|
|
@@ -405,8 +443,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
405
443
|
|
|
406
444
|
<p>End iterators. </p>
|
|
407
445
|
|
|
408
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
409
|
-
<div class="fragment"><div class="line"><a name="
|
|
446
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00356">356</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
447
|
+
<div class="fragment"><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  {</div><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.end();</div><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  }</div><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>
|
|
410
448
|
</div><!-- fragment -->
|
|
411
449
|
</div>
|
|
412
450
|
</div>
|
|
@@ -435,8 +473,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
435
473
|
|
|
436
474
|
<p>Get context. </p>
|
|
437
475
|
|
|
438
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
439
|
-
<div class="fragment"><div class="line"><a name="
|
|
476
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00236">236</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
477
|
+
<div class="fragment"><div class="line"><a name="l00237"></a><span class="lineno"> 237</span>  {</div><div class="line"><a name="l00238"></a><span class="lineno"> 238</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>;</div><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>  }</div><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>
|
|
440
478
|
</div><!-- fragment -->
|
|
441
479
|
</div>
|
|
442
480
|
</div>
|
|
@@ -465,8 +503,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
465
503
|
|
|
466
504
|
<p>Get context. </p>
|
|
467
505
|
|
|
468
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
469
|
-
<div class="fragment"><div class="line"><a name="
|
|
506
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00241">241</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
507
|
+
<div class="fragment"><div class="line"><a name="l00242"></a><span class="lineno"> 242</span>  {</div><div class="line"><a name="l00243"></a><span class="lineno"> 243</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>;</div><div class="line"><a name="l00244"></a><span class="lineno"> 244</span>  }</div><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>
|
|
470
508
|
</div><!-- fragment -->
|
|
471
509
|
</div>
|
|
472
510
|
</div>
|
|
@@ -493,8 +531,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
493
531
|
</table>
|
|
494
532
|
</div><div class="memdoc">
|
|
495
533
|
|
|
496
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
497
|
-
<div class="fragment"><div class="line"><a name="
|
|
534
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00275">275</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
535
|
+
<div class="fragment"><div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  {</div><div class="line"><a name="l00277"></a><span class="lineno"> 277</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3">maximumPathLen</a>;</div><div class="line"><a name="l00278"></a><span class="lineno"> 278</span>  }</div><div class="ttc" id="classSVF_1_1ContextCond_html_aa61b4de81e440448daaf0c5be53aebf3"><div class="ttname"><a href="classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3">SVF::ContextCond::maximumPathLen</a></div><div class="ttdeci">static u32_t maximumPathLen</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00376">DPItem.h:376</a></div></div>
|
|
498
536
|
</div><!-- fragment -->
|
|
499
537
|
</div>
|
|
500
538
|
</div>
|
|
@@ -523,8 +561,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
523
561
|
|
|
524
562
|
<p>Whether it is an concrete context. </p>
|
|
525
563
|
|
|
526
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
527
|
-
<div class="fragment"><div class="line"><a name="
|
|
564
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00246">246</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
565
|
+
<div class="fragment"><div class="line"><a name="l00247"></a><span class="lineno"> 247</span>  {</div><div class="line"><a name="l00248"></a><span class="lineno"> 248</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">concreteCxt</a>;</div><div class="line"><a name="l00249"></a><span class="lineno"> 249</span>  }</div><div class="ttc" id="classSVF_1_1ContextCond_html_a453722fc2b9b4ae4be0dfc1f020390eb"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">SVF::ContextCond::concreteCxt</a></div><div class="ttdeci">bool concreteCxt</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00377">DPItem.h:377</a></div></div>
|
|
528
566
|
</div><!-- fragment -->
|
|
529
567
|
</div>
|
|
530
568
|
</div>
|
|
@@ -556,8 +594,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
556
594
|
<p>if context is empty, then it is the unbalanced parentheses match</p>
|
|
557
595
|
<p>otherwise, we perform balanced parentheses matching </p>
|
|
558
596
|
|
|
559
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
560
|
-
<div class="fragment"><div class="line"><a name="
|
|
597
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00304">304</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
598
|
+
<div class="fragment"><div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  {</div><div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.empty())</div><div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.back() == ctx)</div><div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  {</div><div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.pop_back();</div><div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  }</div><div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  }</div><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>
|
|
561
599
|
</div><!-- fragment -->
|
|
562
600
|
</div>
|
|
563
601
|
</div>
|
|
@@ -587,8 +625,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
587
625
|
|
|
588
626
|
<p>Overloading operator!=. </p>
|
|
589
627
|
|
|
590
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
591
|
-
<div class="fragment"><div class="line"><a name="
|
|
628
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00346">346</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
629
|
+
<div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  {</div><div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  <span class="keywordflow">return</span> !(*<span class="keyword">this</span>==rhs);</div><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  }</div></div><!-- fragment -->
|
|
592
630
|
</div>
|
|
593
631
|
</div>
|
|
594
632
|
<a id="a53e0a8ac864e15edf0de827bdbb4eb01"></a>
|
|
@@ -616,13 +654,45 @@ Static Protected Attributes</h2></td></tr>
|
|
|
616
654
|
</div><div class="memdoc">
|
|
617
655
|
<p>Enable compare operator to avoid duplicated item insertion in map or set to be noted that two vectors can also overload operator() </p>
|
|
618
656
|
|
|
619
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
620
|
-
<div class="fragment"><div class="line"><a name="
|
|
657
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00320">320</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
658
|
+
<div class="fragment"><div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  {</div><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a> < rhs.context;</div><div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  }</div><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>
|
|
659
|
+
</div><!-- fragment -->
|
|
660
|
+
</div>
|
|
661
|
+
</div>
|
|
662
|
+
<a id="a87e2eff285fee018995be59ff0db4b52"></a>
|
|
663
|
+
<h2 class="memtitle"><span class="permalink"><a href="#a87e2eff285fee018995be59ff0db4b52">◆ </a></span>operator=() <span class="overload">[1/2]</span></h2>
|
|
664
|
+
|
|
665
|
+
<div class="memitem">
|
|
666
|
+
<div class="memproto">
|
|
667
|
+
<table class="mlabels">
|
|
668
|
+
<tr>
|
|
669
|
+
<td class="mlabels-left">
|
|
670
|
+
<table class="memname">
|
|
671
|
+
<tr>
|
|
672
|
+
<td class="memname"><a class="el" href="classSVF_1_1ContextCond.html">ContextCond</a>& SVF::ContextCond::operator= </td>
|
|
673
|
+
<td>(</td>
|
|
674
|
+
<td class="paramtype"><a class="el" href="classSVF_1_1ContextCond.html">ContextCond</a> && </td>
|
|
675
|
+
<td class="paramname"><em>cond</em></td><td>)</td>
|
|
676
|
+
<td></td>
|
|
677
|
+
</tr>
|
|
678
|
+
</table>
|
|
679
|
+
</td>
|
|
680
|
+
<td class="mlabels-right">
|
|
681
|
+
<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">noexcept</span></span> </td>
|
|
682
|
+
</tr>
|
|
683
|
+
</table>
|
|
684
|
+
</div><div class="memdoc">
|
|
685
|
+
|
|
686
|
+
<p><a class="el" href="structMove.html">Move</a> operator=. </p>
|
|
687
|
+
|
|
688
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00222">222</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
689
|
+
<div class="fragment"><div class="line"><a name="l00223"></a><span class="lineno"> 223</span>  {</div><div class="line"><a name="l00224"></a><span class="lineno"> 224</span>  <span class="keywordflow">if</span>(<span class="keyword">this</span>!=&cond)</div><div class="line"><a name="l00225"></a><span class="lineno"> 225</span>  {</div><div class="line"><a name="l00226"></a><span class="lineno"> 226</span>  <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a> = std::move(cond.context);</div><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>  <a class="code" href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">concreteCxt</a> = cond.concreteCxt;</div><div class="line"><a name="l00228"></a><span class="lineno"> 228</span>  }</div><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>  <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00230"></a><span class="lineno"> 230</span>  }</div><div class="ttc" id="classSVF_1_1ContextCond_html_a453722fc2b9b4ae4be0dfc1f020390eb"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">SVF::ContextCond::concreteCxt</a></div><div class="ttdeci">bool concreteCxt</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00377">DPItem.h:377</a></div></div>
|
|
690
|
+
<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>
|
|
621
691
|
</div><!-- fragment -->
|
|
622
692
|
</div>
|
|
623
693
|
</div>
|
|
624
694
|
<a id="ae4d1bb47d0c8ef4d8b31ffaeb83edf04"></a>
|
|
625
|
-
<h2 class="memtitle"><span class="permalink"><a href="#ae4d1bb47d0c8ef4d8b31ffaeb83edf04">◆ </a></span>operator=()</h2>
|
|
695
|
+
<h2 class="memtitle"><span class="permalink"><a href="#ae4d1bb47d0c8ef4d8b31ffaeb83edf04">◆ </a></span>operator=() <span class="overload">[2/2]</span></h2>
|
|
626
696
|
|
|
627
697
|
<div class="memitem">
|
|
628
698
|
<div class="memproto">
|
|
@@ -647,9 +717,9 @@ Static Protected Attributes</h2></td></tr>
|
|
|
647
717
|
|
|
648
718
|
<p>Overloading operator=. </p>
|
|
649
719
|
|
|
650
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
651
|
-
<div class="fragment"><div class="line"><a name="
|
|
652
|
-
<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#
|
|
720
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00331">331</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
721
|
+
<div class="fragment"><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  {</div><div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  <span class="keywordflow">if</span>(*<span class="keyword">this</span>!=rhs)</div><div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  {</div><div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a> = rhs.getContexts();</div><div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  <a class="code" href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">concreteCxt</a> = rhs.isConcreteCxt();</div><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  }</div><div class="line"><a name="l00338"></a><span class="lineno"> 338</span>  <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  }</div><div class="ttc" id="classSVF_1_1ContextCond_html_a453722fc2b9b4ae4be0dfc1f020390eb"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">SVF::ContextCond::concreteCxt</a></div><div class="ttdeci">bool concreteCxt</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00377">DPItem.h:377</a></div></div>
|
|
722
|
+
<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>
|
|
653
723
|
</div><!-- fragment -->
|
|
654
724
|
</div>
|
|
655
725
|
</div>
|
|
@@ -679,8 +749,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
679
749
|
|
|
680
750
|
<p>Overloading operator==. </p>
|
|
681
751
|
|
|
682
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
683
|
-
<div class="fragment"><div class="line"><a name="
|
|
752
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00341">341</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
753
|
+
<div class="fragment"><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  {</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a> == rhs.getContexts());</div><div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  }</div><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>
|
|
684
754
|
</div><!-- fragment -->
|
|
685
755
|
</div>
|
|
686
756
|
</div>
|
|
@@ -710,10 +780,10 @@ Static Protected Attributes</h2></td></tr>
|
|
|
710
780
|
|
|
711
781
|
<p>Overloading operator[]. </p>
|
|
712
782
|
|
|
713
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
714
|
-
<div class="fragment"><div class="line"><a name="
|
|
783
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00325">325</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
784
|
+
<div class="fragment"><div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  {</div><div class="line"><a name="l00327"></a><span class="lineno"> 327</span>  <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a> < <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.size());</div><div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>[<a class="code" href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a>];</div><div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  }</div><div class="ttc" id="cJSON_8h_html_a750b5d744c39a06bfb13e6eb010e35d0"><div class="ttname"><a href="cJSON_8h.html#a750b5d744c39a06bfb13e6eb010e35d0">index</a></div><div class="ttdeci">int index</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00170">cJSON.h:170</a></div></div>
|
|
715
785
|
<div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
|
|
716
|
-
<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#
|
|
786
|
+
<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>
|
|
717
787
|
</div><!-- fragment -->
|
|
718
788
|
</div>
|
|
719
789
|
</div>
|
|
@@ -744,11 +814,11 @@ Static Protected Attributes</h2></td></tr>
|
|
|
744
814
|
<p>Push context. </p>
|
|
745
815
|
<p>handle out of context limit case </p>
|
|
746
816
|
|
|
747
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
748
|
-
<div class="fragment"><div class="line"><a name="
|
|
749
|
-
<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#
|
|
750
|
-
<div class="ttc" id="classSVF_1_1ContextCond_html_ac80892cbef7a5d2c949e5f07682bc885"><div class="ttname"><a href="classSVF_1_1ContextCond.html#ac80892cbef7a5d2c949e5f07682bc885">SVF::ContextCond::setNonConcreteCxt</a></div><div class="ttdeci">void setNonConcreteCxt()</div><div class="ttdoc">Whether it is an concrete context. </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#
|
|
751
|
-
<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#
|
|
817
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00280">280</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
818
|
+
<div class="fragment"><div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  {</div><div class="line"><a name="l00282"></a><span class="lineno"> 282</span> </div><div class="line"><a name="l00283"></a><span class="lineno"> 283</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.size() < <a class="code" href="classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd">maximumCxtLen</a>)</div><div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  {</div><div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.push_back(ctx);</div><div class="line"><a name="l00286"></a><span class="lineno"> 286</span> </div><div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.size() > <a class="code" href="classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d">maximumCxt</a>)</div><div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  <a class="code" href="classSVF_1_1ContextCond.html#a151b9f21eedd4fdd8f46b78bb456582d">maximumCxt</a> = <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.size();</div><div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  }</div><div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  <span class="keywordflow">else</span> </div><div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  {</div><div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  <span class="keywordflow">if</span>(!<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.empty())</div><div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  {</div><div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  <a class="code" href="classSVF_1_1ContextCond.html#ac80892cbef7a5d2c949e5f07682bc885">setNonConcreteCxt</a>();</div><div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.erase(<a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.begin());</div><div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.push_back(ctx);</div><div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  }</div><div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  }</div><div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  }</div><div class="ttc" id="classSVF_1_1ContextCond_html_a3280db7a2b93612fb693a7c1117acfdd"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd">SVF::ContextCond::maximumCxtLen</a></div><div class="ttdeci">static u32_t maximumCxtLen</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00375">DPItem.h:375</a></div></div>
|
|
819
|
+
<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>
|
|
820
|
+
<div class="ttc" id="classSVF_1_1ContextCond_html_ac80892cbef7a5d2c949e5f07682bc885"><div class="ttname"><a href="classSVF_1_1ContextCond.html#ac80892cbef7a5d2c949e5f07682bc885">SVF::ContextCond::setNonConcreteCxt</a></div><div class="ttdeci">void setNonConcreteCxt()</div><div class="ttdoc">Whether it is an concrete context. </div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00251">DPItem.h:251</a></div></div>
|
|
821
|
+
<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>
|
|
752
822
|
</div><!-- fragment -->
|
|
753
823
|
</div>
|
|
754
824
|
</div>
|
|
@@ -778,8 +848,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
778
848
|
|
|
779
849
|
<p>set max context limit </p>
|
|
780
850
|
|
|
781
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
782
|
-
<div class="fragment"><div class="line"><a name="
|
|
851
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00266">266</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
852
|
+
<div class="fragment"><div class="line"><a name="l00267"></a><span class="lineno"> 267</span>  {</div><div class="line"><a name="l00268"></a><span class="lineno"> 268</span>  <a class="code" href="classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd">maximumCxtLen</a> = max;</div><div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  }</div><div class="ttc" id="classSVF_1_1ContextCond_html_a3280db7a2b93612fb693a7c1117acfdd"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a3280db7a2b93612fb693a7c1117acfdd">SVF::ContextCond::maximumCxtLen</a></div><div class="ttdeci">static u32_t maximumCxtLen</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00375">DPItem.h:375</a></div></div>
|
|
783
853
|
</div><!-- fragment -->
|
|
784
854
|
</div>
|
|
785
855
|
</div>
|
|
@@ -809,8 +879,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
809
879
|
|
|
810
880
|
<p>set max path limit </p>
|
|
811
881
|
|
|
812
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
813
|
-
<div class="fragment"><div class="line"><a name="
|
|
882
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00271">271</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
883
|
+
<div class="fragment"><div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  {</div><div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  <a class="code" href="classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3">maximumPathLen</a> = max;</div><div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  }</div><div class="ttc" id="classSVF_1_1ContextCond_html_aa61b4de81e440448daaf0c5be53aebf3"><div class="ttname"><a href="classSVF_1_1ContextCond.html#aa61b4de81e440448daaf0c5be53aebf3">SVF::ContextCond::maximumPathLen</a></div><div class="ttdeci">static u32_t maximumPathLen</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00376">DPItem.h:376</a></div></div>
|
|
814
884
|
</div><!-- fragment -->
|
|
815
885
|
</div>
|
|
816
886
|
</div>
|
|
@@ -839,8 +909,8 @@ Static Protected Attributes</h2></td></tr>
|
|
|
839
909
|
|
|
840
910
|
<p>Whether it is an concrete context. </p>
|
|
841
911
|
|
|
842
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
843
|
-
<div class="fragment"><div class="line"><a name="
|
|
912
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00251">251</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
913
|
+
<div class="fragment"><div class="line"><a name="l00252"></a><span class="lineno"> 252</span>  {</div><div class="line"><a name="l00253"></a><span class="lineno"> 253</span>  <a class="code" href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">concreteCxt</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00254"></a><span class="lineno"> 254</span>  }</div><div class="ttc" id="classSVF_1_1ContextCond_html_a453722fc2b9b4ae4be0dfc1f020390eb"><div class="ttname"><a href="classSVF_1_1ContextCond.html#a453722fc2b9b4ae4be0dfc1f020390eb">SVF::ContextCond::concreteCxt</a></div><div class="ttdeci">bool concreteCxt</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00377">DPItem.h:377</a></div></div>
|
|
844
914
|
</div><!-- fragment -->
|
|
845
915
|
</div>
|
|
846
916
|
</div>
|
|
@@ -869,9 +939,9 @@ Static Protected Attributes</h2></td></tr>
|
|
|
869
939
|
|
|
870
940
|
<p>Dump context condition. </p>
|
|
871
941
|
|
|
872
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
873
|
-
<div class="fragment"><div class="line"><a name="
|
|
874
|
-
<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#
|
|
942
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00361">361</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
943
|
+
<div class="fragment"><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  {</div><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  rawstr << <span class="stringliteral">"[:"</span>;</div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  <span class="keywordflow">for</span>(CallStrCxt::const_iterator it = <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.begin(), eit = <a class="code" href="classSVF_1_1ContextCond.html#ac431eae00244cc7792b6e7e00634d535">context</a>.end(); it!=eit; ++it)</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  {</div><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  rawstr << *it << <span class="stringliteral">" "</span>;</div><div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  }</div><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  rawstr << <span class="stringliteral">" ]"</span>;</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  }</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00083">BasicTypes.h:83</a></div></div>
|
|
944
|
+
<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>
|
|
875
945
|
<div class="ttc" id="cJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
|
|
876
946
|
</div><!-- fragment -->
|
|
877
947
|
</div>
|
|
@@ -897,7 +967,7 @@ Static Protected Attributes</h2></td></tr>
|
|
|
897
967
|
</table>
|
|
898
968
|
</div><div class="memdoc">
|
|
899
969
|
|
|
900
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
970
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00377">377</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
901
971
|
|
|
902
972
|
</div>
|
|
903
973
|
</div>
|
|
@@ -921,7 +991,7 @@ Static Protected Attributes</h2></td></tr>
|
|
|
921
991
|
</table>
|
|
922
992
|
</div><div class="memdoc">
|
|
923
993
|
|
|
924
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
994
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00374">374</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
925
995
|
|
|
926
996
|
</div>
|
|
927
997
|
</div>
|
|
@@ -945,7 +1015,7 @@ Static Protected Attributes</h2></td></tr>
|
|
|
945
1015
|
</table>
|
|
946
1016
|
</div><div class="memdoc">
|
|
947
1017
|
|
|
948
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
1018
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00379">379</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
949
1019
|
|
|
950
1020
|
</div>
|
|
951
1021
|
</div>
|
|
@@ -969,7 +1039,7 @@ Static Protected Attributes</h2></td></tr>
|
|
|
969
1039
|
</table>
|
|
970
1040
|
</div><div class="memdoc">
|
|
971
1041
|
|
|
972
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
1042
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00375">375</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
973
1043
|
|
|
974
1044
|
</div>
|
|
975
1045
|
</div>
|
|
@@ -993,7 +1063,7 @@ Static Protected Attributes</h2></td></tr>
|
|
|
993
1063
|
</table>
|
|
994
1064
|
</div><div class="memdoc">
|
|
995
1065
|
|
|
996
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
1066
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00380">380</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
997
1067
|
|
|
998
1068
|
</div>
|
|
999
1069
|
</div>
|
|
@@ -1017,7 +1087,7 @@ Static Protected Attributes</h2></td></tr>
|
|
|
1017
1087
|
</table>
|
|
1018
1088
|
</div><div class="memdoc">
|
|
1019
1089
|
|
|
1020
|
-
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#
|
|
1090
|
+
<p class="definition">Definition at line <a class="el" href="DPItem_8h_source.html#l00376">376</a> of file <a class="el" href="DPItem_8h_source.html">DPItem.h</a>.</p>
|
|
1021
1091
|
|
|
1022
1092
|
</div>
|
|
1023
1093
|
</div>
|