npm - svf-tools - Versions diffs - 1.0.558 → 1.0.561 - Mend

svf-tools 1.0.558 → 1.0.561

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.

Files changed (327) hide show

package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html CHANGED Viewed

@@ -131,7 +131,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="MHP_8cpp_source.html#l00025">25</a> of file <a class="el" href="MHP_8cpp_source.html">MHP.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MHP_8cpp_source.html#l00047">47</a> of file <a class="el" href="MHP_8cpp_source.html">MHP.cpp</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="ab00f7f49e626f55184101acbe28cf3b1"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ab00f7f49e626f55184101acbe28cf3b1">&#9670;&nbsp;</a></span>MHPValidator()</h2>
@@ -157,8 +157,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="MHP_8cpp_source.html#l00028">28</a> of file <a class="el" href="MHP_8cpp_source.html">MHP.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;                           :<a class="code" href="classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d">mhp</a>(mhp)</div><div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;    {</div><div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MHPValidator_html_ad6e417ad7f0b1b399822eaa62d83341d"><div class="ttname"><a href="classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d">SVF::MHPValidator::mhp</a></div><div class="ttdeci">MHP * mhp</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00036">MHP.cpp:36</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MHP_8cpp_source.html#l00050">50</a> of file <a class="el" href="MHP_8cpp_source.html">MHP.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;                           :<a class="code" href="classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d">mhp</a>(mhp)</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    {</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MHPValidator_html_ad6e417ad7f0b1b399822eaa62d83341d"><div class="ttname"><a href="classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d">SVF::MHPValidator::mhp</a></div><div class="ttdeci">MHP * mhp</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00058">MHP.cpp:58</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -199,9 +199,9 @@ Additional Inherited Members</h2></td></tr>
 <p>Reimplemented from <a class="el" href="classSVF_1_1RaceResultValidator.html#aff51b56e5f7173dd8ac053e5d9b1e97d">SVF::RaceResultValidator</a>.</p>
-<p class="definition">Definition at line <a class="el" href="MHP_8cpp_source.html#l00031">31</a> of file <a class="el" href="MHP_8cpp_source.html">MHP.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;    {</div><div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d">mhp</a>-&gt;<a class="code" href="classSVF_1_1MHP.html#a9989f2d200cec6c387d63f452b8eac6b">mayHappenInParallel</a>(I1, I2);</div><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MHPValidator_html_ad6e417ad7f0b1b399822eaa62d83341d"><div class="ttname"><a href="classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d">SVF::MHPValidator::mhp</a></div><div class="ttdeci">MHP * mhp</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00036">MHP.cpp:36</a></div></div>
-<div class="ttc" id="classSVF_1_1MHP_html_a9989f2d200cec6c387d63f452b8eac6b"><div class="ttname"><a href="classSVF_1_1MHP.html#a9989f2d200cec6c387d63f452b8eac6b">SVF::MHP::mayHappenInParallel</a></div><div class="ttdeci">virtual bool mayHappenInParallel(const Instruction *i1, const Instruction *i2)</div><div class="ttdoc">Interface to query whether two instructions may happen-in-parallel. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00604">MHP.cpp:604</a></div></div>
+<p class="definition">Definition at line <a class="el" href="MHP_8cpp_source.html#l00053">53</a> of file <a class="el" href="MHP_8cpp_source.html">MHP.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;    {</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d">mhp</a>-&gt;<a class="code" href="classSVF_1_1MHP.html#a9989f2d200cec6c387d63f452b8eac6b">mayHappenInParallel</a>(I1, I2);</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MHPValidator_html_ad6e417ad7f0b1b399822eaa62d83341d"><div class="ttname"><a href="classSVF_1_1MHPValidator.html#ad6e417ad7f0b1b399822eaa62d83341d">SVF::MHPValidator::mhp</a></div><div class="ttdeci">MHP * mhp</div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00058">MHP.cpp:58</a></div></div>
+<div class="ttc" id="classSVF_1_1MHP_html_a9989f2d200cec6c387d63f452b8eac6b"><div class="ttname"><a href="classSVF_1_1MHP.html#a9989f2d200cec6c387d63f452b8eac6b">SVF::MHP::mayHappenInParallel</a></div><div class="ttdeci">virtual bool mayHappenInParallel(const Instruction *i1, const Instruction *i2)</div><div class="ttdoc">Interface to query whether two instructions may happen-in-parallel. </div><div class="ttdef"><b>Definition:</b> <a href="MHP_8cpp_source.html#l00626">MHP.cpp:626</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -226,7 +226,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="MHP_8cpp_source.html#l00036">36</a> of file <a class="el" href="MHP_8cpp_source.html">MHP.cpp</a>.</p>
+<p class="definition">Definition at line <a class="el" href="MHP_8cpp_source.html#l00058">58</a> of file <a class="el" href="MHP_8cpp_source.html">MHP.cpp</a>.</p>
 </div>
 </div>