svf-tools 1.0.330 → 1.0.331

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

@@ -65,7 +65,6 @@ $(function() {
   <div class="summary">
 <a href="#pub-types">Public Types</a> &#124;
 <a href="#pub-methods">Public Member Functions</a> &#124;
-<a href="#pub-static-methods">Static Public Member Functions</a> &#124;
 <a href="#pri-methods">Private Member Functions</a> &#124;
 <a href="#pri-attribs">Private Attributes</a> &#124;
 <a href="#friends">Friends</a> &#124;
@@ -89,8 +88,8 @@ Public Types</h2></td></tr>
 <br />
  }</td></tr>
 <tr class="separator:a002a0c8ec2528835d809bf7eb3ebc83f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8eb854480cc3efc1df4e6ebe916990d2"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1FieldInfo.html#aba172e9c0989824c8ff79134d7952197">FieldInfo::ElemNumStridePairVec</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">ElemNumStridePairVec</a></td></tr>
-<tr class="separator:a8eb854480cc3efc1df4e6ebe916990d2"><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>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
@@ -100,22 +99,22 @@ Public Member Functions</h2></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>
-<tr class="memitem:afd3b135453644cd42e869d378c270d23"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#afd3b135453644cd42e869d378c270d23">LocationSet</a> (const <a class="el" href="classSVF_1_1FieldInfo.html">FieldInfo</a> &amp;fi)</td></tr>
-<tr class="memdesc:afd3b135453644cd42e869d378c270d23"><td class="mdescLeft">&#160;</td><td class="mdescRight">Initialization from <a class="el" href="classSVF_1_1FieldInfo.html">FieldInfo</a>.  <a href="#afd3b135453644cd42e869d378c270d23">More...</a><br /></td></tr>
-<tr class="separator:afd3b135453644cd42e869d378c270d23"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa19807a258fc673e6885eafb924ecc91"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#aa19807a258fc673e6885eafb924ecc91">LocationSet</a> (const <a class="el" href="classSVF_1_1FlattenedFieldInfo.html">FlattenedFieldInfo</a> &amp;fi)</td></tr>
+<tr class="memdesc:aa19807a258fc673e6885eafb924ecc91"><td class="mdescLeft">&#160;</td><td class="mdescRight">Initialization from <a class="el" href="classSVF_1_1FlattenedFieldInfo.html">FlattenedFieldInfo</a>.  <a href="#aa19807a258fc673e6885eafb924ecc91">More...</a><br /></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:a38077e721631f3c6b09238880c97732b"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a38077e721631f3c6b09238880c97732b">addElemNumStridePair</a> (const <a class="el" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">NodePair</a> &amp;pair)</td></tr>
-<tr class="separator:a38077e721631f3c6b09238880c97732b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a464c14d79a64dc403c2757b3b8520cbd"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a464c14d79a64dc403c2757b3b8520cbd">isConstantOffset</a> () const</td></tr>
-<tr class="memdesc:a464c14d79a64dc403c2757b3b8520cbd"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return TRUE if this is a constant location set.  <a href="#a464c14d79a64dc403c2757b3b8520cbd">More...</a><br /></td></tr>
-<tr class="separator:a464c14d79a64dc403c2757b3b8520cbd"><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: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>
 <tr class="memitem:a0e1cddc4228e310c95f68c661c7b94c8"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a0e1cddc4228e310c95f68c661c7b94c8">intersects</a> (const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;RHS) const</td></tr>
 <tr class="memdesc:a0e1cddc4228e310c95f68c661c7b94c8"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return TRUE if we share any location in common with RHS.  <a href="#a0e1cddc4228e310c95f68c661c7b94c8">More...</a><br /></td></tr>
 <tr class="separator:a0e1cddc4228e310c95f68c661c7b94c8"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4e5f29661da66367cea70a0d3fa108b4"><td class="memItemLeft" align="right" valign="top">std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a4e5f29661da66367cea70a0d3fa108b4">dump</a> () const</td></tr>
-<tr class="memdesc:a4e5f29661da66367cea70a0d3fa108b4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump location set.  <a href="#a4e5f29661da66367cea70a0d3fa108b4">More...</a><br /></td></tr>
-<tr class="separator:a4e5f29661da66367cea70a0d3fa108b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a53f1b2e417682a56d45dfb1f7d5ccd1c"><td class="memItemLeft" align="right" valign="top">std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a53f1b2e417682a56d45dfb1f7d5ccd1c">dump</a> () const</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>
@@ -127,29 +126,19 @@ Public Member Functions</h2></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:ab85c3707152e03722bd631b2525f223e"><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#ab85c3707152e03722bd631b2525f223e">getOffset</a> () const</td></tr>
-<tr class="memdesc:ab85c3707152e03722bd631b2525f223e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get methods.  <a href="#ab85c3707152e03722bd631b2525f223e">More...</a><br /></td></tr>
-<tr class="separator:ab85c3707152e03722bd631b2525f223e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5322dcda48d6980c3f7aafa169fcd77d"><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#a5322dcda48d6980c3f7aafa169fcd77d">getByteOffset</a> () const</td></tr>
-<tr class="separator:a5322dcda48d6980c3f7aafa169fcd77d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac098bc95299002b9016684fa7f2799ca"><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#ac098bc95299002b9016684fa7f2799ca">accumulateConstantOffset</a> () const</td></tr>
+<tr class="memdesc:ac098bc95299002b9016684fa7f2799ca"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get methods.  <a href="#ac098bc95299002b9016684fa7f2799ca">More...</a><br /></td></tr>
+<tr class="separator:ac098bc95299002b9016684fa7f2799ca"><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:a6c5b8c1a9f765de8bcbefb681ca6a92c"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a6c5b8c1a9f765de8bcbefb681ca6a92c">setByteOffset</a> (<a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> os)</td></tr>
-<tr class="separator:a6c5b8c1a9f765de8bcbefb681ca6a92c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3720af92ca2a65f02492e752b07ba241"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">ElemNumStridePairVec</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">getNumStridePair</a> () const</td></tr>
-<tr class="separator:a3720af92ca2a65f02492e752b07ba241"><td class="memSeparator" colspan="2">&#160;</td></tr>
-</table><table class="memberdecls">
-<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-methods"></a>
-Static Public Member Functions</h2></td></tr>
-<tr class="memitem:a6962903a24f540c6bc58b8ae6a0cc757"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83f">LSRelation</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a6962903a24f540c6bc58b8ae6a0cc757">checkRelation</a> (const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;LHS, const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;RHS)</td></tr>
-<tr class="memdesc:a6962903a24f540c6bc58b8ae6a0cc757"><td class="mdescLeft">&#160;</td><td class="mdescRight">Check relations of two location sets.  <a href="#a6962903a24f540c6bc58b8ae6a0cc757">More...</a><br /></td></tr>
-<tr class="separator:a6962903a24f540c6bc58b8ae6a0cc757"><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="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>
 Private Member Functions</h2></td></tr>
-<tr class="memitem:a7e2081a930eafaee4c68c9dd9e70e2bd"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a7e2081a930eafaee4c68c9dd9e70e2bd">increaseIfNotReachUpperBound</a> (std::vector&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt; &amp;indices, const <a class="el" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">ElemNumStridePairVec</a> &amp;pairVec) const</td></tr>
-<tr class="memdesc:a7e2081a930eafaee4c68c9dd9e70e2bd"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return TRUE if successfully increased any index by 1.  <a href="#a7e2081a930eafaee4c68c9dd9e70e2bd">More...</a><br /></td></tr>
-<tr class="separator:a7e2081a930eafaee4c68c9dd9e70e2bd"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4e839125b32c7cb3ad07fbec6f203c10"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83f">LSRelation</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#a4e839125b32c7cb3ad07fbec6f203c10">checkRelation</a> (const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;LHS, const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;RHS)</td></tr>
+<tr class="memdesc:a4e839125b32c7cb3ad07fbec6f203c10"><td class="mdescLeft">&#160;</td><td class="mdescRight">Check relations of two location sets.  <a href="#a4e839125b32c7cb3ad07fbec6f203c10">More...</a><br /></td></tr>
+<tr class="separator:a4e839125b32c7cb3ad07fbec6f203c10"><td class="memSeparator" colspan="2">&#160;</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>
@@ -160,14 +149,11 @@ Private Member Functions</h2></td></tr>
 <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">offset relative to base  <a href="#ac15467bbdc05b9b0fd0398583168811b">More...</a><br /></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:a9fafaf5f69baa5c125d6c3fd89381301"><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#a9fafaf5f69baa5c125d6c3fd89381301">byteOffset</a></td></tr>
-<tr class="memdesc:a9fafaf5f69baa5c125d6c3fd89381301"><td class="mdescLeft">&#160;</td><td class="mdescRight">offset relative to base  <a href="#a9fafaf5f69baa5c125d6c3fd89381301">More...</a><br /></td></tr>
-<tr class="separator:a9fafaf5f69baa5c125d6c3fd89381301"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:abb755e95c8b292b3a6f3eff0256d1790"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">ElemNumStridePairVec</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">numStridePair</a></td></tr>
-<tr class="memdesc:abb755e95c8b292b3a6f3eff0256d1790"><td class="mdescLeft">&#160;</td><td class="mdescRight">element number and stride pair  <a href="#abb755e95c8b292b3a6f3eff0256d1790">More...</a><br /></td></tr>
-<tr class="separator:abb755e95c8b292b3a6f3eff0256d1790"><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="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">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
 Friends</h2></td></tr>
@@ -176,21 +162,21 @@ Friends</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00093">93</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#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="a8eb854480cc3efc1df4e6ebe916990d2"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a8eb854480cc3efc1df4e6ebe916990d2">&#9670;&nbsp;</a></span>ElemNumStridePairVec</h2>
+<a id="a9cfbfba21f40feb2cc7e0003d4aaaae5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a9cfbfba21f40feb2cc7e0003d4aaaae5">&#9670;&nbsp;</a></span>OffsetValueVec</h2>
 
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="classSVF_1_1FieldInfo.html#aba172e9c0989824c8ff79134d7952197">FieldInfo::ElemNumStridePairVec</a> <a class="el" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">SVF::LocationSet::ElemNumStridePairVec</a></td>
+          <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>
         </tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00102">102</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#l00081">81</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
 
 </div>
 </div>
@@ -214,12 +200,12 @@ Friends</h2></td></tr>
 <tr><td class="fieldname"><a id="a002a0c8ec2528835d809bf7eb3ebc83fa9b2a5e3c7f7873ac4491ff231e0601d2"></a>Same&#160;</td><td class="fielddoc"></td></tr>
 </table>
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00097">97</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><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;        <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d">NonOverlap</a>, <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c">Overlap</a>, <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83faf6a3c1bcfe2d3f79b227b649e89edd72">Subset</a>, <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa2241035beb87cdd725d979371537d500">Superset</a>, <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa9b2a5e3c7f7873ac4491ff231e0601d2">Same</a></div><div class="line"><a name="l00100"></a><span class="lineno">  100</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#l00099">LocationSet.h:99</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#l00099">LocationSet.h:99</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#l00099">LocationSet.h:99</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#l00099">LocationSet.h:99</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d">SVF::LocationSet::NonOverlap</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00099">LocationSet.h:99</a></div></div>
+<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00076">76</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
+<div class="fragment"><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;        <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d">NonOverlap</a>, <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c">Overlap</a>, <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83faf6a3c1bcfe2d3f79b227b649e89edd72">Subset</a>, <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa2241035beb87cdd725d979371537d500">Superset</a>, <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa9b2a5e3c7f7873ac4491ff231e0601d2">Same</a></div><div class="line"><a name="l00079"></a><span class="lineno">   79</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_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>
+<div class="ttc" id="classSVF_1_1LocationSet_html_a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d">SVF::LocationSet::NonOverlap</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00078">LocationSet.h:78</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -250,9 +236,8 @@ Friends</h2></td></tr>
 
 <p>Constructor. </p>
 
-<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="l00105"></a><span class="lineno">  105</span>&#160;                              : <a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a>(o), <a class="code" href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">byteOffset</a>(o)</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    {}</div><div class="ttc" id="classSVF_1_1LocationSet_html_a9fafaf5f69baa5c125d6c3fd89381301"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">SVF::LocationSet::byteOffset</a></div><div class="ttdeci">Size_t byteOffset</div><div class="ttdoc">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00284">LocationSet.h:284</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">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00283">LocationSet.h:283</a></div></div>
+<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><!-- fragment -->
 </div>
 </div>
@@ -282,16 +267,13 @@ Friends</h2></td></tr>
 
 <p>Copy Constructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00109">109</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        : <a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a>(ls.fldIdx), <a class="code" href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">byteOffset</a>(ls.byteOffset)</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    {</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">ElemNumStridePairVec</a>&amp; vec = ls.getNumStridePair();</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;        ElemNumStridePairVec::const_iterator it = vec.begin();</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        ElemNumStridePairVec::const_iterator eit = vec.end();</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        <span class="keywordflow">for</span> (; it != eit; ++it)</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;            <a class="code" href="classSVF_1_1LocationSet.html#a38077e721631f3c6b09238880c97732b">addElemNumStridePair</a>(*it);</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a8eb854480cc3efc1df4e6ebe916990d2"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">SVF::LocationSet::ElemNumStridePairVec</a></div><div class="ttdeci">FieldInfo::ElemNumStridePairVec ElemNumStridePairVec</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00102">LocationSet.h:102</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a38077e721631f3c6b09238880c97732b"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a38077e721631f3c6b09238880c97732b">SVF::LocationSet::addElemNumStridePair</a></div><div class="ttdeci">void addElemNumStridePair(const NodePair &amp;pair)</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8cpp_source.html#l00041">LocationSet.cpp:41</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a9fafaf5f69baa5c125d6c3fd89381301"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">SVF::LocationSet::byteOffset</a></div><div class="ttdeci">Size_t byteOffset</div><div class="ttdoc">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00284">LocationSet.h:284</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">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00283">LocationSet.h:283</a></div></div>
+<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><!-- fragment -->
 </div>
 </div>
-<a id="afd3b135453644cd42e869d378c270d23"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afd3b135453644cd42e869d378c270d23">&#9670;&nbsp;</a></span>LocationSet() <span class="overload">[3/3]</span></h2>
+<a id="aa19807a258fc673e6885eafb924ecc91"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa19807a258fc673e6885eafb924ecc91">&#9670;&nbsp;</a></span>LocationSet() <span class="overload">[3/3]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -302,7 +284,7 @@ Friends</h2></td></tr>
         <tr>
           <td class="memname">SVF::LocationSet::LocationSet </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1FieldInfo.html">FieldInfo</a> &amp;&#160;</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1FlattenedFieldInfo.html">FlattenedFieldInfo</a> &amp;&#160;</td>
           <td class="paramname"><em>fi</em></td><td>)</td>
           <td></td>
         </tr>
@@ -314,13 +296,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Initialization from <a class="el" href="classSVF_1_1FieldInfo.html">FieldInfo</a>. </p>
+<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#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;        : <a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a>(fi.getFlattenFldIdx()), <a class="code" href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">byteOffset</a>(fi.getFlattenByteOffset())</div><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="keyword">const</span> <a class="code" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">ElemNumStridePairVec</a>&amp; vec = fi.getElemNumStridePairVect();</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        ElemNumStridePairVec::const_iterator it = vec.begin();</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        ElemNumStridePairVec::const_iterator eit = vec.end();</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        <span class="keywordflow">for</span> (; it != eit; ++it)</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            <a class="code" href="classSVF_1_1LocationSet.html#a38077e721631f3c6b09238880c97732b">addElemNumStridePair</a>(*it);</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a8eb854480cc3efc1df4e6ebe916990d2"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">SVF::LocationSet::ElemNumStridePairVec</a></div><div class="ttdeci">FieldInfo::ElemNumStridePairVec ElemNumStridePairVec</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00102">LocationSet.h:102</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a38077e721631f3c6b09238880c97732b"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a38077e721631f3c6b09238880c97732b">SVF::LocationSet::addElemNumStridePair</a></div><div class="ttdeci">void addElemNumStridePair(const NodePair &amp;pair)</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8cpp_source.html#l00041">LocationSet.cpp:41</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a9fafaf5f69baa5c125d6c3fd89381301"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">SVF::LocationSet::byteOffset</a></div><div class="ttdeci">Size_t byteOffset</div><div class="ttdoc">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00284">LocationSet.h:284</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">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00283">LocationSet.h:283</a></div></div>
+<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><!-- fragment -->
 </div>
 </div>
@@ -347,41 +326,66 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00130">130</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;{}</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00099">99</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;{}</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
-<a id="a38077e721631f3c6b09238880c97732b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a38077e721631f3c6b09238880c97732b">&#9670;&nbsp;</a></span>addElemNumStridePair()</h2>
+<a id="ac098bc95299002b9016684fa7f2799ca"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac098bc95299002b9016684fa7f2799ca">&#9670;&nbsp;</a></span>accumulateConstantOffset()</h2>
 
 <div class="memitem">
 <div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">void LocationSet::addElemNumStridePair </td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> SVF::LocationSet::accumulateConstantOffset </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">NodePair</a> &amp;&#160;</td>
-          <td class="paramname"><em>pair</em></td><td>)</td>
+          <td class="paramname"></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>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>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="ac544fa84eff20dfe043b7d0c771dec2b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac544fa84eff20dfe043b7d0c771dec2b">&#9670;&nbsp;</a></span>addOffsetValue()</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <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></td>
         </tr>
       </table>
 </div><div class="memdoc">
-<p>Add element num and stride pair </p>
-<p>The pair will not be added if any number of a stride is zero, because they will not have effect on the locations represented by this <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a>.</p>
-<p>Find the GCD stride </p>
-
-<p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00041">41</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;{</div><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;    <span class="keywordflow">if</span> (pair.first == 0 || pair.second == 0)</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;        <span class="keywordflow">return</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;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">Options::SingleStride</a>)</div><div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;    {</div><div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">numStridePair</a>.empty())</div><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;            <a class="code" href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">numStridePair</a>.push_back(std::make_pair(<a class="code" href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">StInfo::getMaxFieldLimit</a>(),pair.second));</div><div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;        {</div><div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;            <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> existStride = (*<a class="code" href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">numStridePair</a>.begin()).second;</div><div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;            <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> newStride = <a class="code" href="classSVF_1_1LocationSet.html#a4f7a3b135ffa9bc9a5c721d1e23a61a4">gcd</a>(pair.second, existStride);</div><div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;            <span class="keywordflow">if</span> (newStride != existStride)</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;                <a class="code" href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">numStridePair</a>.pop_back();</div><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;                <a class="code" href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">numStridePair</a>.push_back(std::make_pair(<a class="code" href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">StInfo::getMaxFieldLimit</a>(),newStride));</div><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;    }</div><div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;    {</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;        <a class="code" href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">numStridePair</a>.push_back(pair);</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    }</div><div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_aa734ee7b55809934b441cf5e5818e015"><div class="ttname"><a href="classSVF_1_1Options.html#aa734ee7b55809934b441cf5e5818e015">SVF::Options::SingleStride</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; SingleStride</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00124">Options.h:124</a></div></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#l00278">LocationSet.h:278</a></div></div>
-<div class="ttc" id="classSVF_1_1StInfo_html_ad6e599717952f8ccc2771cd72254b6b2"><div class="ttname"><a href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">SVF::StInfo::getMaxFieldLimit</a></div><div class="ttdeci">static u32_t getMaxFieldLimit()</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00535">SymbolTableInfo.h:535</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_abb755e95c8b292b3a6f3eff0256d1790"><div class="ttname"><a href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">SVF::LocationSet::numStridePair</a></div><div class="ttdeci">ElemNumStridePairVec numStridePair</div><div class="ttdoc">element number and stride pair </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00285">LocationSet.h:285</a></div></div>
+<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><!-- fragment -->
 </div>
 </div>
-<a id="a6962903a24f540c6bc58b8ae6a0cc757"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6962903a24f540c6bc58b8ae6a0cc757">&#9670;&nbsp;</a></span>checkRelation()</h2>
+<a id="a4e839125b32c7cb3ad07fbec6f203c10"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4e839125b32c7cb3ad07fbec6f203c10">&#9670;&nbsp;</a></span>checkRelation()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -390,7 +394,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">static <a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83f">LSRelation</a> SVF::LocationSet::checkRelation </td>
+          <td class="memname"><a class="el" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83f">SVF::LocationSet::LSRelation</a> LocationSet::checkRelation </td>
           <td>(</td>
           <td class="paramtype">const <a class="el" href="classSVF_1_1LocationSet.html">LocationSet</a> &amp;&#160;</td>
           <td class="paramname"><em>LHS</em>, </td>
@@ -409,20 +413,21 @@ Friends</h2></td></tr>
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">static</span></span>  </td>
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
 
 <p>Check relations of two location sets. </p>
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00230">230</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;    {</div><div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;        <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> lhsLocations = LHS.computeAllLocations();</div><div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;        <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> rhsLocations = RHS.computeAllLocations();</div><div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;        <span class="keywordflow">if</span> (lhsLocations.intersects(rhsLocations))</div><div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;        {</div><div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;            <span class="keywordflow">if</span> (lhsLocations == rhsLocations)</div><div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa9b2a5e3c7f7873ac4491ff231e0601d2">Same</a>;</div><div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhsLocations.contains(rhsLocations))</div><div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa2241035beb87cdd725d979371537d500">Superset</a>;</div><div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (rhsLocations.contains(lhsLocations))</div><div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83faf6a3c1bcfe2d3f79b227b649e89edd72">Subset</a>;</div><div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;                <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fa8c76affbe3b39db53e8046cd5d79903c">Overlap</a>;</div><div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;        }</div><div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;        {</div><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d">NonOverlap</a>;</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;        }</div><div class="line"><a name="l00249"></a><span class="lineno">  249</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#l00099">LocationSet.h:99</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#l00099">LocationSet.h:99</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#l00099">LocationSet.h:99</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#l00099">LocationSet.h:99</a></div></div>
+<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>
+<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>
 <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_a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d">SVF::LocationSet::NonOverlap</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00099">LocationSet.h:99</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html_a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a002a0c8ec2528835d809bf7eb3ebc83fafb9c7d6d06f6f3ab60bd575aaca5d14d">SVF::LocationSet::NonOverlap</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00078">LocationSet.h:78</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -452,50 +457,36 @@ 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#l00115">115</a> of file <a class="el" href="LocationSet_8cpp_source.html">LocationSet.cpp</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;</div><div class="line"><a name="l00118"></a><span class="lineno">  118</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="l00119"></a><span class="lineno">  119</span>&#160;    result.set(<a class="code" href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">getOffset</a>());</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1LocationSet.html#a464c14d79a64dc403c2757b3b8520cbd">isConstantOffset</a>() == <span class="keyword">false</span>)</div><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="keyword">const</span> <a class="code" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">ElemNumStridePairVec</a>&amp; lhsVec = <a class="code" href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">getNumStridePair</a>();</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        std::vector&lt;NodeID&gt; indices;</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> size = lhsVec.size();</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        <span class="keywordflow">while</span> (size)</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        {</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;            indices.push_back(0);</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;            size--;</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="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        <span class="keywordflow">do</span></div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        {</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;            <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;            <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> ofst = <a class="code" href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">getOffset</a>();</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;            <span class="keywordflow">while</span> (i &lt; lhsVec.size())</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;            {</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;                ofst += (lhsVec[i].second * indices[i]);</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;                i++;</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;            }</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;            result.set(ofst);</div><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;        }</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;        <span class="keywordflow">while</span> (<a class="code" href="classSVF_1_1LocationSet.html#a7e2081a930eafaee4c68c9dd9e70e2bd">increaseIfNotReachUpperBound</a>(indices, lhsVec));</div><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;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a8eb854480cc3efc1df4e6ebe916990d2"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">SVF::LocationSet::ElemNumStridePairVec</a></div><div class="ttdeci">FieldInfo::ElemNumStridePairVec ElemNumStridePairVec</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00102">LocationSet.h:102</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a464c14d79a64dc403c2757b3b8520cbd"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a464c14d79a64dc403c2757b3b8520cbd">SVF::LocationSet::isConstantOffset</a></div><div class="ttdeci">bool isConstantOffset() const</div><div class="ttdoc">Return TRUE if this is a constant location set. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00218">LocationSet.h:218</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00075">SVFBasicTypes.h:75</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a7e2081a930eafaee4c68c9dd9e70e2bd"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a7e2081a930eafaee4c68c9dd9e70e2bd">SVF::LocationSet::increaseIfNotReachUpperBound</a></div><div class="ttdeci">bool increaseIfNotReachUpperBound(std::vector&lt; NodeID &gt; &amp;indices, const ElemNumStridePairVec &amp;pairVec) const</div><div class="ttdoc">Return TRUE if successfully increased any index by 1. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8cpp_source.html#l00074">LocationSet.cpp:74</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_ab85c3707152e03722bd631b2525f223e"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">SVF::LocationSet::getOffset</a></div><div class="ttdeci">Size_t getOffset() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00193">LocationSet.h:193</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>
+<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#ac098bc95299002b9016684fa7f2799ca">accumulateConstantOffset</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>
 <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_a3720af92ca2a65f02492e752b07ba241"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">SVF::LocationSet::getNumStridePair</a></div><div class="ttdeci">const ElemNumStridePairVec &amp; getNumStridePair() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00209">LocationSet.h:209</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html_ac098bc95299002b9016684fa7f2799ca"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ac098bc95299002b9016684fa7f2799ca">SVF::LocationSet::accumulateConstantOffset</a></div><div class="ttdeci">Size_t accumulateConstantOffset() 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>
-<a id="a4e5f29661da66367cea70a0d3fa108b4"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a4e5f29661da66367cea70a0d3fa108b4">&#9670;&nbsp;</a></span>dump()</h2>
+<a id="a53f1b2e417682a56d45dfb1f7d5ccd1c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a53f1b2e417682a56d45dfb1f7d5ccd1c">&#9670;&nbsp;</a></span>dump()</h2>
 
 <div class="memitem">
 <div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">std::string SVF::LocationSet::dump </td>
+          <td class="memname">std::string LocationSet::dump </td>
           <td>(</td>
           <td class="paramname"></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>Dump location set. </p>
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00252">252</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;    {</div><div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;        std::string str;</div><div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;        <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;</div><div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;LocationSet\tField_Index: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">getOffset</a>();</div><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;\tOffset: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d">getByteOffset</a>()</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;               &lt;&lt; <span class="stringliteral">&quot;,\tNum-Stride: {&quot;</span>;</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">ElemNumStridePairVec</a>&amp; vec = <a class="code" href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">getNumStridePair</a>();</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;        ElemNumStridePairVec::const_iterator it = vec.begin();</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;        ElemNumStridePairVec::const_iterator eit = vec.end();</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;        <span class="keywordflow">for</span> (; it != eit; ++it)</div><div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;        {</div><div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;            rawstr &lt;&lt; <span class="stringliteral">&quot; (&quot;</span> &lt;&lt; it-&gt;first &lt;&lt; <span class="stringliteral">&quot;,&quot;</span> &lt;&lt; it-&gt;second &lt;&lt; <span class="stringliteral">&quot;)&quot;</span>;</div><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;        }</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot; }\n&quot;</span>;</div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a5322dcda48d6980c3f7aafa169fcd77d"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d">SVF::LocationSet::getByteOffset</a></div><div class="ttdeci">Size_t getByteOffset() const</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_a8eb854480cc3efc1df4e6ebe916990d2"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">SVF::LocationSet::ElemNumStridePairVec</a></div><div class="ttdeci">FieldInfo::ElemNumStridePairVec ElemNumStridePairVec</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00102">LocationSet.h:102</a></div></div>
+<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#ac098bc95299002b9016684fa7f2799ca">accumulateConstantOffset</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>
 <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="classSVF_1_1LocationSet_html_ab85c3707152e03722bd631b2525f223e"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">SVF::LocationSet::getOffset</a></div><div class="ttdeci">Size_t getOffset() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00193">LocationSet.h:193</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a3720af92ca2a65f02492e752b07ba241"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">SVF::LocationSet::getNumStridePair</a></div><div class="ttdeci">const ElemNumStridePairVec &amp; getNumStridePair() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00209">LocationSet.h:209</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#l00388">SVFUtil.cpp:388</a></div></div>
+<div class="ttc" id="classSVF_1_1LocationSet_html_ac098bc95299002b9016684fa7f2799ca"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ac098bc95299002b9016684fa7f2799ca">SVF::LocationSet::accumulateConstantOffset</a></div><div class="ttdeci">Size_t accumulateConstantOffset() 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>
@@ -535,41 +526,13 @@ Friends</h2></td></tr>
 
 <p>Return greatest common divisor. </p>
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00278">278</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;    {</div><div class="line"><a name="l00280"></a><span class="lineno">  280</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="l00281"></a><span class="lineno">  281</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#l00278">LocationSet.h:278</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a5322dcda48d6980c3f7aafa169fcd77d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a5322dcda48d6980c3f7aafa169fcd77d">&#9670;&nbsp;</a></span>getByteOffset()</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="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> SVF::LocationSet::getByteOffset </td>
-          <td>(</td>
-          <td class="paramname"></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#l00197">197</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;    {</div><div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">byteOffset</a>;</div><div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a9fafaf5f69baa5c125d6c3fd89381301"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">SVF::LocationSet::byteOffset</a></div><div class="ttdeci">Size_t byteOffset</div><div class="ttdoc">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00284">LocationSet.h:284</a></div></div>
+<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><!-- fragment -->
 </div>
 </div>
-<a id="a3720af92ca2a65f02492e752b07ba241"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3720af92ca2a65f02492e752b07ba241">&#9670;&nbsp;</a></span>getNumStridePair()</h2>
+<a id="a5a5ca0b81da0b34ab426bc6a28ed346c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5a5ca0b81da0b34ab426bc6a28ed346c">&#9670;&nbsp;</a></span>getOffsetValueVec()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -578,7 +541,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#a8eb854480cc3efc1df4e6ebe916990d2">ElemNumStridePairVec</a>&amp; SVF::LocationSet::getNumStridePair </td>
+          <td class="memname">const <a class="el" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">OffsetValueVec</a>&amp; SVF::LocationSet::getOffsetValueVec </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -591,83 +554,8 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00209">209</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;    {</div><div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">numStridePair</a>;</div><div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_abb755e95c8b292b3a6f3eff0256d1790"><div class="ttname"><a href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">SVF::LocationSet::numStridePair</a></div><div class="ttdeci">ElemNumStridePairVec numStridePair</div><div class="ttdoc">element number and stride pair </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00285">LocationSet.h:285</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="ab85c3707152e03722bd631b2525f223e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab85c3707152e03722bd631b2525f223e">&#9670;&nbsp;</a></span>getOffset()</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="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> SVF::LocationSet::getOffset </td>
-          <td>(</td>
-          <td class="paramname"></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>Get methods. </p>
-
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00193">193</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;    {</div><div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a>;</div><div class="line"><a name="l00196"></a><span class="lineno">  196</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">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00283">LocationSet.h:283</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a7e2081a930eafaee4c68c9dd9e70e2bd"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a7e2081a930eafaee4c68c9dd9e70e2bd">&#9670;&nbsp;</a></span>increaseIfNotReachUpperBound()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">bool LocationSet::increaseIfNotReachUpperBound </td>
-          <td>(</td>
-          <td class="paramtype">std::vector&lt; <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt; &amp;&#160;</td>
-          <td class="paramname"><em>indices</em>, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">ElemNumStridePairVec</a> &amp;&#160;</td>
-          <td class="paramname"><em>pairVec</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">private</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Return TRUE if successfully increased any index by 1. </p>
-<p>Return TRUE if it successfully increases any index by 1 </p>
-<p>Check if all indices reach upper bound</p>
-<p>Increase index if not reach upper bound </p>
-
-<p class="definition">Definition at line <a class="el" href="LocationSet_8cpp_source.html#l00074">74</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="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(indices.size() == pairVec.size() &amp;&amp; <span class="stringliteral">&quot;vector size not match&quot;</span>);</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    <span class="keywordtype">bool</span> reachUpperBound = <span class="keyword">true</span>;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0; i &lt; indices.size(); i++)</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    {</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(pairVec[i].first &gt; 0 &amp;&amp; <span class="stringliteral">&quot;number must be greater than 0&quot;</span>);</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;        <span class="keywordflow">if</span> (indices[i] &lt; (pairVec[i].first - 1))</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;            reachUpperBound = <span class="keyword">false</span>;</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;</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    <span class="keywordtype">bool</span> increased = <span class="keyword">false</span>;</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;    <span class="keywordflow">if</span> (reachUpperBound == <span class="keyword">false</span>)</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    {</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0;</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;        <span class="keywordflow">while</span> (increased == <span class="keyword">false</span>)</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;        {</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;            <span class="keywordflow">if</span> (indices[i] &lt; (pairVec[i].first - 1))</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;                indices[i] += 1;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;                increased = <span class="keyword">true</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;            <span class="keywordflow">else</span></div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;            {</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;                indices[i] = 0;</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;                i++;</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;            }</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;</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    <span class="keywordflow">return</span> increased;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;}</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00075">SVFBasicTypes.h:75</a></div></div>
+<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>
 </div><!-- fragment -->
 </div>
 </div>
@@ -697,38 +585,32 @@ 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#l00224">224</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;    {</div><div class="line"><a name="l00226"></a><span class="lineno">  226</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="l00227"></a><span class="lineno">  227</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#l00115">LocationSet.cpp:115</a></div></div>
+<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>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a464c14d79a64dc403c2757b3b8520cbd"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a464c14d79a64dc403c2757b3b8520cbd">&#9670;&nbsp;</a></span>isConstantOffset()</h2>
+<a id="a4a9185282308c50f86fdf66f7060373d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4a9185282308c50f86fdf66f7060373d">&#9670;&nbsp;</a></span>isConstantOffset()</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::isConstantOffset </td>
+          <td class="memname">bool LocationSet::isConstantOffset </td>
           <td>(</td>
           <td class="paramname"></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>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_8h_source.html#l00218">218</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;    {</div><div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;        <span class="keywordflow">return</span> (<a class="code" href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">numStridePair</a>.size() == 0);</div><div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_abb755e95c8b292b3a6f3eff0256d1790"><div class="ttname"><a href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">SVF::LocationSet::numStridePair</a></div><div class="ttdeci">ElemNumStridePairVec numStridePair</div><div class="ttdoc">element number and stride pair </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00285">LocationSet.h:285</a></div></div>
+<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>
 </div><!-- fragment -->
 </div>
 </div>
@@ -758,11 +640,10 @@ Friends</h2></td></tr>
 
 <p>Overload operators. </p>
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00135">135</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><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;        <a class="code" href="classSVF_1_1LocationSet.html#ac07e93a10d3f981c2ef6fcc507118182">LocationSet</a> ls(rhs);</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        ls.fldIdx += <a class="code" href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">getOffset</a>();</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        ls.byteOffset += <a class="code" href="classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d">getByteOffset</a>();</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;        ElemNumStridePairVec::const_iterator it = <a class="code" href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">getNumStridePair</a>().begin();</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        ElemNumStridePairVec::const_iterator eit = <a class="code" href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">getNumStridePair</a>().end();</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        <span class="keywordflow">for</span> (; it != eit; ++it)</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;            ls.addElemNumStridePair(*it);</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;        <span class="keywordflow">return</span> ls;</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a5322dcda48d6980c3f7aafa169fcd77d"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a5322dcda48d6980c3f7aafa169fcd77d">SVF::LocationSet::getByteOffset</a></div><div class="ttdeci">Size_t getByteOffset() const</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_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#l00105">LocationSet.h:105</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_ab85c3707152e03722bd631b2525f223e"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ab85c3707152e03722bd631b2525f223e">SVF::LocationSet::getOffset</a></div><div class="ttdeci">Size_t getOffset() const</div><div class="ttdoc">Get methods. </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00193">LocationSet.h:193</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a3720af92ca2a65f02492e752b07ba241"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">SVF::LocationSet::getNumStridePair</a></div><div class="ttdeci">const ElemNumStridePairVec &amp; getNumStridePair() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00209">LocationSet.h:209</a></div></div>
+<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#ac098bc95299002b9016684fa7f2799ca">accumulateConstantOffset</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_ac098bc95299002b9016684fa7f2799ca"><div class="ttname"><a href="classSVF_1_1LocationSet.html#ac098bc95299002b9016684fa7f2799ca">SVF::LocationSet::accumulateConstantOffset</a></div><div class="ttdeci">Size_t accumulateConstantOffset() 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>
@@ -790,10 +671,10 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<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">if</span> (<a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a> != rhs.fldIdx)</div><div class="line"><a name="l00157"></a><span class="lineno">  157</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="l00158"></a><span class="lineno">  158</span>&#160;<span class="comment">//        else if (byteOffset != rhs.byteOffset)</span></div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;<span class="comment">//            return (byteOffset &lt; rhs.byteOffset);</span></div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;        {</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">ElemNumStridePairVec</a>&amp; pairVec = <a class="code" href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">getNumStridePair</a>();</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">ElemNumStridePairVec</a>&amp; rhsPairVec = rhs.getNumStridePair();</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;            <span class="keywordflow">if</span> (pairVec.size() != rhsPairVec.size())</div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;                <span class="keywordflow">return</span> (pairVec.size() &lt; rhsPairVec.size());</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;            <span class="keywordflow">else</span></div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;            {</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;                ElemNumStridePairVec::const_iterator it = pairVec.begin();</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;                ElemNumStridePairVec::const_iterator rhsIt = rhsPairVec.begin();</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;                <span class="keywordflow">for</span> (; it != pairVec.end() &amp;&amp; rhsIt != rhsPairVec.end(); ++it, ++rhsIt)</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;                {</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;                    <span class="keywordflow">if</span> ((*it).first != (*rhsIt).first)</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;                        <span class="keywordflow">return</span> ((*it).first &lt; (*rhsIt).first);</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;                    <span class="keywordflow">else</span> <span class="keywordflow">if</span> ((*it).second != (*rhsIt).second)</div><div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;                        <span class="keywordflow">return</span> ((*it).second &lt; (*rhsIt).second);</div><div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;                }</div><div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;</div><div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;            }</div><div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;        }</div><div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a8eb854480cc3efc1df4e6ebe916990d2"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">SVF::LocationSet::ElemNumStridePairVec</a></div><div class="ttdeci">FieldInfo::ElemNumStridePairVec ElemNumStridePairVec</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00102">LocationSet.h:102</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">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00283">LocationSet.h:283</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_a3720af92ca2a65f02492e752b07ba241"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a3720af92ca2a65f02492e752b07ba241">SVF::LocationSet::getNumStridePair</a></div><div class="ttdeci">const ElemNumStridePairVec &amp; getNumStridePair() const</div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00209">LocationSet.h:209</a></div></div>
+<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>
 </div><!-- fragment -->
 </div>
 </div>
@@ -821,10 +702,9 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00147">147</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    {</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        <a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a> = rhs.fldIdx;</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        <a class="code" href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">byteOffset</a> = rhs.byteOffset;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        <a class="code" href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">numStridePair</a> = rhs.getNumStridePair();</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;        <span class="keywordflow">return</span> *<span class="keyword">this</span>;</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a9fafaf5f69baa5c125d6c3fd89381301"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">SVF::LocationSet::byteOffset</a></div><div class="ttdeci">Size_t byteOffset</div><div class="ttdoc">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00284">LocationSet.h:284</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">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00283">LocationSet.h:283</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_abb755e95c8b292b3a6f3eff0256d1790"><div class="ttname"><a href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">SVF::LocationSet::numStridePair</a></div><div class="ttdeci">ElemNumStridePairVec numStridePair</div><div class="ttdoc">element number and stride pair </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00285">LocationSet.h:285</a></div></div>
+<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>
 </div><!-- fragment -->
 </div>
 </div>
@@ -852,39 +732,9 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00183">183</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;    {</div><div class="line"><a name="l00185"></a><span class="lineno">  185</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="l00186"></a><span class="lineno">  186</span>&#160;               &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">byteOffset</a> == rhs.byteOffset</div><div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;               &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">numStridePair</a> == rhs.numStridePair;</div><div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a9fafaf5f69baa5c125d6c3fd89381301"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">SVF::LocationSet::byteOffset</a></div><div class="ttdeci">Size_t byteOffset</div><div class="ttdoc">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00284">LocationSet.h:284</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">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00283">LocationSet.h:283</a></div></div>
-<div class="ttc" id="classSVF_1_1LocationSet_html_abb755e95c8b292b3a6f3eff0256d1790"><div class="ttname"><a href="classSVF_1_1LocationSet.html#abb755e95c8b292b3a6f3eff0256d1790">SVF::LocationSet::numStridePair</a></div><div class="ttdeci">ElemNumStridePairVec numStridePair</div><div class="ttdoc">element number and stride pair </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00285">LocationSet.h:285</a></div></div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a6c5b8c1a9f765de8bcbefb681ca6a92c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6c5b8c1a9f765de8bcbefb681ca6a92c">&#9670;&nbsp;</a></span>setByteOffset()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">void SVF::LocationSet::setByteOffset </td>
-          <td>(</td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a>&#160;</td>
-          <td class="paramname"><em>os</em></td><td>)</td>
-          <td></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#l00205">205</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;    {</div><div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;        <a class="code" href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">byteOffset</a> = os;</div><div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;    }</div><div class="ttc" id="classSVF_1_1LocationSet_html_a9fafaf5f69baa5c125d6c3fd89381301"><div class="ttname"><a href="classSVF_1_1LocationSet.html#a9fafaf5f69baa5c125d6c3fd89381301">SVF::LocationSet::byteOffset</a></div><div class="ttdeci">Size_t byteOffset</div><div class="ttdoc">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00284">LocationSet.h:284</a></div></div>
+<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>
 </div><!-- fragment -->
 </div>
 </div>
@@ -912,8 +762,8 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00201">201</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;    {</div><div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;        <a class="code" href="classSVF_1_1LocationSet.html#ac15467bbdc05b9b0fd0398583168811b">fldIdx</a> = idx;</div><div class="line"><a name="l00204"></a><span class="lineno">  204</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">offset relative to base </div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00283">LocationSet.h:283</a></div></div>
+<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>
 </div><!-- fragment -->
 </div>
 </div>
@@ -938,37 +788,11 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00095">95</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#l00074">74</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
 
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
-<a id="a9fafaf5f69baa5c125d6c3fd89381301"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9fafaf5f69baa5c125d6c3fd89381301">&#9670;&nbsp;</a></span>byteOffset</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="namespaceSVF.html#a2db29836a72e8d86e9baa6d8d55d2978">Size_t</a> SVF::LocationSet::byteOffset</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">private</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>offset relative to base </p>
-
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00284">284</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
-
-</div>
-</div>
 <a id="ac15467bbdc05b9b0fd0398583168811b"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#ac15467bbdc05b9b0fd0398583168811b">&#9670;&nbsp;</a></span>fldIdx</h2>
 
@@ -989,14 +813,14 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>offset relative to base </p>
+<p>Accumulated Constant Offsets. </p>
 
-<p class="definition">Definition at line <a class="el" href="LocationSet_8h_source.html#l00283">283</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#l00196">196</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
 
 </div>
 </div>
-<a id="abb755e95c8b292b3a6f3eff0256d1790"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#abb755e95c8b292b3a6f3eff0256d1790">&#9670;&nbsp;</a></span>numStridePair</h2>
+<a id="a5a2792b8b914557a9ccf0e57d0ed8b30"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5a2792b8b914557a9ccf0e57d0ed8b30">&#9670;&nbsp;</a></span>offsetValues</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1005,7 +829,7 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1LocationSet.html#a8eb854480cc3efc1df4e6ebe916990d2">ElemNumStridePairVec</a> SVF::LocationSet::numStridePair</td>
+          <td class="memname"><a class="el" href="classSVF_1_1LocationSet.html#a9cfbfba21f40feb2cc7e0003d4aaaae5">OffsetValueVec</a> SVF::LocationSet::offsetValues</td>
         </tr>
       </table>
   </td>
@@ -1015,9 +839,9 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>element number and stride pair </p>
+<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#l00285">285</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#l00197">197</a> of file <a class="el" href="LocationSet_8h_source.html">LocationSet.h</a>.</p>
 
 </div>
 </div>