npm - svf-tools - Versions diffs - 1.0.348 → 1.0.352 - Mend

svf-tools 1.0.348 → 1.0.352

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 (583) hide show

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

@@ -88,14 +88,14 @@ Public Types</h2></td></tr>
 <br />
  }</td></tr>
 <tr class="separator:a002a0c8ec2528835d809bf7eb3ebc83f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9cfbfba21f40feb2cc7e0003d4aaaae5"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">OffsetValueVec</a></td></tr>
-<tr class="separator:a9cfbfba21f40feb2cc7e0003d4aaaae5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9bb7e08f7cfb2859d25b0e68e21fec89"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; std::pair&lt; const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *, const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> * &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">OffsetValueVec</a></td></tr>
+<tr class="separator:a9bb7e08f7cfb2859d25b0e68e21fec89"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:ac07e93a10d3f981c2ef6fcc507118182"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#ac07e93a10d3f981c2ef6fcc507118182">LocationSet</a> (<a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> o=0)</td></tr>
-<tr class="memdesc:ac07e93a10d3f981c2ef6fcc507118182"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#ac07e93a10d3f981c2ef6fcc507118182">More...</a><br /></td></tr>
-<tr class="separator:ac07e93a10d3f981c2ef6fcc507118182"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7fb1dbff5cf3ec18977cc92ae9800d47"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a7fb1dbff5cf3ec18977cc92ae9800d47">LocationSet</a> (<a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a> o=0)</td></tr>
+<tr class="memdesc:a7fb1dbff5cf3ec18977cc92ae9800d47"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a7fb1dbff5cf3ec18977cc92ae9800d47">More...</a><br /></td></tr>
+<tr class="separator:a7fb1dbff5cf3ec18977cc92ae9800d47"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a290c7fe38704552fd66ad06e5deeaca9"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a290c7fe38704552fd66ad06e5deeaca9">LocationSet</a> (const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;ls)</td></tr>
 <tr class="memdesc:a290c7fe38704552fd66ad06e5deeaca9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Copy Constructor.  <a href="#a290c7fe38704552fd66ad06e5deeaca9">More...</a><br /></td></tr>
 <tr class="separator:a290c7fe38704552fd66ad06e5deeaca9"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -104,8 +104,10 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:aa19807a258fc673e6885eafb924ecc91"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a00ae12aee8018f1eb88f011e52762be9"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a00ae12aee8018f1eb88f011e52762be9">~LocationSet</a> ()</td></tr>
 <tr class="separator:a00ae12aee8018f1eb88f011e52762be9"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac544fa84eff20dfe043b7d0c771dec2b"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#ac544fa84eff20dfe043b7d0c771dec2b">addOffsetValue</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *offsetValue)</td></tr>
-<tr class="separator:ac544fa84eff20dfe043b7d0c771dec2b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a216afe1a2481c57b278549732d5e185e"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a216afe1a2481c57b278549732d5e185e">accumulateConstantOffset</a> () const</td></tr>
+<tr class="separator:a216afe1a2481c57b278549732d5e185e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa2682a73f1ab2c32326fb4e0d5b3586b"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#aa2682a73f1ab2c32326fb4e0d5b3586b">addOffsetValue</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *offsetValue, const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *type)</td></tr>
+<tr class="separator:aa2682a73f1ab2c32326fb4e0d5b3586b"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a4a9185282308c50f86fdf66f7060373d"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a4a9185282308c50f86fdf66f7060373d">isConstantOffset</a> () const</td></tr>
 <tr class="memdesc:a4a9185282308c50f86fdf66f7060373d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return TRUE if this is a constant location set.  <a href="#a4a9185282308c50f86fdf66f7060373d">More...</a><br /></td></tr>
 <tr class="separator:a4a9185282308c50f86fdf66f7060373d"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -116,22 +118,22 @@ Public Member Functions</h2></td></tr>
 <tr class="memdesc:a53f1b2e417682a56d45dfb1f7d5ccd1c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump location set.  <a href="#a53f1b2e417682a56d45dfb1f7d5ccd1c">More...</a><br /></td></tr>
 <tr class="separator:a53f1b2e417682a56d45dfb1f7d5ccd1c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
-<tr class="memitem:a19700ba5a9eebf50a0f3064f44e4bd97"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a19700ba5a9eebf50a0f3064f44e4bd97">operator+</a> (const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;rhs) const</td></tr>
-<tr class="memdesc:a19700ba5a9eebf50a0f3064f44e4bd97"><td class="mdescLeft">&#160;</td><td class="mdescRight">Overload operators.  <a href="#a19700ba5a9eebf50a0f3064f44e4bd97">More...</a><br /></td></tr>
-<tr class="separator:a19700ba5a9eebf50a0f3064f44e4bd97"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a67387c3b42fcc1bb3ee8fe85bda02ba8"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a67387c3b42fcc1bb3ee8fe85bda02ba8">operator+</a> (const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;rhs) const</td></tr>
+<tr class="memdesc:a67387c3b42fcc1bb3ee8fe85bda02ba8"><td class="mdescLeft">&#160;</td><td class="mdescRight">Overload operators.  <a href="#a67387c3b42fcc1bb3ee8fe85bda02ba8">More...</a><br /></td></tr>
+<tr class="separator:a67387c3b42fcc1bb3ee8fe85bda02ba8"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a511e8324d88624013eed04e8c2a6cbc4"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a511e8324d88624013eed04e8c2a6cbc4">operator&lt;</a> (const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;rhs) const</td></tr>
+<tr class="separator:a511e8324d88624013eed04e8c2a6cbc4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a15975ec54c93c39fb1ed59599e5ec107"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a15975ec54c93c39fb1ed59599e5ec107">operator=</a> (const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;rhs)</td></tr>
 <tr class="separator:a15975ec54c93c39fb1ed59599e5ec107"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7325b652e80625329406d8155ae8d403"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a7325b652e80625329406d8155ae8d403">operator&lt;</a> (const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;rhs) const</td></tr>
-<tr class="separator:a7325b652e80625329406d8155ae8d403"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a1b141afb9a38d12423f66b2dfe6bf232"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a1b141afb9a38d12423f66b2dfe6bf232">operator==</a> (const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;rhs) const</td></tr>
 <tr class="separator:a1b141afb9a38d12423f66b2dfe6bf232"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
-<tr class="memitem:a43de212ce81a29391cee13d8dbaa93eb"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">accumulateConstantFieldIdx</a> () const</td></tr>
-<tr class="memdesc:a43de212ce81a29391cee13d8dbaa93eb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get methods.  <a href="#a43de212ce81a29391cee13d8dbaa93eb">More...</a><br /></td></tr>
-<tr class="separator:a43de212ce81a29391cee13d8dbaa93eb"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:acc8d400f4715e05d8d4174d7bf722346"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#acc8d400f4715e05d8d4174d7bf722346">setFldIdx</a> (<a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> idx)</td></tr>
-<tr class="separator:acc8d400f4715e05d8d4174d7bf722346"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5a5ca0b81da0b34ab426bc6a28ed346c"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">OffsetValueVec</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a> () const</td></tr>
+<tr class="memitem:ab987c41ffdae931d941f89d03ed09146"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#ab987c41ffdae931d941f89d03ed09146">accumulateConstantFieldIdx</a> () const</td></tr>
+<tr class="memdesc:ab987c41ffdae931d941f89d03ed09146"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get methods.  <a href="#ab987c41ffdae931d941f89d03ed09146">More...</a><br /></td></tr>
+<tr class="separator:ab987c41ffdae931d941f89d03ed09146"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a15f6175372a785205c5f959b370c83b5"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a15f6175372a785205c5f959b370c83b5">setFldIdx</a> (<a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a> idx)</td></tr>
+<tr class="separator:a15f6175372a785205c5f959b370c83b5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5a5ca0b81da0b34ab426bc6a28ed346c"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">OffsetValueVec</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a> () const</td></tr>
 <tr class="separator:a5a5ca0b81da0b34ab426bc6a28ed346c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
@@ -142,16 +144,13 @@ Private Member Functions</h2></td></tr>
 <tr class="memitem:afc0f702b6cce26861b409130fe5e019f"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">computeAllLocations</a> () const</td></tr>
 <tr class="memdesc:afc0f702b6cce26861b409130fe5e019f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Compute all possible locations according to offset and number-stride pairs.  <a href="#afc0f702b6cce26861b409130fe5e019f">More...</a><br /></td></tr>
 <tr class="separator:afc0f702b6cce26861b409130fe5e019f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4f7a3b135ffa9bc9a5c721d1e23a61a4"><td class="memItemLeft" align="right" valign="top">unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a4f7a3b135ffa9bc9a5c721d1e23a61a4">gcd</a> (unsigned n1, unsigned n2) const</td></tr>
-<tr class="memdesc:a4f7a3b135ffa9bc9a5c721d1e23a61a4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return greatest common divisor.  <a href="#a4f7a3b135ffa9bc9a5c721d1e23a61a4">More...</a><br /></td></tr>
-<tr class="separator:a4f7a3b135ffa9bc9a5c721d1e23a61a4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
 Private Attributes</h2></td></tr>
-<tr class="memitem:ac15467bbdc05b9b0fd0398583168811b"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a></td></tr>
-<tr class="memdesc:ac15467bbdc05b9b0fd0398583168811b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Accumulated Constant Offsets.  <a href="#ac15467bbdc05b9b0fd0398583168811b">More...</a><br /></td></tr>
-<tr class="separator:ac15467bbdc05b9b0fd0398583168811b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5a2792b8b914557a9ccf0e57d0ed8b30"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">OffsetValueVec</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a></td></tr>
+<tr class="memitem:a1937e1b9513135cb46c7f3f02fbe7d03"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">fldIdx</a></td></tr>
+<tr class="memdesc:a1937e1b9513135cb46c7f3f02fbe7d03"><td class="mdescLeft">&#160;</td><td class="mdescRight">Accumulated Constant Offsets.  <a href="#a1937e1b9513135cb46c7f3f02fbe7d03">More...</a><br /></td></tr>
+<tr class="separator:a1937e1b9513135cb46c7f3f02fbe7d03"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5a2792b8b914557a9ccf0e57d0ed8b30"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">OffsetValueVec</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a></td></tr>
 <tr class="memdesc:a5a2792b8b914557a9ccf0e57d0ed8b30"><td class="mdescLeft">&#160;</td><td class="mdescRight">a vector of actual offset in the form of Values  <a href="#a5a2792b8b914557a9ccf0e57d0ed8b30">More...</a><br /></td></tr>
 <tr class="separator:a5a2792b8b914557a9ccf0e57d0ed8b30"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
@@ -164,14 +163,14 @@ Friends</h2></td></tr>
 <div class="textblock">
 <p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00072">72</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
-<a id="a9cfbfba21f40feb2cc7e0003d4aaaae5"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9cfbfba21f40feb2cc7e0003d4aaaae5">&#9670;&nbsp;</a></span>OffsetValueVec</h2>
+<a id="a9bb7e08f7cfb2859d25b0e68e21fec89"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a9bb7e08f7cfb2859d25b0e68e21fec89">&#9670;&nbsp;</a></span>OffsetValueVec</h2>
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef std::vector&lt;const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* &gt; <a class="el" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">SVF::LocationSet::OffsetValueVec</a></td>
+          <td class="memname">typedef std::vector&lt;std::pair&lt;const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>*, const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a>*&gt; &gt; <a class="el" href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">SVF::LocationSet::OffsetValueVec</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -210,8 +209,8 @@ Friends</h2></td></tr>
 </div>
 </div>
 <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
-<a id="ac07e93a10d3f981c2ef6fcc507118182"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac07e93a10d3f981c2ef6fcc507118182">&#9670;&nbsp;</a></span>LocationSet() <span class="overload">[1/3]</span></h2>
+<a id="a7fb1dbff5cf3ec18977cc92ae9800d47"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7fb1dbff5cf3ec18977cc92ae9800d47">&#9670;&nbsp;</a></span>LocationSet() <span class="overload">[1/3]</span></h2>
 <div class="memitem">
 <div class="memproto">
@@ -222,7 +221,7 @@ Friends</h2></td></tr>
         <tr>
           <td class="memname">SVF::LocationSet::LocationSet </td>
           <td>(</td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a>&#160;</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td>
           <td class="paramname"><em>o</em> = <code>0</code></td><td>)</td>
           <td></td>
         </tr>
@@ -237,7 +236,7 @@ Friends</h2></td></tr>
 <p>Constructor. </p>
 <p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00084">84</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;                              : <a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a>(o)</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    {}</div><div class="ttc" id="classSVF_1_1LocationSet_html_ac15467bbdc05b9b0fd0398583168811b"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">Size_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00196">LocationSet.h:196</a></div></div>
+<div class="fragment"><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;                             : <a class="code" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">fldIdx</a>(o)</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    {}</div><div class="ttc" id="classSVF_1_1LocationSet_html_a1937e1b9513135cb46c7f3f02fbe7d03"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">s64_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00158">LocationSet.h:158</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -268,7 +267,7 @@ Friends</h2></td></tr>
 <p>Copy Constructor. </p>
 <p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00088">88</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        : <a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a>(ls.fldIdx)</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    {</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_ac15467bbdc05b9b0fd0398583168811b"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">Size_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00196">LocationSet.h:196</a></div></div>
+<div class="fragment"><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        : <a class="code" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">fldIdx</a>(ls.fldIdx)</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    {</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a1937e1b9513135cb46c7f3f02fbe7d03"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">s64_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00158">LocationSet.h:158</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -299,7 +298,7 @@ Friends</h2></td></tr>
 <p>Initialization from <a class="el" href="classSVF_1_1FlattenedFieldInfo.html">FlattenedFieldInfo</a>. </p>
 <p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00094">94</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        : <a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a>(fi.getFlattenFldIdx())</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    {</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_ac15467bbdc05b9b0fd0398583168811b"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">Size_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00196">LocationSet.h:196</a></div></div>
+<div class="fragment"><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        : <a class="code" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">fldIdx</a>(fi.getFlattenFldIdx())</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    {</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a1937e1b9513135cb46c7f3f02fbe7d03"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">s64_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00158">LocationSet.h:158</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -331,8 +330,8 @@ Friends</h2></td></tr>
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
-<a id="a43de212ce81a29391cee13d8dbaa93eb"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a43de212ce81a29391cee13d8dbaa93eb">&#9670;&nbsp;</a></span>accumulateConstantFieldIdx()</h2>
+<a id="ab987c41ffdae931d941f89d03ed09146"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab987c41ffdae931d941f89d03ed09146">&#9670;&nbsp;</a></span>accumulateConstantFieldIdx()</h2>
 <div class="memitem">
 <div class="memproto">
@@ -341,7 +340,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> SVF::LocationSet::accumulateConstantFieldIdx </td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a> SVF::LocationSet::accumulateConstantFieldIdx </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -356,13 +355,33 @@ Friends</h2></td></tr>
 <p>Get methods. </p>
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00154">154</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    {</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a>;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_ac15467bbdc05b9b0fd0398583168811b"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">Size_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00196">LocationSet.h:196</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00120">120</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    {</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">fldIdx</a>;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a1937e1b9513135cb46c7f3f02fbe7d03"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">s64_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00158">LocationSet.h:158</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ac544fa84eff20dfe043b7d0c771dec2b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac544fa84eff20dfe043b7d0c771dec2b">&#9670;&nbsp;</a></span>addOffsetValue()</h2>
+<a id="a216afe1a2481c57b278549732d5e185e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a216afe1a2481c57b278549732d5e185e">&#9670;&nbsp;</a></span>accumulateConstantOffset()</h2>
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a> LocationSet::accumulateConstantOffset </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p>Return accmuated constant offset offsetValues: [(v1,t1), (v2,t2), (v3,t3)] v1*sz(t2) + v2*sz(t3) + v3 </p>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00061">61</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;                                                 {</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    <span class="keywordflow">return</span> 0;</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;}</div></div><!-- fragment -->
+</div>
+</div>
+<a id="aa2682a73f1ab2c32326fb4e0d5b3586b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa2682a73f1ab2c32326fb4e0d5b3586b">&#9670;&nbsp;</a></span>addOffsetValue()</h2>
 <div class="memitem">
 <div class="memproto">
@@ -371,16 +390,25 @@ Friends</h2></td></tr>
           <td class="memname">bool LocationSet::addOffsetValue </td>
           <td>(</td>
           <td class="paramtype">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td>
-          <td class="paramname"><em>offsetVal</em></td><td>)</td>
+          <td class="paramname"><em>offsetVal</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
           <td></td>
+          <td class="paramtype">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *&#160;</td>
+          <td class="paramname"><em>type</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
         </tr>
       </table>
 </div><div class="memdoc">
 <p>Add offset value to vector offsetValues </p>
 <p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00042">42</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;{</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;    <span class="keywordflow">for</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* val : <a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a>){</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;        <span class="keywordflow">if</span>(val==offsetVal)</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;    }</div><div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;    offsetValues.push_back(offsetVal);</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;}</div><div class="ttc" id="classSVF_1_1LocationSet_html_a5a2792b8b914557a9ccf0e57d0ed8b30"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">SVF::LocationSet::offsetValues</a></div><div class="ttdeci">OffsetValueVec offsetValues</div><div class="ttdoc">a vector of actual offset in the form of Values </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00197">LocationSet.h:197</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
+<div class="fragment"><div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;{</div><div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;    <a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a>.push_back(std::make_pair(offsetVal,type));</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;}</div><div class="ttc" id="classSVF_1_1LocationSet_html_a5a2792b8b914557a9ccf0e57d0ed8b30"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">SVF::LocationSet::offsetValues</a></div><div class="ttdeci">OffsetValueVec offsetValues</div><div class="ttdoc">a vector of actual offset in the form of Values </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00159">LocationSet.h:159</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -420,9 +448,9 @@ Friends</h2></td></tr>
 <p>Check relations of two location sets. </p>
-<p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00072">72</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;{</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> lhsLocations = LHS.<a class="code" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">computeAllLocations</a>();</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> rhsLocations = RHS.<a class="code" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">computeAllLocations</a>();</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <span class="keywordflow">if</span> (lhsLocations.intersects(rhsLocations))</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    {</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <span class="keywordflow">if</span> (lhsLocations == rhsLocations)</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa9b2a5e3c7f7873ac4491ff231e0601d2">Same</a>;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhsLocations.contains(rhsLocations))</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa2241035beb87cdd725d979371537d500">Superset</a>;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhsLocations.contains(lhsLocations))</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83faf6a3c1bcfe2d3f79b227b649e89edd72">Subset</a>;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c">Overlap</a>;</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    }</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    {</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d">NonOverlap</a>;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    }</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;}</div><div class="ttc" id="classSVF_1_1LocationSet_html_a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c">SVF::LocationSet::Overlap</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00078">LocationSet.h:78</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_afc0f702b6cce26861b409130fe5e019f"><div class="ttname"><a href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet::computeAllLocations</a></div><div class="ttdeci">NodeBS computeAllLocations() const</div><div class="ttdoc">Compute all possible locations according to offset and number-stride pairs. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8cpp_source.html#l00065">LocationSet.cpp:65</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00112">112</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;{</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> lhsLocations = LHS.<a class="code" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">computeAllLocations</a>();</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> rhsLocations = RHS.<a class="code" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">computeAllLocations</a>();</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    <span class="keywordflow">if</span> (lhsLocations.intersects(rhsLocations))</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    {</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;        <span class="keywordflow">if</span> (lhsLocations == rhsLocations)</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa9b2a5e3c7f7873ac4491ff231e0601d2">Same</a>;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhsLocations.contains(rhsLocations))</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa2241035beb87cdd725d979371537d500">Superset</a>;</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhsLocations.contains(lhsLocations))</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83faf6a3c1bcfe2d3f79b227b649e89edd72">Subset</a>;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c">Overlap</a>;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;    }</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    {</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d">NonOverlap</a>;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    }</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;}</div><div class="ttc" id="classSVF_1_1LocationSet_html_a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c">SVF::LocationSet::Overlap</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00078">LocationSet.h:78</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html_afc0f702b6cce26861b409130fe5e019f"><div class="ttname"><a href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet::computeAllLocations</a></div><div class="ttdeci">NodeBS computeAllLocations() const</div><div class="ttdoc">Compute all possible locations according to offset and number-stride pairs. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8cpp_source.html#l00068">LocationSet.cpp:68</a></div></div>
 <div class="ttc" id="classSVF_1_1LocationSet_html_a002a0c8ec2528835d809bf7eb3ebc83faf6a3c1bcfe2d3f79b227b649e89edd72"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83faf6a3c1bcfe2d3f79b227b649e89edd72">SVF::LocationSet::Subset</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00078">LocationSet.h:78</a></div></div>
 <div class="ttc" id="classSVF_1_1LocationSet_html_a002a0c8ec2528835d809bf7eb3ebc83fa2241035beb87cdd725d979371537d500"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa2241035beb87cdd725d979371537d500">SVF::LocationSet::Superset</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00078">LocationSet.h:78</a></div></div>
 <div class="ttc" id="classSVF_1_1LocationSet_html_a002a0c8ec2528835d809bf7eb3ebc83fa9b2a5e3c7f7873ac4491ff231e0601d2"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa9b2a5e3c7f7873ac4491ff231e0601d2">SVF::LocationSet::Same</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00078">LocationSet.h:78</a></div></div>
@@ -457,10 +485,10 @@ Friends</h2></td></tr>
 <p>Compute all possible locations according to offset and number-stride pairs. </p>
 <p>Compute all possible locations according to offset and number-stride pairs. </p>
-<p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00065">65</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;{</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    result.set(<a class="code" href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">accumulateConstantFieldIdx</a>());</div><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;}</div><div class="ttc" id="cuddInt_8c_html_a8b2e13c78efca330f06b6ddcd7464b41"><div class="ttname"><a href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a></div><div class="ttdeci">static int result</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l07466">cuddInt.c:7466</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00068">68</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;{</div><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    result.set(<a class="code" href="classSVF_1_1LocationSet.html#ab987c41ffdae931d941f89d03ed09146">accumulateConstantFieldIdx</a>());</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;}</div><div class="ttc" id="classSVF_1_1LocationSet_html_ab987c41ffdae931d941f89d03ed09146"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ab987c41ffdae931d941f89d03ed09146">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">s64_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00120">LocationSet.h:120</a></div></div>
+<div class="ttc" id="cuddInt_8c_html_a8b2e13c78efca330f06b6ddcd7464b41"><div class="ttname"><a href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a></div><div class="ttdeci">static int result</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l07466">cuddInt.c:7466</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00086">SVFBasicTypes.h:86</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a43de212ce81a29391cee13d8dbaa93eb"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">Size_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00154">LocationSet.h:154</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -481,53 +509,12 @@ Friends</h2></td></tr>
 <p>Dump location set. </p>
-<p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00094">94</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;{</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    std::string str;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;LocationSet\tField_Index: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">accumulateConstantFieldIdx</a>();</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;,\tNum-Stride: {&quot;</span>;</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">OffsetValueVec</a>&amp; vec = <a class="code" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>();</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    OffsetValueVec::const_iterator it = vec.begin();</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    OffsetValueVec::const_iterator eit = vec.end();</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    <span class="keywordflow">for</span> (; it != eit; ++it)</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    {</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; (&quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(*it) &lt;&lt; <span class="stringliteral">&quot;)&quot;</span>;</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    }</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot; }\n&quot;</span>;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;}</div><div class="ttc" id="classSVF_1_1LocationSet_html_a9cfbfba21f40feb2cc7e0003d4aaaae5"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">SVF::LocationSet::OffsetValueVec</a></div><div class="ttdeci">std::vector&lt; const Value *&gt; OffsetValueVec</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00081">LocationSet.h:81</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00134">134</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;{</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;    std::string str;</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;LocationSet\tField_Index: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1LocationSet.html#ab987c41ffdae931d941f89d03ed09146">accumulateConstantFieldIdx</a>();</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;,\tNum-Stride: {&quot;</span>;</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">OffsetValueVec</a>&amp; vec = <a class="code" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>();</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;    OffsetValueVec::const_iterator it = vec.begin();</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    OffsetValueVec::const_iterator eit = vec.end();</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;    <span class="keywordflow">for</span> (; it != eit; ++it)</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    {</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; (value: &quot;</span> &lt;&lt; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">value2String</a>(it-&gt;first) &lt;&lt; <span class="stringliteral">&quot; type: &quot;</span> &lt;&lt; it-&gt;second &lt;&lt; <span class="stringliteral">&quot;)&quot;</span>;</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    }</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot; }\n&quot;</span>;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;}</div><div class="ttc" id="classSVF_1_1LocationSet_html_ab987c41ffdae931d941f89d03ed09146"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ab987c41ffdae931d941f89d03ed09146">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">s64_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00120">LocationSet.h:120</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html_a9bb7e08f7cfb2859d25b0e68e21fec89"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">SVF::LocationSet::OffsetValueVec</a></div><div class="ttdeci">std::vector&lt; std::pair&lt; const Value *, const Type * &gt; &gt; OffsetValueVec</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00081">LocationSet.h:81</a></div></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="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a7486fd8e5350879ed1cbd835c0d4e191"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a7486fd8e5350879ed1cbd835c0d4e191">SVF::SVFUtil::value2String</a></div><div class="ttdeci">const std::string value2String(const Value *value)</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00390">SVFUtil.cpp:390</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a43de212ce81a29391cee13d8dbaa93eb"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">Size_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00154">LocationSet.h:154</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a5a5ca0b81da0b34ab426bc6a28ed346c"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">SVF::LocationSet::getOffsetValueVec</a></div><div class="ttdeci">const OffsetValueVec &amp; getOffsetValueVec() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00162">LocationSet.h:162</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a4f7a3b135ffa9bc9a5c721d1e23a61a4"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a4f7a3b135ffa9bc9a5c721d1e23a61a4">&#9670;&nbsp;</a></span>gcd()</h2>
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">unsigned SVF::LocationSet::gcd </td>
-          <td>(</td>
-          <td class="paramtype">unsigned&#160;</td>
-          <td class="paramname"><em>n1</em>, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">unsigned&#160;</td>
-          <td class="paramname"><em>n2</em>&#160;</td>
-        </tr>
-        <tr>
-          <td></td>
-          <td>)</td>
-          <td></td><td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">private</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-<p>Return greatest common divisor. </p>
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00191">191</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;    {</div><div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;        <span class="keywordflow">return</span> (n2 == 0) ? n1 : <a class="code" href="classSVF_1_1LocationSet.html#a4f7a3b135ffa9bc9a5c721d1e23a61a4">gcd</a> (n2, n1 % n2);</div><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a4f7a3b135ffa9bc9a5c721d1e23a61a4"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a4f7a3b135ffa9bc9a5c721d1e23a61a4">SVF::LocationSet::gcd</a></div><div class="ttdeci">unsigned gcd(unsigned n1, unsigned n2) const</div><div class="ttdoc">Return greatest common divisor. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00191">LocationSet.h:191</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html_a5a5ca0b81da0b34ab426bc6a28ed346c"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">SVF::LocationSet::getOffsetValueVec</a></div><div class="ttdeci">const OffsetValueVec &amp; getOffsetValueVec() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00128">LocationSet.h:128</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -541,7 +528,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">OffsetValueVec</a>&amp; SVF::LocationSet::getOffsetValueVec </td>
+          <td class="memname">const <a class="el" href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">OffsetValueVec</a>&amp; SVF::LocationSet::getOffsetValueVec </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -554,8 +541,8 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00162">162</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    {</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a>;</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a5a2792b8b914557a9ccf0e57d0ed8b30"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">SVF::LocationSet::offsetValues</a></div><div class="ttdeci">OffsetValueVec offsetValues</div><div class="ttdoc">a vector of actual offset in the form of Values </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00197">LocationSet.h:197</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00128">128</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;    {</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a>;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a5a2792b8b914557a9ccf0e57d0ed8b30"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">SVF::LocationSet::offsetValues</a></div><div class="ttdeci">OffsetValueVec offsetValues</div><div class="ttdoc">a vector of actual offset in the form of Values </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00159">LocationSet.h:159</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -585,8 +572,8 @@ Friends</h2></td></tr>
 <p>Return TRUE if we share any location in common with RHS. </p>
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00174">174</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;    {</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">computeAllLocations</a>().intersects(RHS.computeAllLocations());</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_afc0f702b6cce26861b409130fe5e019f"><div class="ttname"><a href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet::computeAllLocations</a></div><div class="ttdeci">NodeBS computeAllLocations() const</div><div class="ttdoc">Compute all possible locations according to offset and number-stride pairs. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8cpp_source.html#l00065">LocationSet.cpp:65</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00142">142</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    {</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">computeAllLocations</a>().intersects(RHS.computeAllLocations());</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_afc0f702b6cce26861b409130fe5e019f"><div class="ttname"><a href="classSVF_1_1LocationSet.html#afc0f702b6cce26861b409130fe5e019f">SVF::LocationSet::computeAllLocations</a></div><div class="ttdeci">NodeBS computeAllLocations() const</div><div class="ttdoc">Compute all possible locations according to offset and number-stride pairs. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8cpp_source.html#l00068">LocationSet.cpp:68</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -608,73 +595,56 @@ Friends</h2></td></tr>
 <p>Return TRUE if this is a constant location set. </p>
 <p>Return TRUE if all offset values are constants. </p>
-<p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00053">53</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.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">for</span>(<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* val : <a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a>){</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;        <span class="keywordflow">if</span>(SVFUtil::isa&lt;ConstantInt&gt;(val) == <span class="keyword">false</span>)</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;    }</div><div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;}</div><div class="ttc" id="classSVF_1_1LocationSet_html_a5a2792b8b914557a9ccf0e57d0ed8b30"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">SVF::LocationSet::offsetValues</a></div><div class="ttdeci">OffsetValueVec offsetValues</div><div class="ttdoc">a vector of actual offset in the form of Values </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00197">LocationSet.h:197</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00049">49</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;{</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;    <span class="keywordflow">for</span>(<span class="keyword">auto</span> it : <a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a>){</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        <span class="keywordflow">if</span>(SVFUtil::isa&lt;ConstantInt&gt;(it.first) == <span class="keyword">false</span>)</div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><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> <span class="keyword">true</span>;</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;}</div><div class="ttc" id="classSVF_1_1LocationSet_html_a5a2792b8b914557a9ccf0e57d0ed8b30"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">SVF::LocationSet::offsetValues</a></div><div class="ttdeci">OffsetValueVec offsetValues</div><div class="ttdoc">a vector of actual offset in the form of Values </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00159">LocationSet.h:159</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a19700ba5a9eebf50a0f3064f44e4bd97"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a19700ba5a9eebf50a0f3064f44e4bd97">&#9670;&nbsp;</a></span>operator+()</h2>
+<a id="a67387c3b42fcc1bb3ee8fe85bda02ba8"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a67387c3b42fcc1bb3ee8fe85bda02ba8">&#9670;&nbsp;</a></span>operator+()</h2>
 <div class="memitem">
 <div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> SVF::LocationSet::operator+ </td>
+          <td class="memname"><a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> LocationSet::operator+ </td>
           <td>(</td>
           <td class="paramtype">const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;&#160;</td>
           <td class="paramname"><em>rhs</em></td><td>)</td>
           <td> const</td>
         </tr>
       </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
 </div><div class="memdoc">
 <p>Overload operators. </p>
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00104">104</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    {</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <a class="code" href="classSVF_1_1LocationSet.html#ac07e93a10d3f981c2ef6fcc507118182">LocationSet</a> ls(rhs);</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        ls.fldIdx += <a class="code" href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">accumulateConstantFieldIdx</a>();</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        OffsetValueVec::const_iterator it = <a class="code" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>().begin();</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        OffsetValueVec::const_iterator eit = <a class="code" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>().end();</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        <span class="keywordflow">for</span> (; it != eit; ++it)</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;            ls.addOffsetValue(*it);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        <span class="keywordflow">return</span> ls;</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_ac07e93a10d3f981c2ef6fcc507118182"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ac07e93a10d3f981c2ef6fcc507118182">SVF::LocationSet::LocationSet</a></div><div class="ttdeci">LocationSet(Size_t o=0)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00084">LocationSet.h:84</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a43de212ce81a29391cee13d8dbaa93eb"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a43de212ce81a29391cee13d8dbaa93eb">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">Size_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00154">LocationSet.h:154</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a5a5ca0b81da0b34ab426bc6a28ed346c"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">SVF::LocationSet::getOffsetValueVec</a></div><div class="ttdeci">const OffsetValueVec &amp; getOffsetValueVec() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00162">LocationSet.h:162</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00075">75</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;{</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    <a class="code" href="classSVF_1_1LocationSet.html">LocationSet</a> ls(rhs);</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;    ls.fldIdx += <a class="code" href="classSVF_1_1LocationSet.html#ab987c41ffdae931d941f89d03ed09146">accumulateConstantFieldIdx</a>();</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    OffsetValueVec::const_iterator it = <a class="code" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>().begin();</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    OffsetValueVec::const_iterator eit = <a class="code" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>().end();</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    <span class="keywordflow">for</span> (; it != eit; ++it)</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        ls.addOffsetValue(it-&gt;first, it-&gt;second);</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    <span class="keywordflow">return</span> ls;</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;}</div><div class="ttc" id="classSVF_1_1LocationSet_html_ab987c41ffdae931d941f89d03ed09146"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ab987c41ffdae931d941f89d03ed09146">SVF::LocationSet::accumulateConstantFieldIdx</a></div><div class="ttdeci">s64_t accumulateConstantFieldIdx() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00120">LocationSet.h:120</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html"><div class="ttname"><a href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00072">LocationSet.h:72</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html_a5a5ca0b81da0b34ab426bc6a28ed346c"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">SVF::LocationSet::getOffsetValueVec</a></div><div class="ttdeci">const OffsetValueVec &amp; getOffsetValueVec() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00128">LocationSet.h:128</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a7325b652e80625329406d8155ae8d403"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a7325b652e80625329406d8155ae8d403">&#9670;&nbsp;</a></span>operator<()</h2>
+<a id="a511e8324d88624013eed04e8c2a6cbc4"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a511e8324d88624013eed04e8c2a6cbc4">&#9670;&nbsp;</a></span>operator<()</h2>
 <div class="memitem">
 <div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">bool SVF::LocationSet::operator&lt; </td>
+          <td class="memname">bool LocationSet::operator&lt; </td>
           <td>(</td>
           <td class="paramtype">const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;&#160;</td>
           <td class="paramname"><em>rhs</em></td><td>)</td>
           <td> const</td>
         </tr>
       </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00121">121</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;    {</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a> != rhs.fldIdx)</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;            <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a> &lt; rhs.fldIdx);</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        {</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">OffsetValueVec</a>&amp; pairVec = <a class="code" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>();</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">OffsetValueVec</a>&amp; rhsPairVec = rhs.getOffsetValueVec();</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;            <span class="keywordflow">if</span> (pairVec.size() != rhsPairVec.size())</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                <span class="keywordflow">return</span> (pairVec.size() &lt; rhsPairVec.size());</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;            {</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;                OffsetValueVec::const_iterator it = pairVec.begin();</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;                OffsetValueVec::const_iterator rhsIt = rhsPairVec.begin();</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;                <span class="keywordflow">for</span> (; it != pairVec.end() &amp;&amp; rhsIt != rhsPairVec.end(); ++it, ++rhsIt)</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;                {</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;                    <span class="keywordflow">return</span> (*it) &lt; (*rhsIt);</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;                }</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;            }</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        }</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a9cfbfba21f40feb2cc7e0003d4aaaae5"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">SVF::LocationSet::OffsetValueVec</a></div><div class="ttdeci">std::vector&lt; const Value *&gt; OffsetValueVec</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00081">LocationSet.h:81</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_ac15467bbdc05b9b0fd0398583168811b"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">Size_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00196">LocationSet.h:196</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a5a5ca0b81da0b34ab426bc6a28ed346c"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">SVF::LocationSet::getOffsetValueVec</a></div><div class="ttdeci">const OffsetValueVec &amp; getOffsetValueVec() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00162">LocationSet.h:162</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00088">88</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;{</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">fldIdx</a> != rhs.<a class="code" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">fldIdx</a>)</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">fldIdx</a> &lt; rhs.<a class="code" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">fldIdx</a>);</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    {</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">OffsetValueVec</a>&amp; pairVec = <a class="code" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>();</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">OffsetValueVec</a>&amp; rhsPairVec = rhs.<a class="code" href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">getOffsetValueVec</a>();</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;        <span class="keywordflow">if</span> (pairVec.size() != rhsPairVec.size())</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;            <span class="keywordflow">return</span> (pairVec.size() &lt; rhsPairVec.size());</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        {</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;            OffsetValueVec::const_iterator it = pairVec.begin();</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;            OffsetValueVec::const_iterator rhsIt = rhsPairVec.begin();</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;            <span class="keywordflow">for</span> (; it != pairVec.end() &amp;&amp; rhsIt != rhsPairVec.end(); ++it, ++rhsIt)</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;            {</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;                <span class="keywordflow">return</span> (*it) &lt; (*rhsIt);</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;            }</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        }</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    }</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;}</div><div class="ttc" id="classSVF_1_1LocationSet_html_a9bb7e08f7cfb2859d25b0e68e21fec89"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">SVF::LocationSet::OffsetValueVec</a></div><div class="ttdeci">std::vector&lt; std::pair&lt; const Value *, const Type * &gt; &gt; OffsetValueVec</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00081">LocationSet.h:81</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html_a1937e1b9513135cb46c7f3f02fbe7d03"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">s64_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00158">LocationSet.h:158</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html_a5a5ca0b81da0b34ab426bc6a28ed346c"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a5ca0b81da0b34ab426bc6a28ed346c">SVF::LocationSet::getOffsetValueVec</a></div><div class="ttdeci">const OffsetValueVec &amp; getOffsetValueVec() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00128">LocationSet.h:128</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -702,9 +672,9 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00115">115</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    {</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        <a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a> = rhs.fldIdx;</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;        <a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a> = rhs.getOffsetValueVec();</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a5a2792b8b914557a9ccf0e57d0ed8b30"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">SVF::LocationSet::offsetValues</a></div><div class="ttdeci">OffsetValueVec offsetValues</div><div class="ttdoc">a vector of actual offset in the form of Values </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00197">LocationSet.h:197</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_ac15467bbdc05b9b0fd0398583168811b"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">Size_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00196">LocationSet.h:196</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00105">105</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    {</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        <a class="code" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">fldIdx</a> = rhs.fldIdx;</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        <a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a> = rhs.getOffsetValueVec();</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a5a2792b8b914557a9ccf0e57d0ed8b30"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">SVF::LocationSet::offsetValues</a></div><div class="ttdeci">OffsetValueVec offsetValues</div><div class="ttdoc">a vector of actual offset in the form of Values </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00159">LocationSet.h:159</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html_a1937e1b9513135cb46c7f3f02fbe7d03"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">s64_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00158">LocationSet.h:158</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -732,14 +702,14 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00145">145</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    {</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a> == rhs.fldIdx</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;               &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a> == rhs.offsetValues;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a5a2792b8b914557a9ccf0e57d0ed8b30"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">SVF::LocationSet::offsetValues</a></div><div class="ttdeci">OffsetValueVec offsetValues</div><div class="ttdoc">a vector of actual offset in the form of Values </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00197">LocationSet.h:197</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_ac15467bbdc05b9b0fd0398583168811b"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">Size_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00196">LocationSet.h:196</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00111">111</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    {</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">fldIdx</a> == rhs.fldIdx</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;               &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">offsetValues</a> == rhs.offsetValues;</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a5a2792b8b914557a9ccf0e57d0ed8b30"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5a2792b8b914557a9ccf0e57d0ed8b30">SVF::LocationSet::offsetValues</a></div><div class="ttdeci">OffsetValueVec offsetValues</div><div class="ttdoc">a vector of actual offset in the form of Values </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00159">LocationSet.h:159</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html_a1937e1b9513135cb46c7f3f02fbe7d03"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">s64_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00158">LocationSet.h:158</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="acc8d400f4715e05d8d4174d7bf722346"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#acc8d400f4715e05d8d4174d7bf722346">&#9670;&nbsp;</a></span>setFldIdx()</h2>
+<a id="a15f6175372a785205c5f959b370c83b5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a15f6175372a785205c5f959b370c83b5">&#9670;&nbsp;</a></span>setFldIdx()</h2>
 <div class="memitem">
 <div class="memproto">
@@ -750,7 +720,7 @@ Friends</h2></td></tr>
         <tr>
           <td class="memname">void SVF::LocationSet::setFldIdx </td>
           <td>(</td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a>&#160;</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td>
           <td class="paramname"><em>idx</em></td><td>)</td>
           <td></td>
         </tr>
@@ -762,8 +732,8 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00158">158</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    {</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        <a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a> = idx;</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_ac15467bbdc05b9b0fd0398583168811b"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">Size_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00196">LocationSet.h:196</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00124">124</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;    {</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        <a class="code" href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">fldIdx</a> = idx;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a1937e1b9513135cb46c7f3f02fbe7d03"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a1937e1b9513135cb46c7f3f02fbe7d03">SVF::LocationSet::fldIdx</a></div><div class="ttdeci">s64_t fldIdx</div><div class="ttdoc">Accumulated Constant Offsets. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00158">LocationSet.h:158</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -793,8 +763,8 @@ Friends</h2></td></tr>
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
-<a id="ac15467bbdc05b9b0fd0398583168811b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac15467bbdc05b9b0fd0398583168811b">&#9670;&nbsp;</a></span>fldIdx</h2>
+<a id="a1937e1b9513135cb46c7f3f02fbe7d03"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1937e1b9513135cb46c7f3f02fbe7d03">&#9670;&nbsp;</a></span>fldIdx</h2>
 <div class="memitem">
 <div class="memproto">
@@ -803,7 +773,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> SVF::LocationSet::fldIdx</td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a> SVF::LocationSet::fldIdx</td>
         </tr>
       </table>
   </td>
@@ -815,7 +785,7 @@ Friends</h2></td></tr>
 <p>Accumulated Constant Offsets. </p>
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00196">196</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00158">158</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
 </div>
 </div>
@@ -829,7 +799,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">OffsetValueVec</a> SVF::LocationSet::offsetValues</td>
+          <td class="memname"><a class="el" href="classSVF_1_1LocationSet.html#a9bb7e08f7cfb2859d25b0e68e21fec89">OffsetValueVec</a> SVF::LocationSet::offsetValues</td>
         </tr>
       </table>
   </td>
@@ -841,7 +811,7 @@ Friends</h2></td></tr>
 <p>a vector of actual offset in the form of Values </p>
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00197">197</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00159">159</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
 </div>
 </div>