svf-tools 1.0.352 → 1.0.356

package/SVF-doxygen/html/html/classSVF_1_1StInfo.html

@@ -65,6 +65,7 @@ $(function() {
   <div class="summary">
 <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="#pri-static-attribs">Static Private Attributes</a> &#124;
 <a href="classSVF_1_1StInfo-members.html">List of all members</a>  </div>
@@ -77,9 +78,9 @@ $(function() {
 <table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:a72dd2114d61e1489676a524b83ebb5ac"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a72dd2114d61e1489676a524b83ebb5ac">StInfo</a> ()</td></tr>
-<tr class="memdesc:a72dd2114d61e1489676a524b83ebb5ac"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a72dd2114d61e1489676a524b83ebb5ac">More...</a><br /></td></tr>
-<tr class="separator:a72dd2114d61e1489676a524b83ebb5ac"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8c6d6933ad2c4be044d0a3557736e28d"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a8c6d6933ad2c4be044d0a3557736e28d">StInfo</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> s)</td></tr>
+<tr class="memdesc:a8c6d6933ad2c4be044d0a3557736e28d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a8c6d6933ad2c4be044d0a3557736e28d">More...</a><br /></td></tr>
+<tr class="separator:a8c6d6933ad2c4be044d0a3557736e28d"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a1fa88b6bfbbd648df1b15f11d61578ed"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a1fa88b6bfbbd648df1b15f11d61578ed">~StInfo</a> ()</td></tr>
 <tr class="memdesc:a1fa88b6bfbbd648df1b15f11d61578ed"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="#a1fa88b6bfbbd648df1b15f11d61578ed">More...</a><br /></td></tr>
 <tr class="separator:a1fa88b6bfbbd648df1b15f11d61578ed"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -89,11 +90,16 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a102181a3ac3c634e3c25a566756ec764"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aaf05447c20c9f90eea64ab6e88d6ab05"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#aaf05447c20c9f90eea64ab6e88d6ab05">getFlattenedFieldIdxVec</a> ()</td></tr>
 <tr class="separator:aaf05447c20c9f90eea64ab6e88d6ab05"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acd2021bf9d624d83f86a6fa1a4423c8c"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#acd2021bf9d624d83f86a6fa1a4423c8c">getFlattenedOffsetVec</a> ()</td></tr>
+<tr class="separator:acd2021bf9d624d83f86a6fa1a4423c8c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab5908115f11eccee61bd0759a51d5af0"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="classSVF_1_1FlattenedFieldInfo.html">FlattenedFieldInfo</a> &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#ab5908115f11eccee61bd0759a51d5af0">getFlattenedFieldInfoVec</a> ()</td></tr>
 <tr class="separator:ab5908115f11eccee61bd0759a51d5af0"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7011600965de6fe5401b87f5c71e684f"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a7011600965de6fe5401b87f5c71e684f">addFldWithType</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx, const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *type)</td></tr>
-<tr class="memdesc:a7011600965de6fe5401b87f5c71e684f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add field (index and offset) with its corresponding type.  <a href="#a7011600965de6fe5401b87f5c71e684f">More...</a><br /></td></tr>
-<tr class="separator:a7011600965de6fe5401b87f5c71e684f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5e46da2adce317d2cf58640d06d6b349"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a5e46da2adce317d2cf58640d06d6b349">addFldWithType</a> (<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fldIdx, const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *type, <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> fullOffset)</td></tr>
+<tr class="memdesc:a5e46da2adce317d2cf58640d06d6b349"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add field (index and offset) with its corresponding type.  <a href="#a5e46da2adce317d2cf58640d06d6b349">More...</a><br /></td></tr>
+<tr class="separator:a5e46da2adce317d2cf58640d06d6b349"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af5094ec542f345d214a682d4138cf690"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#af5094ec542f345d214a682d4138cf690">getStride</a> () const</td></tr>
+<tr class="memdesc:af5094ec542f345d214a682d4138cf690"><td class="mdescLeft">&#160;</td><td class="mdescRight">Array Type can have.  <a href="#af5094ec542f345d214a682d4138cf690">More...</a><br /></td></tr>
+<tr class="separator:af5094ec542f345d214a682d4138cf690"><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>
@@ -102,17 +108,35 @@ Static Public Member Functions</h2></td></tr>
 <tr class="memitem:ad6e599717952f8ccc2771cd72254b6b2"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#ad6e599717952f8ccc2771cd72254b6b2">getMaxFieldLimit</a> ()</td></tr>
 <tr class="separator:ad6e599717952f8ccc2771cd72254b6b2"><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:a72dd2114d61e1489676a524b83ebb5ac"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a72dd2114d61e1489676a524b83ebb5ac">StInfo</a> ()</td></tr>
+<tr class="memdesc:a72dd2114d61e1489676a524b83ebb5ac"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="#a72dd2114d61e1489676a524b83ebb5ac">More...</a><br /></td></tr>
+<tr class="separator:a72dd2114d61e1489676a524b83ebb5ac"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acf028061b5a83c339766c30b19e8fc65"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#acf028061b5a83c339766c30b19e8fc65">StInfo</a> (const <a class="el" href="classSVF_1_1StInfo.html">StInfo</a> &amp;st)</td></tr>
+<tr class="memdesc:acf028061b5a83c339766c30b19e8fc65"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="#acf028061b5a83c339766c30b19e8fc65">More...</a><br /></td></tr>
+<tr class="separator:acf028061b5a83c339766c30b19e8fc65"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a99cc762e18baa226ee3e8f928ee048aa"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a99cc762e18baa226ee3e8f928ee048aa">operator=</a> (const <a class="el" href="classSVF_1_1StInfo.html">StInfo</a> &amp;)</td></tr>
+<tr class="memdesc:a99cc762e18baa226ee3e8f928ee048aa"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="#a99cc762e18baa226ee3e8f928ee048aa">More...</a><br /></td></tr>
+<tr class="separator:a99cc762e18baa226ee3e8f928ee048aa"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
 Private Attributes</h2></td></tr>
 <tr class="memitem:a77c94c0ab75b2d5af2132ff8e082cefe"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a></td></tr>
-<tr class="memdesc:a77c94c0ab75b2d5af2132ff8e082cefe"><td class="mdescLeft">&#160;</td><td class="mdescRight">flattened field indices of a struct  <a href="#a77c94c0ab75b2d5af2132ff8e082cefe">More...</a><br /></td></tr>
+<tr class="memdesc:a77c94c0ab75b2d5af2132ff8e082cefe"><td class="mdescLeft">&#160;</td><td class="mdescRight">flattened field indices of a struct (ignoring arrays)  <a href="#a77c94c0ab75b2d5af2132ff8e082cefe">More...</a><br /></td></tr>
 <tr class="separator:a77c94c0ab75b2d5af2132ff8e082cefe"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5a7987ced798a2194d8c74025547f407"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a5a7987ced798a2194d8c74025547f407">fullOffsetVec</a></td></tr>
+<tr class="memdesc:a5a7987ced798a2194d8c74025547f407"><td class="mdescLeft">&#160;</td><td class="mdescRight">flattened full offset (including array strides)  <a href="#a5a7987ced798a2194d8c74025547f407">More...</a><br /></td></tr>
+<tr class="separator:a5a7987ced798a2194d8c74025547f407"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a3da859dcf2a5fe7078b1257dd5f1e479"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>, const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a></td></tr>
 <tr class="memdesc:a3da859dcf2a5fe7078b1257dd5f1e479"><td class="mdescLeft">&#160;</td><td class="mdescRight">Types of all fields of a struct.  <a href="#a3da859dcf2a5fe7078b1257dd5f1e479">More...</a><br /></td></tr>
 <tr class="separator:a3da859dcf2a5fe7078b1257dd5f1e479"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a3ecda817de388504648fa444312a2974"><td class="memItemLeft" align="right" valign="top">std::vector&lt; <a class="el" href="classSVF_1_1FlattenedFieldInfo.html">FlattenedFieldInfo</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">finfo</a></td></tr>
 <tr class="memdesc:a3ecda817de388504648fa444312a2974"><td class="mdescLeft">&#160;</td><td class="mdescRight">All field infos after flattening a struct.  <a href="#a3ecda817de388504648fa444312a2974">More...</a><br /></td></tr>
 <tr class="separator:a3ecda817de388504648fa444312a2974"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6c52ecbeeeeb0dda019c68aec687f2c2"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a></td></tr>
+<tr class="memdesc:a6c52ecbeeeeb0dda019c68aec687f2c2"><td class="mdescLeft">&#160;</td><td class="mdescRight">stride represents the number of repetitive elements if this <a class="el" href="classSVF_1_1StInfo.html">StInfo</a> represent an ArrayType. stride is 1 by default.  <a href="#a6c52ecbeeeeb0dda019c68aec687f2c2">More...</a><br /></td></tr>
+<tr class="separator:a6c52ecbeeeeb0dda019c68aec687f2c2"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-static-attribs"></a>
 Static Private Attributes</h2></td></tr>
@@ -121,12 +145,12 @@ Static Private Attributes</h2></td></tr>
 <tr class="separator:a4cd926bd095254dd287f1cf26e02483e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
-<div class="textblock"><p>Struct information </p>
+<div class="textblock"><p>Flatterned type information of StructType, ArrayType and SingleValueType </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00506">506</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00510">510</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a72dd2114d61e1489676a524b83ebb5ac"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a72dd2114d61e1489676a524b83ebb5ac">&#9670;&nbsp;</a></span>StInfo()</h2>
+<h2 class="memtitle"><span class="permalink"><a href="#a72dd2114d61e1489676a524b83ebb5ac">&#9670;&nbsp;</a></span>StInfo() <span class="overload">[1/3]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -143,6 +167,62 @@ Static Private Attributes</h2></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>place holder </p>
+
+</div>
+</div>
+<a id="acf028061b5a83c339766c30b19e8fc65"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#acf028061b5a83c339766c30b19e8fc65">&#9670;&nbsp;</a></span>StInfo() <span class="overload">[2/3]</span></h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">SVF::StInfo::StInfo </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1StInfo.html">StInfo</a> &amp;&#160;</td>
+          <td class="paramname"><em>st</em></td><td>)</td>
+          <td></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>place holder </p>
+
+</div>
+</div>
+<a id="a8c6d6933ad2c4be044d0a3557736e28d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a8c6d6933ad2c4be044d0a3557736e28d">&#9670;&nbsp;</a></span>StInfo() <span class="overload">[3/3]</span></h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">SVF::StInfo::StInfo </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
+          <td class="paramname"><em>s</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>
@@ -150,8 +230,9 @@ Static Private Attributes</h2></td></tr>
 
 <p>Constructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00522">522</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;    {</div><div class="line"><a name="l00524"></a><span class="lineno">  524</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00533">533</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;                    : <a class="code" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a>(s)</div><div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;    {</div><div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdoc">stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00523">SymbolTableInfo.h:523</a></div></div>
+</div><!-- fragment -->
 </div>
 </div>
 <a id="a1fa88b6bfbbd648df1b15f11d61578ed"></a>
@@ -179,13 +260,13 @@ Static Private Attributes</h2></td></tr>
 
 <p>Destructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00526">526</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;    {</div><div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00537">537</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;    {</div><div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
-<a id="a7011600965de6fe5401b87f5c71e684f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a7011600965de6fe5401b87f5c71e684f">&#9670;&nbsp;</a></span>addFldWithType()</h2>
+<a id="a5e46da2adce317d2cf58640d06d6b349"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5e46da2adce317d2cf58640d06d6b349">&#9670;&nbsp;</a></span>addFldWithType()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -203,7 +284,13 @@ Static Private Attributes</h2></td></tr>
           <td class="paramkey"></td>
           <td></td>
           <td class="paramtype">const <a class="el" href="namespaceSVF.html#a1d008c0666c145622b81d427be64c52d">Type</a> *&#160;</td>
-          <td class="paramname"><em>type</em>&#160;</td>
+          <td class="paramname"><em>type</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td>
+          <td class="paramname"><em>fullOffset</em>&#160;</td>
         </tr>
         <tr>
           <td></td>
@@ -220,9 +307,10 @@ Static Private Attributes</h2></td></tr>
 
 <p>Add field (index and offset) with its corresponding type. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00570">570</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;    {</div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>.push_back(fldIdx);</div><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>[fldIdx] = type;</div><div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fldIdxVec</div><div class="ttdoc">flattened field indices of a struct </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00511">SymbolTableInfo.h:511</a></div></div>
-<div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const Type * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00513">SymbolTableInfo.h:513</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00585">585</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00586"></a><span class="lineno">  586</span>&#160;    {</div><div class="line"><a name="l00587"></a><span class="lineno">  587</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>.push_back(fldIdx);</div><div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a5a7987ced798a2194d8c74025547f407">fullOffsetVec</a>.push_back(fullOffset);</div><div class="line"><a name="l00589"></a><span class="lineno">  589</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>[fldIdx] = type;</div><div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a5a7987ced798a2194d8c74025547f407"><div class="ttname"><a href="classSVF_1_1StInfo.html#a5a7987ced798a2194d8c74025547f407">SVF::StInfo::fullOffsetVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fullOffsetVec</div><div class="ttdoc">flattened full offset (including array strides) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00517">SymbolTableInfo.h:517</a></div></div>
+<div class="ttc" id="classSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fldIdxVec</div><div class="ttdoc">flattened field indices of a struct (ignoring arrays) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00515">SymbolTableInfo.h:515</a></div></div>
+<div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const Type * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00519">SymbolTableInfo.h:519</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -249,8 +337,8 @@ Static Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00559">559</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;    {</div><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>;</div><div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fldIdxVec</div><div class="ttdoc">flattened field indices of a struct </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00511">SymbolTableInfo.h:511</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00570">570</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;    {</div><div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">fldIdxVec</a>;</div><div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a77c94c0ab75b2d5af2132ff8e082cefe"><div class="ttname"><a href="classSVF_1_1StInfo.html#a77c94c0ab75b2d5af2132ff8e082cefe">SVF::StInfo::fldIdxVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fldIdxVec</div><div class="ttdoc">flattened field indices of a struct (ignoring arrays) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00515">SymbolTableInfo.h:515</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -277,8 +365,36 @@ Static Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00563">563</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;    {</div><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">finfo</a>;</div><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a3ecda817de388504648fa444312a2974"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">SVF::StInfo::finfo</a></div><div class="ttdeci">std::vector&lt; FlattenedFieldInfo &gt; finfo</div><div class="ttdoc">All field infos after flattening a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00515">SymbolTableInfo.h:515</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00578">578</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;    {</div><div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">finfo</a>;</div><div class="line"><a name="l00581"></a><span class="lineno">  581</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a3ecda817de388504648fa444312a2974"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">SVF::StInfo::finfo</a></div><div class="ttdeci">std::vector&lt; FlattenedFieldInfo &gt; finfo</div><div class="ttdoc">All field infos after flattening a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00521">SymbolTableInfo.h:521</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="acd2021bf9d624d83f86a6fa1a4423c8c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#acd2021bf9d624d83f86a6fa1a4423c8c">&#9670;&nbsp;</a></span>getFlattenedOffsetVec()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">std::vector&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&gt;&amp; SVF::StInfo::getFlattenedOffsetVec </td>
+          <td>(</td>
+          <td class="paramname"></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="SymbolTableInfo_8h_source.html#l00574">574</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;    {</div><div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a5a7987ced798a2194d8c74025547f407">fullOffsetVec</a>;</div><div class="line"><a name="l00577"></a><span class="lineno">  577</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a5a7987ced798a2194d8c74025547f407"><div class="ttname"><a href="classSVF_1_1StInfo.html#a5a7987ced798a2194d8c74025547f407">SVF::StInfo::fullOffsetVec</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; fullOffsetVec</div><div class="ttdoc">flattened full offset (including array strides) </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00517">SymbolTableInfo.h:517</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -306,8 +422,8 @@ Static Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00551">551</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;    {</div><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;        <span class="keywordflow">for</span>(FlattenedFieldInfo&amp; fallenedFld : <a class="code" href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">finfo</a>){</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;            <span class="keywordflow">if</span>(fallenedFld.getFlattenFldIdx() == fldIdx)</div><div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;                <span class="keywordflow">return</span> fallenedFld.getFlattenElemTy();</div><div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;        }</div><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a3ecda817de388504648fa444312a2974"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">SVF::StInfo::finfo</a></div><div class="ttdeci">std::vector&lt; FlattenedFieldInfo &gt; finfo</div><div class="ttdoc">All field infos after flattening a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00515">SymbolTableInfo.h:515</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00562">562</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;    {</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;        <span class="keywordflow">for</span>(FlattenedFieldInfo&amp; fallenedFld : <a class="code" href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">finfo</a>){</div><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;            <span class="keywordflow">if</span>(fallenedFld.getFlattenFldIdx() == fldIdx)</div><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;                <span class="keywordflow">return</span> fallenedFld.getFlattenElemTy();</div><div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;        }</div><div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a3ecda817de388504648fa444312a2974"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3ecda817de388504648fa444312a2974">SVF::StInfo::finfo</a></div><div class="ttdeci">std::vector&lt; FlattenedFieldInfo &gt; finfo</div><div class="ttdoc">All field infos after flattening a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00521">SymbolTableInfo.h:521</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -334,8 +450,8 @@ Static Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00535">535</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;    {</div><div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">maxFieldLimit</a>;</div><div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a4cd926bd095254dd287f1cf26e02483e"><div class="ttname"><a href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">SVF::StInfo::maxFieldLimit</a></div><div class="ttdeci">static u32_t maxFieldLimit</div><div class="ttdoc">Max field limit. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00518">SymbolTableInfo.h:518</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00546">546</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;    {</div><div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">maxFieldLimit</a>;</div><div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a4cd926bd095254dd287f1cf26e02483e"><div class="ttname"><a href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">SVF::StInfo::maxFieldLimit</a></div><div class="ttdeci">static u32_t maxFieldLimit</div><div class="ttdoc">Max field limit. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00525">SymbolTableInfo.h:525</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -364,9 +480,67 @@ Static Private Attributes</h2></td></tr>
 </div><div class="memdoc">
 <p>struct A { int id; int salary; }; struct B { char name[20]; struct A a;} B b; OriginalFieldType of b with field_idx 1 : Struct A FlatternedFieldType of b with field_idx 1 : int </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00544">544</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;    {</div><div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;        Map&lt;u32_t, const Type*&gt;::const_iterator it = <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.find(fldIdx);</div><div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;        <span class="keywordflow">if</span>(it!=<a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.end())</div><div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;            <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const Type * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00513">SymbolTableInfo.h:513</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00555">555</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;    {</div><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;        Map&lt;u32_t, const Type*&gt;::const_iterator it = <a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.find(fldIdx);</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;        <span class="keywordflow">if</span>(it!=<a class="code" href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">fldIdx2TypeMap</a>.end())</div><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;            <span class="keywordflow">return</span> it-&gt;second;</div><div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">nullptr</span>;</div><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a3da859dcf2a5fe7078b1257dd5f1e479"><div class="ttname"><a href="classSVF_1_1StInfo.html#a3da859dcf2a5fe7078b1257dd5f1e479">SVF::StInfo::fldIdx2TypeMap</a></div><div class="ttdeci">Map&lt; u32_t, const Type * &gt; fldIdx2TypeMap</div><div class="ttdoc">Types of all fields of a struct. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00519">SymbolTableInfo.h:519</a></div></div>
 </div><!-- fragment -->
+</div>
+</div>
+<a id="af5094ec542f345d214a682d4138cf690"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af5094ec542f345d214a682d4138cf690">&#9670;&nbsp;</a></span>getStride()</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#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::StInfo::getStride </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>Array Type can have. </p>
+
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00593">593</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00593"></a><span class="lineno">  593</span>&#160;                                   {</div><div class="line"><a name="l00594"></a><span class="lineno">  594</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">stride</a>;</div><div class="line"><a name="l00595"></a><span class="lineno">  595</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a6c52ecbeeeeb0dda019c68aec687f2c2"><div class="ttname"><a href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo::stride</a></div><div class="ttdeci">u32_t stride</div><div class="ttdoc">stride represents the number of repetitive elements if this StInfo represent an ArrayType. stride is 1 by default. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00523">SymbolTableInfo.h:523</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a99cc762e18baa226ee3e8f928ee048aa"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a99cc762e18baa226ee3e8f928ee048aa">&#9670;&nbsp;</a></span>operator=()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::StInfo::operator= </td>
+          <td>(</td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1StInfo.html">StInfo</a> &amp;&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td></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>place holder </p>
+
 </div>
 </div>
 <a id="aed9399cfe3ace00289f2a5265df80199"></a>
@@ -393,8 +567,8 @@ Static Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00530">530</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;    {</div><div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">maxFieldLimit</a> = limit;</div><div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a4cd926bd095254dd287f1cf26e02483e"><div class="ttname"><a href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">SVF::StInfo::maxFieldLimit</a></div><div class="ttdeci">static u32_t maxFieldLimit</div><div class="ttdoc">Max field limit. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00518">SymbolTableInfo.h:518</a></div></div>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00541">541</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;    {</div><div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;        <a class="code" href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">maxFieldLimit</a> = limit;</div><div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;    }</div><div class="ttc" id="classSVF_1_1StInfo_html_a4cd926bd095254dd287f1cf26e02483e"><div class="ttname"><a href="classSVF_1_1StInfo.html#a4cd926bd095254dd287f1cf26e02483e">SVF::StInfo::maxFieldLimit</a></div><div class="ttdeci">static u32_t maxFieldLimit</div><div class="ttdoc">Max field limit. </div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00525">SymbolTableInfo.h:525</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -421,7 +595,7 @@ Static Private Attributes</h2></td></tr>
 
 <p>All field infos after flattening a struct. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00515">515</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00521">521</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>
@@ -447,7 +621,7 @@ Static Private Attributes</h2></td></tr>
 
 <p>Types of all fields of a struct. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00513">513</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00519">519</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>
@@ -471,9 +645,35 @@ Static Private Attributes</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>flattened field indices of a struct </p>
+<p>flattened field indices of a struct (ignoring arrays) </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00511">511</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00515">515</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+
+</div>
+</div>
+<a id="a5a7987ced798a2194d8c74025547f407"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5a7987ced798a2194d8c74025547f407">&#9670;&nbsp;</a></span>fullOffsetVec</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">std::vector&lt;<a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&gt; SVF::StInfo::fullOffsetVec</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>flattened full offset (including array strides) </p>
+
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00517">517</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>
@@ -499,7 +699,33 @@ Static Private Attributes</h2></td></tr>
 
 <p>Max field limit. </p>
 
-<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00518">518</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00525">525</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
+
+</div>
+</div>
+<a id="a6c52ecbeeeeb0dda019c68aec687f2c2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6c52ecbeeeeb0dda019c68aec687f2c2">&#9670;&nbsp;</a></span>stride</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#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> SVF::StInfo::stride</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>stride represents the number of repetitive elements if this <a class="el" href="classSVF_1_1StInfo.html">StInfo</a> represent an ArrayType. stride is 1 by default. </p>
+
+<p class="definition">Definition at line <a class="el" href="SymbolTableInfo_8h_source.html#l00523">523</a> of file <a class="el" href="SymbolTableInfo_8h_source.html">SymbolTableInfo.h</a>.</p>
 
 </div>
 </div>