svf-tools 1.0.795 → 1.0.796

package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html

@@ -4740,9 +4740,9 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="anamespaceSVF_html_aa962cc1d782cc46553251e96b64a754b"><div class="ttname"><a href="namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b">SVF::PointerType</a></div><div class="ttdeci">llvm::PointerType PointerType</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a03db82b8a7914367024723dba4d6ca3c"><div class="ttname"><a href="namespaceSVF.html#a03db82b8a7914367024723dba4d6ca3c">SVF::DataLayout</a></div><div class="ttdeci">llvm::DataLayout DataLayout</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00106">BasicTypes.h:106</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a8436a7eede7b5ff5d9b80a0c951ea729"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a8436a7eede7b5ff5d9b80a0c951ea729">SVF::SVFIR::addAddrStmt</a></div><div class="ttdeci">AddrStmt * addAddrStmt(NodeID src, NodeID dst)</div><div class="ttdoc">Add an edge into SVFIR.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00046">SVFIR.cpp:46</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a7a295e02c56a93cf9206dd9d3b18dd17"><div class="ttname"><a href="SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17">DPAGBuild</a></div><div class="ttdeci">#define DPAGBuild</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00551">SVFType.h:551</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a7a295e02c56a93cf9206dd9d3b18dd17"><div class="ttname"><a href="SVFType_8h.html#a7a295e02c56a93cf9206dd9d3b18dd17">DPAGBuild</a></div><div class="ttdeci">#define DPAGBuild</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00570">SVFType.h:570</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a05ca2987d9f8716c24e489bec53502f4"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a05ca2987d9f8716c24e489bec53502f4">SVF::SymbolTableInfo::blackholeSymID</a></div><div class="ttdeci">SymID blackholeSymID() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00198">SymbolTableInfo.h:198</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00571">SVFType.h:571</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00590">SVFType.h:590</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a07bd47ccfd02c5a2a6db26b537b2184f"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a07bd47ccfd02c5a2a6db26b537b2184f">SVF::LLVMUtil::stripConstantCasts</a></div><div class="ttdeci">const Value * stripConstantCasts(const Value *val)</div><div class="ttdoc">Strip off the constant casts.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00220">LLVMUtil.cpp:220</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a916d893cb852bbbd933e3e5349d5154b"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a916d893cb852bbbd933e3e5349d5154b">SVF::SVFIR::addThreadForkPE</a></div><div class="ttdeci">TDForkPE * addThreadForkPE(NodeID src, NodeID dst, const CallICFGNode *cs, const FunEntryICFGNode *entry)</div><div class="ttdoc">Add Thread fork edge for parameter passing.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00288">SVFIR.cpp:288</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a8f3cb8a1db34dd692ee04561f4edeebf"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a8f3cb8a1db34dd692ee04561f4edeebf">SVF::SymbolTableInfo::valSyms</a></div><div class="ttdeci">ValueToIDMapTy &amp; valSyms()</div><div class="ttdoc">Get different kinds of syms maps.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00260">SymbolTableInfo.h:260</a></div></div>
@@ -4763,7 +4763,7 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html_a95fd13343636bcbc18db1ef8d630c52e"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a95fd13343636bcbc18db1ef8d630c52e">SVF::SVFIRBuilder::getCurrentValue</a></div><div class="ttdeci">const SVFValue * getCurrentValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00251">SVFIRBuilder.h:251</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ae7ccfb3d1308e205e5014849dcc43d9a"><div class="ttname"><a href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options::DumpICFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpICFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00136">Options.h:136</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html_a8219f7e2581cc9974b42cf95d8318b15"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a8219f7e2581cc9974b42cf95d8318b15">SVF::SVFIRBuilder::curBB</a></div><div class="ttdeci">const SVFBasicBlock * curBB</div><div class="ttdoc">Current basic block during SVFIR construction when visiting the module.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00052">SVFIRBuilder.h:52</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00549">SVFType.h:549</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00568">SVFType.h:568</a></div></div>
 <div class="ttc" id="anamespacellvm_html_acfe99e9d441434240c79f6d76b73fe0a"><div class="ttname"><a href="namespacellvm.html#acfe99e9d441434240c79f6d76b73fe0a">llvm::bridge_gep_begin</a></div><div class="ttdeci">bridge_gep_iterator bridge_gep_begin(const User *GEP)</div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00149">GEPTypeBridgeIterator.h:149</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_abb272e6fff36a29fe84c9d8695f7d630"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abb272e6fff36a29fe84c9d8695f7d630">SVF::SVFIR::addPhiStmt</a></div><div class="ttdeci">PhiStmt * addPhiStmt(NodeID res, NodeID opnd, const ICFGNode *pred)</div><div class="ttdoc">Add phi node information.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00082">SVFIR.cpp:82</a></div></div>
@@ -4918,7 +4918,7 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html_a55d8504dbc766c4ede031299a37417ef"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#a55d8504dbc766c4ede031299a37417ef">SVF::SVFIRBuilder::addGlobalBlackHoleAddrEdge</a></div><div class="ttdeci">void addGlobalBlackHoleAddrEdge(NodeID node, const ConstantExpr *int2Ptrce)</div><div class="ttdoc">Add global black hole Address edge.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00261">SVFIRBuilder.h:261</a></div></div>
 <div class="ttc" id="aclassllvm_1_1generic__bridge__gep__type__iterator_html"><div class="ttname"><a href="classllvm_1_1generic__bridge__gep__type__iterator.html">llvm::generic_bridge_gep_type_iterator</a></div><div class="ttdef"><b>Definition:</b> <a href="GEPTypeBridgeIterator_8h_source.html#l00017">GEPTypeBridgeIterator.h:17</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_a1dd9ad3f11454be49b4c5099503db8e8"><div class="ttname"><a href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8">SVF::Options::PAGDotGraph</a></div><div class="ttdeci">static const Option&lt; bool &gt; PAGDotGraph</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00134">Options.h:134</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01271">LLVMUtil.cpp:1271</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01281">LLVMUtil.cpp:1281</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html">SVF::LLVMModuleSet</a></div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00044">LLVMModule.h:44</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_ae74f307b6f96950ceedb2c375ef1c3a3"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ae74f307b6f96950ceedb2c375ef1c3a3">SVF::LLVMModuleSet::getSVFInstruction</a></div><div class="ttdeci">SVFInstruction * getSVFInstruction(const Instruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00212">LLVMModule.h:212</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a20ded5829d5975dfaca33f9c64113fe6"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a20ded5829d5975dfaca33f9c64113fe6">SVF::SVFIR::addObjNode</a></div><div class="ttdeci">NodeID addObjNode(const SVFValue *val, NodeID i)</div><div class="ttdoc">Add a memory obj node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00542">SVFIR.h:542</a></div></div>
@@ -4946,14 +4946,14 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1Options_html_a18dd95e01a50aa82165c46a3801053c5"><div class="ttname"><a href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5">SVF::Options::ModelConsts</a></div><div class="ttdeci">static const Option&lt; bool &gt; ModelConsts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00218">Options.h:218</a></div></div>
 <div class="ttc" id="anamespaceSVF_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="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_a215cc9fd716798bbb7f96f5b64e01349"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#a215cc9fd716798bbb7f96f5b64e01349">SVF::LLVMUtil::isUnaryConstantExpr</a></div><div class="ttdeci">const ConstantExpr * isUnaryConstantExpr(const Value *val)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8h_source.html#l00317">LLVMUtil.h:317</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00319">SVFType.h:319</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFType_html_a870b63af2bf9fe43cdf1df3d56b20f6c"><div class="ttname"><a href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">SVF::SVFType::isPointerTy</a></div><div class="ttdeci">bool isPointerTy() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00321">SVFType.h:321</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFArgument_html"><div class="ttname"><a href="classSVF_1_1SVFArgument.html">SVF::SVFArgument</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00886">SVFValue.h:886</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFG_html_a999956500bbd605326531480546db9ba"><div class="ttname"><a href="classSVF_1_1ICFG.html#a999956500bbd605326531480546db9ba">SVF::ICFG::dump</a></div><div class="ttdeci">void dump(const std::string &amp;file, bool simple=false)</div><div class="ttdoc">Dump graph into dot file.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00441">ICFG.cpp:441</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_aa7e98cd2fd599aedefa4c2e6fb659da0"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0">SVF::SVFIR::addDummyValNode</a></div><div class="ttdeci">NodeID addDummyValNode()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00464">SVFIR.h:464</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_a76964ef7d4842a469d7720881499d8a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a76964ef7d4842a469d7720881499d8a6">SVF::SVFVar::getIncomingEdges</a></div><div class="ttdeci">SVFStmt::SVFStmtSetTy &amp; getIncomingEdges(SVFStmt::PEDGEK kind)</div><div class="ttdoc">Get incoming SVFIR statements (edges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00148">SVFVariables.h:148</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIRBuilder_html_ad0e9f1dd1cba235a699c2b710a888d06"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">SVF::SVFIRBuilder::addComplexConsForExt</a></div><div class="ttdeci">virtual void addComplexConsForExt(Value *D, Value *S, const Value *sz)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIRExtAPI_8cpp_source.html#l00080">SVFIRExtAPI.cpp:80</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html_a793f485e92d12cf407f2ffa41861eb3d"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d">SVF::SVFFunction::getEntryBlock</a></div><div class="ttdeci">const SVFBasicBlock * getEntryBlock() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00409">SVFValue.h:409</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00543">SVFType.h:543</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFType_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DBUG model of each pass.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00562">SVFType.h:562</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a756ae2b40ec29f2f92c95919f615e5ec"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a756ae2b40ec29f2f92c95919f615e5ec">SVF::SVFIR::setICFG</a></div><div class="ttdeci">void setICFG(ICFG *i)</div><div class="ttdoc">Set/Get ICFG.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00166">SVFIR.h:166</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a0814a6a71c4a8f08253bf16ad1ba5dc5"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a0814a6a71c4a8f08253bf16ad1ba5dc5">SVF::SVFIR::addVariantGepStmt</a></div><div class="ttdeci">GepStmt * addVariantGepStmt(NodeID src, NodeID dst, const AccessPath &amp;ap)</div><div class="ttdoc">Add Variant(Gep) edge.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00365">SVFIR.cpp:365</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFInstruction_html_ae009f41cbf48d949d4325e08fe8d7198"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html#ae009f41cbf48d949d4325e08fe8d7198">SVF::SVFInstruction::getParent</a></div><div class="ttdeci">const SVFBasicBlock * getParent() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00647">SVFValue.h:647</a></div></div>

package/SVF-doxygen/html/classSVF_1_1SVFIntegerType-members.html

@@ -74,37 +74,40 @@ $(function() {
 <table class="directory">
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#aee36de2439ab62fbbe68f71826478914">classof</a>(const SVFType *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">getKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3672b4797c400aac90c6d36ce29e0e57">getPointerTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">getTypeInfo</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">getTypeInfo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">getLLVMByteSize</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3672b4797c400aac90c6d36ce29e0e57">getPointerTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">getTypeInfo</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">getTypeInfo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a330084f9a3deb6e5acb52a8ee3eb7fe4">isArrayTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821">isSigned</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6">isSingleValueType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0">print</a>(std::ostream &amp;os) const override</td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b">setPointerTo</a>(const SVFPointerType *ty)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#aeacf0513bfde42511fe6e464d48d1e11">setSignAndWidth</a>(short sw)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c">setTypeInfo</a>(StInfo *ti)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#aaafab8007dd15f498259320fec1f99f2">SVFIntegerType</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVFTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVFTyKind</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9">SVFType</a>(bool svt, SVFTyKind k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(void)=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a058496fa6de00d4244f8901b602bd217">~SVFType</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5">isStructTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#aa65e56b4206e93fec242eb8db4a979a0">print</a>(std::ostream &amp;os) const override</td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b">setPointerTo</a>(const SVFPointerType *ty)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#aeacf0513bfde42511fe6e464d48d1e11">setSignAndWidth</a>(short sw)</td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c">setTypeInfo</a>(StInfo *ti)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#aaafab8007dd15f498259320fec1f99f2">SVFIntegerType</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFIntegerType.html">SVF::SVFIntegerType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVFTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVFTyKind</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9">SVFType</a>(bool svt, SVFTyKind k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(void)=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a058496fa6de00d4244f8901b602bd217">~SVFType</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/classSVF_1_1SVFIntegerType.html

@@ -110,6 +110,8 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:a3ddabbd763acaaca28cacbabe5bc7f3b inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a3672b4797c400aac90c6d36ce29e0e57 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1SVFPointerType.html">SVFPointerType</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a3672b4797c400aac90c6d36ce29e0e57">getPointerTo</a> () const</td></tr>
 <tr class="separator:a3672b4797c400aac90c6d36ce29e0e57 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0091b8b186ad359a1b54ac7e0ee1e5d0 inherit pub_methods_classSVF_1_1SVFType"><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_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">getLLVMByteSize</a> () const</td></tr>
+<tr class="separator:a0091b8b186ad359a1b54ac7e0ee1e5d0 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aef5999ada62dac3cc946d832ac66948c inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c">setTypeInfo</a> (<a class="el" href="classSVF_1_1StInfo.html">StInfo</a> *ti)</td></tr>
 <tr class="separator:aef5999ada62dac3cc946d832ac66948c inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a05850c17c2dbe42e5602dc8c9a70f3bd inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1StInfo.html">StInfo</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">getTypeInfo</a> ()</td></tr>
@@ -118,6 +120,10 @@ Public Member Functions</h2></td></tr>
 <tr class="separator:af25ae6ae537f65f96917a66ce1bb3cf1 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a870b63af2bf9fe43cdf1df3d56b20f6c inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a> () const</td></tr>
 <tr class="separator:a870b63af2bf9fe43cdf1df3d56b20f6c inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a330084f9a3deb6e5acb52a8ee3eb7fe4 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a330084f9a3deb6e5acb52a8ee3eb7fe4">isArrayTy</a> () const</td></tr>
+<tr class="separator:a330084f9a3deb6e5acb52a8ee3eb7fe4 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af06efda21356fbd3559e11ec7ae1bde5 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5">isStructTy</a> () const</td></tr>
+<tr class="separator:af06efda21356fbd3559e11ec7ae1bde5 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5d19107cd4bd64c3918419fd7d22d3b6 inherit pub_methods_classSVF_1_1SVFType"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6">isSingleValueType</a> () const</td></tr>
 <tr class="separator:a5d19107cd4bd64c3918419fd7d22d3b6 inherit pub_methods_classSVF_1_1SVFType"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
@@ -162,7 +168,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock">
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00357">357</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00369">369</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="aaafab8007dd15f498259320fec1f99f2"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aaafab8007dd15f498259320fec1f99f2">&#9670;&nbsp;</a></span>SVFIntegerType()</h2>
@@ -187,8 +193,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00366">366</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;: <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">true</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a>) {}</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00378">378</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;: <a class="code" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(<span class="keyword">true</span>, <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a>) {}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -217,10 +223,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00367">367</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;    {</div>
-<div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a>;</div>
-<div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00379">379</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;    {</div>
+<div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;        <span class="keywordflow">return</span> node-&gt;getKind() == <a class="code" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a>;</div>
+<div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -247,10 +253,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00379">379</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;    {</div>
-<div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> &lt; 0;</div>
-<div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00391">391</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;    {</div>
+<div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> &lt; 0;</div>
+<div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -280,13 +286,13 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Implements <a class="el" href="classSVF_1_1SVFType.html#af03420fef3b660f998d0a2f09a18a615">SVF::SVFType</a>.</p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8cpp_source.html#l00026">26</a> of file <a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;{</div>
-<div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> &lt; 0)</div>
-<div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;        os &lt;&lt; <span class="charliteral">&#39;i&#39;</span> &lt;&lt; -<a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a>;</div>
-<div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;    <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;        os &lt;&lt; <span class="charliteral">&#39;u&#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a>;</div>
-<div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8cpp_source.html#l00033">33</a> of file <a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;{</div>
+<div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> &lt; 0)</div>
+<div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;        os &lt;&lt; <span class="charliteral">&#39;i&#39;</span> &lt;&lt; -<a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a>;</div>
+<div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;    <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;        os &lt;&lt; <span class="charliteral">&#39;u&#39;</span> &lt;&lt; <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a>;</div>
+<div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -314,10 +320,10 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00374">374</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;    {</div>
-<div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;        <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> = sw;</div>
-<div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00386">386</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;    {</div>
+<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;        <a class="code" href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">signAndWidth</a> = sw;</div>
+<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -342,7 +348,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00360">360</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00372">372</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -366,7 +372,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00359">359</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00371">371</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -393,7 +399,7 @@ Additional Inherited Members</h2></td></tr>
 
 <p>For printing. </p>
 
-<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00363">363</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFType_8h_source.html#l00375">375</a> of file <a class="el" href="SVFType_8h_source.html">SVFType.h</a>.</p>
 
 </div>
 </div>
@@ -402,7 +408,7 @@ Additional Inherited Members</h2></td></tr>
 <li>/home/runner/work/SVF/SVF/svf/lib/SVFIR/<a class="el" href="SVFType_8cpp_source.html">SVFType.cpp</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_a887e8255bb19f85d80d737ac753f0a87"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">SVF::SVFIntegerType::signAndWidth</a></div><div class="ttdeci">short signAndWidth</div><div class="ttdoc">For printing.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00363">SVFType.h:363</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFIntegerType_html_a887e8255bb19f85d80d737ac753f0a87"><div class="ttname"><a href="classSVF_1_1SVFIntegerType.html#a887e8255bb19f85d80d737ac753f0a87">SVF::SVFIntegerType::signAndWidth</a></div><div class="ttdeci">short signAndWidth</div><div class="ttdoc">For printing.</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00375">SVFType.h:375</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFType_html_aaaa5452f32227f5e44ac7665f2945202"><div class="ttname"><a href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType::SVFType</a></div><div class="ttdeci">SVFType(void)=delete</div></div>
 <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVF::SVFType::SVFIntegerTy</a></div><div class="ttdeci">@ SVFIntegerTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00254">SVFType.h:254</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/classSVF_1_1SVFOtherType-members.html

@@ -74,38 +74,41 @@ $(function() {
 <table class="directory">
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#a7b026267db1dee3fd1149b92194d5655">classof</a>(const SVFType *node)</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">getKind</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3672b4797c400aac90c6d36ce29e0e57">getPointerTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#ad9cbb0a4ffefe248977850d9aa17f9c1">getRepr</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">getTypeInfo</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">getTypeInfo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a0091b8b186ad359a1b54ac7e0ee1e5d0">getLLVMByteSize</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3672b4797c400aac90c6d36ce29e0e57">getPointerTo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a25faa037b356801c8c678f8c00dada33">getPointerToTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#ad9cbb0a4ffefe248977850d9aa17f9c1">getRepr</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">getTypeInfo</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">getTypeInfo</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a503a35534b72dbea065816f42ebfa9f0">GNodeK</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a330084f9a3deb6e5acb52a8ee3eb7fe4">isArrayTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a870b63af2bf9fe43cdf1df3d56b20f6c">isPointerTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350">isSingleValTy</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a5d19107cd4bd64c3918419fd7d22d3b6">isSingleValueType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97">print</a>(std::ostream &amp;os) const override</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b">setPointerTo</a>(const SVFPointerType *ty)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#a444ebb6bca967caf3cb6bba9d2db44c7">setRepr</a>(std::string &amp;&amp;r)</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#a8705cce1b567e8f51d8644179c841ca3">setRepr</a>(const std::string &amp;r)</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c">setTypeInfo</a>(StInfo *ti)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e">SVFOtherType</a>(bool isSingleValueTy)</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVFTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVFTyKind</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9">SVFType</a>(bool svt, SVFTyKind k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(void)=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a058496fa6de00d4244f8901b602bd217">~SVFType</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#af06efda21356fbd3559e11ec7ae1bde5">isStructTy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a428617a1e7addda6094ddd80bdbb62c8">kind</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#a09ccc6569e4a775e21596511a9c58d97">print</a>(std::ostream &amp;os) const override</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#aff34f4a447b923dbb524c30adcb4aef3">repr</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b">setPointerTo</a>(const SVFPointerType *ty)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#a444ebb6bca967caf3cb6bba9d2db44c7">setRepr</a>(std::string &amp;&amp;r)</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#a8705cce1b567e8f51d8644179c841ca3">setRepr</a>(const std::string &amp;r)</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#aef5999ada62dac3cc946d832ac66948c">setTypeInfo</a>(StInfo *ti)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVFArrayTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVFFunctionTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae2025d3e9d7943027c74ae6bba3fff22">SVFIntegerTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac7de365c24c89f86bc6f6ab5ecafd8ef">SVFOtherTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e">SVFOtherType</a>(bool isSingleValueTy)</td><td class="entry"><a class="el" href="classSVF_1_1SVFOtherType.html">SVF::SVFOtherType</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVFPointerTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVFStructTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca2862d2a6ef2e31bf7fa1cc2f72d65725">SVFTy</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40c">SVFTyKind</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9">SVFType</a>(bool svt, SVFTyKind k)</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVFType</a>(void)=delete</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a9035ac13134de4647d63507cd80ca3d6">toString</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a86ea48a882823de2e3e906220dc0111e">typeinfo</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFType.html#a058496fa6de00d4244f8901b602bd217">~SVFType</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFType.html">SVF::SVFType</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>