npm - svf-tools - Versions diffs - 1.0.618 → 1.0.620 - Mend

svf-tools 1.0.618 → 1.0.620

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (385) hide show

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

@@ -88,7 +88,7 @@ $(function() {
 : <a class="el" href="structcJSON__Hooks.html#a71693d8b277a80a1faf8758b9589d670">cJSON_Hooks</a>
 </li>
 <li>MallocOnly
-: <a class="el" href="classSVF_1_1Options.html#a30abe362add49b0b7083f34530aa446c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a9711cdc976786b3949ac6b26f95b59b0">SVF::Options</a>
 </li>
 <li>mapped_iter()
 : <a class="el" href="classSVF_1_1mapped__iter.html#a08a4c1e7b455fc3786f6bc7e9929120a">SVF::mapped_iter&lt; ItTy, FuncTy, FuncReturnTy &gt;</a>
@@ -107,7 +107,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a375cb175ec0068bacaa64cf40a49d485">SVF::LockAnalysis</a>
 </li>
 <li>MarkedClocksOnly
-: <a class="el" href="classSVF_1_1Options.html#a5cfcf1ddc44ff175c4766f88bf204c03">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#abcb6796d45722562546f33b2745a0418">SVF::Options</a>
 </li>
 <li>markRelProcs()
 : <a class="el" href="classSVF_1_1TCT.html#a8bb7ffa8dd185c52e6c150f9bc995511">SVF::TCT</a>
@@ -137,13 +137,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1NumericLiteral.html#a9e7a696842de2a4fae08a75d72a807ec">SVF::NumericLiteral</a>
 </li>
 <li>MaxContextLen
-: <a class="el" href="classSVF_1_1Options.html#a2e53156bd075d7802d390672f129c6a8">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a6237da3f4e264fa8b63c11d621f39e71">SVF::Options</a>
 </li>
 <li>MaxCxtSize
 : <a class="el" href="classSVF_1_1TCT.html#aaae41663b1d1f4d38b047c50c156defb">SVF::TCT</a>
 </li>
 <li>MaxFieldLimit
-: <a class="el" href="classSVF_1_1Options.html#adfc1a5c6098d3867e29fc65ca9ffa1cc">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aaab923c093730b1670a54f09340b1bd5">SVF::Options</a>
 </li>
 <li>maximumBudget
 : <a class="el" href="classSVF_1_1DPItem.html#a5dbb0e6010b38c5b937ff06cb40cd0ef">SVF::DPItem</a>
@@ -176,7 +176,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#a6694ace7ee1b24b0c5ce42e06e4db2cf">SVF::SVFGStat</a>
 </li>
 <li>MaxPathLen
-: <a class="el" href="classSVF_1_1Options.html#a32ef95b3bd06b50337b3129b74ffb45c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a63121666a96f6cd2ae56d868c9576a53">SVF::Options</a>
 </li>
 <li>MaxPointsToSetSize
 : <a class="el" href="classSVF_1_1AndersenBase.html#abd73e930450b7c605f478672bdf9bdae">SVF::AndersenBase</a>
@@ -185,7 +185,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4">SVF::FlowSensitive</a>
 </li>
 <li>MaxStepInWrapper
-: <a class="el" href="classSVF_1_1Options.html#a0b82f16ee0c7e6566a6ae20662525e84">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aab0131558d9da9b0fe888387217ba919">SVF::Options</a>
 </li>
 <li>maxStruct
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a0c1143eff451edf8ea47d4487a8d3a55">SVF::SymbolTableInfo</a>
@@ -194,7 +194,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#abb8550c9ef856e45cb7675c3796f9a35">SVF::SymbolTableInfo</a>
 </li>
 <li>MaxZ3Size
-: <a class="el" href="classSVF_1_1Options.html#a389c1868083100ad8ebfbf935a85a1e1">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a86f982d9716181bca93a350b5a11a1dc">SVF::Options</a>
 </li>
 <li>mayAccessAliases()
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#ade9f150c970aa2cc481c878aebf71662">SVF::RaceResultValidator</a>
@@ -250,7 +250,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#ab6abb822445c9b3f5cb2b7206042e940">SVF::SVFIR</a>
 </li>
 <li>MemPar
-: <a class="el" href="classSVF_1_1Options.html#a74b821736a04f89adb79d6fd5369cdc3">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aa127a32b03e381343c624e53adc4ef2e">SVF::Options</a>
 </li>
 <li>MemPartition
 : <a class="el" href="classSVF_1_1MemSSA.html#ac0797f2ee7b59ae720095a4836533671">SVF::MemSSA</a>
@@ -355,13 +355,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#af8fdaaa03cd2ae9b7d50f57bc678b8ba">SVF::SymbolTableInfo</a>
 </li>
 <li>ModelArrays
-: <a class="el" href="classSVF_1_1Options.html#a170426acc0f9d99470fd1bde40d273e2">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a429c3000ee2ac45119b8c241aa06762c">SVF::Options</a>
 </li>
 <li>modelConstants
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad20ccb90e8f9dee488a8aec0600399dc">SVF::SymbolTableInfo</a>
 </li>
 <li>ModelConsts
-: <a class="el" href="classSVF_1_1Options.html#a5c051cf6a93a87a07aa1d31e302a2877">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a18dd95e01a50aa82165c46a3801053c5">SVF::Options</a>
 </li>
 <li>modRefAnalysis()
 : <a class="el" href="classSVF_1_1MRGenerator.html#adc9d530e6f010596d91cd3711dc1358b">SVF::MRGenerator</a>
@@ -440,7 +440,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MSSADEF.html#a1b1c7cbc293182a5ded43efa522990de">SVF::MSSADEF</a>
 </li>
 <li>MSSAFun
-: <a class="el" href="classSVF_1_1Options.html#a4ac0e6b77fc9ccc18b269268b3cd046d">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aa8818e8138233838af224d4214de9e8f">SVF::Options</a>
 </li>
 <li>MSSAMU()
 : <a class="el" href="classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f">SVF::MSSAMU&lt; Cond &gt;</a>
@@ -488,7 +488,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a9ea22adbfc307dddee42ffec07cc88ed">SVF::SVFStmt</a>
 </li>
 <li>MultiOpndStmt()
-: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a6b01d569057dda1783503563c20c74e6">SVF::MultiOpndStmt</a>
+: <a class="el" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt</a>
 </li>
 <li>MUSet
 : <a class="el" href="classSVF_1_1MemSSA.html#a81bba824495a882b49e687683954b112">SVF::MemSSA</a>

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

@@ -62,7 +62,8 @@ $(function() {
 <h3><a id="index_n"></a>- n -</h3><ul>
 <li>name
-: <a class="el" href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">SVF::SVFValue</a>
+: <a class="el" href="classOptionBase.html#a494ea256d6484e4f7e8751de499889fc">OptionBase</a>
+, <a class="el" href="classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07">SVF::SVFValue</a>
 </li>
 <li>NameToCHNodesMap
 : <a class="el" href="classSVF_1_1CHGraph.html#aedb20aca2fa11a070cfe28e14fd3552b">SVF::CHGraph</a>
@@ -155,7 +156,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a14a76b28f06e167bf66e15b336570cd3">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 </li>
 <li>NodeAllocStrat
-: <a class="el" href="classSVF_1_1Options.html#a2537be131132830c63d408133619a065">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd">SVF::Options</a>
 </li>
 <li>NodeData
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html#a3b4321bdd7924d05fd3b8506ec1c7c3c">SVF::VersionedFlowSensitive::SCC</a>
@@ -335,6 +336,9 @@ $(function() {
 <li>NormCallGraph
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a5b1fe2b2314db947cd5e709b7285fe1ca6bbe72ac881caacbded694492df5417c">SVF::PTACallGraph</a>
 </li>
+<li>nothingSet()
+: <a class="el" href="classOptionMultiple.html#a6de3b01c7773ea6fddf84cd57e7401f8">OptionMultiple&lt; T &gt;</a>
+</li>
 <li>NPtr
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">SVF::VFGNode</a>
 </li>

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

@@ -95,7 +95,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ObjVar.html#a87e7e6a7db8027c1351476862d7f08cb">SVF::ObjVar</a>
 </li>
 <li>OCGDotGraph
-: <a class="el" href="classSVF_1_1Options.html#a2780c16611375631cd48bf9487f9e0bf">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101">SVF::Options</a>
 </li>
 <li>offset
 : <a class="el" href="structparse__buffer.html#af727920073077579942a79de519bb31a">parse_buffer</a>
@@ -208,7 +208,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#ab86fdf68183d05f66e1405c6346038c4">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>operator()()
-: <a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ae66ac1a976e498f88e382988f17b4df5">std::hash&lt; const SVF::CondVar&lt; Cond &gt; &gt;</a>
+: <a class="el" href="classOption.html#a03dd304d717f642cd3b809c0233f876c">Option&lt; T &gt;</a>
+, <a class="el" href="classOptionMap.html#a12951965815bfaf1c5b3b026c6c4fb96">OptionMap&lt; T &gt;</a>
+, <a class="el" href="classOptionMultiple.html#af3ce2d981843996c5e47de2918d1f569">OptionMultiple&lt; T &gt;</a>
+, <a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html#ae66ac1a976e498f88e382988f17b4df5">std::hash&lt; const SVF::CondVar&lt; Cond &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html#a225b0bd057a9d76d7436eae4a6b5baa0">std::hash&lt; const SVF::ContextCond &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html#a921ca626d87c3eed7b71210cfc24d0dd">std::hash&lt; std::vector&lt; T &gt; &gt;</a>
 , <a class="el" href="structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html#a6ed3f621cd155faae27cbd844338409a">std::hash&lt; SVF::CallSite &gt;</a>
@@ -386,7 +389,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076">SVF::GepVFGNode</a>
 , <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a61e31daf8b0bc18d69c3e7f5df1eb181">SVF::GrammarBase::Symbol</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a5ca48cf99bb54008d824d8c475c450f7">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1IntervalValue.html#a8c5acd4214d9e29c27289036bc5c3d1f">SVF::IntervalValue</a>
+, <a class="el" href="classSVF_1_1IntervalValue.html#a2f2121ab7e99c9057b1855f355dd0d4b">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1LoadCGEdge.html#a079925b497671bd5ef60aae5d64fa443">SVF::LoadCGEdge</a>
 , <a class="el" href="classSVF_1_1LoadStmt.html#afd0b942170ec3aa8f44a6c5cc422a69d">SVF::LoadStmt</a>
 , <a class="el" href="classSVF_1_1LoadVFGNode.html#a8e42ee37ececc2391fc4d1ad1c24f13f">SVF::LoadVFGNode</a>
@@ -395,12 +398,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a7f3a388e37e497fc5874e9f392901a39">SVF::NormalGepCGEdge</a>
 , <a class="el" href="classSVF_1_1NumericLiteral.html#afef9ceccd945b00c4a542ac9f277bde2">SVF::NumericLiteral</a>
 , <a class="el" href="classSVF_1_1PhiStmt.html#a331c7e14409b2d78881a0ec8932c1170">SVF::PhiStmt</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#a269d334618e4acc7e739317fd58d7fe7">SVF::PointsTo</a>
-, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a16f92fffe8aba3ba9bd80a880e93b056">SVF::PointsTo::PointsToIterator</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#a1fe9d8a646640f9995d92bf8a577cd20">SVF::RelExeState</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#a615411a2d8909668271782398814bc9f">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#acbbcff746f7f0dc37815e688e9172f21">SVF::PointsTo::PointsToIterator</a>
+, <a class="el" href="classSVF_1_1RelExeState.html#a7ab6cb58ed0f95417549b6291f658f86">SVF::RelExeState</a>
 , <a class="el" href="classSVF_1_1RetPE.html#acb2a5e66fab9f95278c44344d268f465">SVF::RetPE</a>
 , <a class="el" href="classSVF_1_1SelectStmt.html#ae3dd9ff3908218082b8c71c0ec7ef252">SVF::SelectStmt</a>
-, <a class="el" href="classSVF_1_1SparseBitVector.html#a74ded252b99e70cb999b869a5250948e">SVF::SparseBitVector&lt; ElementSize &gt;</a>
+, <a class="el" href="classSVF_1_1SparseBitVector.html#adeed46c25650bdbccdef0519906d1030">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 , <a class="el" href="classSVF_1_1StInfo.html#a00736806c009de53039544cfc85240f1">SVF::StInfo</a>
 , <a class="el" href="classSVF_1_1StmtDPItem.html#a072da7dc37fd3f9b7a79196394382499">SVF::StmtDPItem&lt; LocCond &gt;</a>
 , <a class="el" href="classSVF_1_1StoreCGEdge.html#a51869681f10566da74de3fb461c7a7e0">SVF::StoreCGEdge</a>
@@ -413,9 +416,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#a27af787da1d72bab2971dd237eaa9897">SVF::UnaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1VariantGepCGEdge.html#a4caf6f4b31b78ca02985fc4722d43522">SVF::VariantGepCGEdge</a>
 , <a class="el" href="classSVF_1_1Wto.html#a67712df707ee21927135027189e2723b">SVF::Wto</a>
-, <a class="el" href="classSVF_1_1WtoComponent.html#a8de245528016b2c4651f37c6e455d640">SVF::WtoComponent</a>
-, <a class="el" href="classSVF_1_1WtoComponentVisitor.html#aaf3e934b4a44028294af61363a0d9ec0">SVF::WtoComponentVisitor</a>
-, <a class="el" href="classSVF_1_1WtoNesting.html#a2cfad3aa86de5a6fd7b2d02c4151e6e3">SVF::WtoNesting</a>
+, <a class="el" href="classSVF_1_1WtoComponent.html#a86592687a15592d3390d864d53250eaa">SVF::WtoComponent</a>
+, <a class="el" href="classSVF_1_1WtoComponentVisitor.html#ad3e986fde758f9d2f6b7ccac036f3462">SVF::WtoComponentVisitor</a>
+, <a class="el" href="classSVF_1_1WtoNesting.html#ad8ef62b31af08af32a160e048696896d">SVF::WtoNesting</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a3bd99446d5e56e704d812bd0d1f36a85">SVF::Z3Expr</a>
 </li>
 <li>operator==()
@@ -439,7 +442,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DPItem.html#ad67fcd340351360555b0cb88f57b183a">SVF::DPItem</a>
 , <a class="el" href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState</a>
 , <a class="el" href="classSVF_1_1GenericEdge.html#a0e461644bf9a4e50099b38f09222e858">SVF::GenericEdge&lt; NodeTy &gt;</a>
-, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#ab888c449c25947a0082ca0e7136ef1e9">SVF::GrammarBase::Symbol</a>
+, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html#a09f8568b3cdca65069b38879cfe57a53">SVF::GrammarBase::Symbol</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a92b846d3cd77ab12a35cb81815e22ee3">SVF::IntervalExeState</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#a3ac2a92a9d67dec907fa7ae4181dc171">SVF::IntervalValue</a>
 , <a class="el" href="classSVF_1_1iter__adaptor__base.html#a0cfce21cb7aa24062dd921a9a5bace3a">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
@@ -493,7 +496,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1CoreBitVector.html#af8e63360242a49fb63c3ef3d7071503d">SVF::CoreBitVector</a>
-, <a class="el" href="classSVF_1_1PointsTo.html#a687b34cac3c43dd957b86a4833a24871">SVF::PointsTo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade">SVF::PointsTo</a>
 , <a class="el" href="classSVF_1_1SparseBitVector.html#a48668ff6f168162bd8f13cf860749090">SVF::SparseBitVector&lt; ElementSize &gt;</a>
 </li>
 <li>operator||
@@ -518,11 +521,33 @@ $(function() {
 <li>opPts()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ac7865b3ea1d76d2c522b465cc8e86639">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
+<li>Option()
+: <a class="el" href="classOption.html#a479f07d7e2424931ea23e905a88f9c57">Option&lt; T &gt;</a>
+</li>
+<li>OptionBase()
+: <a class="el" href="classOptionBase.html#a3a30161a89e5dd22b3501b6a7de3eab4">OptionBase</a>
+</li>
+<li>OptionMap()
+: <a class="el" href="classOptionMap.html#aa01d9dfa4aa1808c6d23fa900bbfc77c">OptionMap&lt; T &gt;</a>
+</li>
+<li>OptionMultiple()
+: <a class="el" href="classOptionMultiple.html#a00a2b17a8a0fefba400bc401f4392ed0">OptionMultiple&lt; T &gt;</a>
+</li>
+<li>OptionPossibilities
+: <a class="el" href="classOptionMap.html#a6a91ecc488c6cc5e82e9faf674258644">OptionMap&lt; T &gt;</a>
+, <a class="el" href="classOptionMultiple.html#a9513bc7ce4ade85cd16eccce9537887e">OptionMultiple&lt; T &gt;</a>
+</li>
+<li>OptionPossibility
+: <a class="el" href="classOptionBase.html#a8cc760078ccd614db2190d0f87f5da0d">OptionBase</a>
+</li>
 <li>Options()
 : <a class="el" href="classSVF_1_1Options.html#a08c25694f8f9e31eb8b116ad58c1c078">SVF::Options</a>
 </li>
+<li>optionValues
+: <a class="el" href="classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f">OptionMultiple&lt; T &gt;</a>
+</li>
 <li>OPTSVFG
-: <a class="el" href="classSVF_1_1Options.html#a7704ff30e6fc5043313adf5c655bcd4a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af">SVF::Options</a>
 </li>
 <li>opVarBegin()
 : <a class="el" href="classSVF_1_1MultiOpndStmt.html#abebed8985cb4d4d1361c42e5454c90b9">SVF::MultiOpndStmt</a>
@@ -560,31 +585,27 @@ $(function() {
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc">SVF::BinaryOPVFGNode</a>
+, <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#a0db4ada3c366c811962415454a859b22">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
-, <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
-</li>
-<li>OPVers
-: <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
-</li>
-<li>opVers
-: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
+: <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
+, <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
@@ -611,10 +632,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33">SVF::CFLNode</a>
 </li>
 <li>OutEdgeBegin()
-: <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
-: <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeKindToSetMap
 : <a class="el" href="classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab">SVF::SVFVar</a>

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

@@ -75,7 +75,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFIR.html#a639210db7230cea2eeaf2d08c953d827">SVF::SVFIR</a>
 </li>
 <li>PAGDotGraph
-: <a class="el" href="classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a1dd9ad3f11454be49b4c5099503db8e8">SVF::Options</a>
 </li>
 <li>pagEdge
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49">SVF::StmtVFGNode</a>
@@ -170,14 +170,14 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474">SVF::VFG</a>
 </li>
 <li>PAGPrint
-: <a class="el" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">SVF::Options</a>
-</li>
-<li>pagReadFromTXT()
-: <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1Options.html#a7c6053f2341a500a8caca61607303b6e">SVF::Options</a>
 </li>
 <li>pagReadFromTxt
 : <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
 </li>
+<li>pagReadFromTXT()
+: <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
+</li>
 <li>pairheadmap
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e">SVF::MTASVFGBuilder</a>
 </li>
@@ -206,9 +206,18 @@ $(function() {
 <li>parForSitesEnd()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a506343bcd23ba71d2db915ff7c58e728">SVF::ThreadCallGraph</a>
 </li>
+<li>parseAndSetValue()
+: <a class="el" href="classOption.html#a4bce0f38bb5ae80e3ce435e736df6f50">Option&lt; T &gt;</a>
+, <a class="el" href="classOptionBase.html#af20460d3ee3bcfbb036120339996efd8">OptionBase</a>
+, <a class="el" href="classOptionMap.html#a80523ee22ddb28f5837ad3fb07fd7dd5">OptionMap&lt; T &gt;</a>
+, <a class="el" href="classOptionMultiple.html#af175c4dde2e877dbf52eb20bd836615e">OptionMultiple&lt; T &gt;</a>
+</li>
 <li>parseOperations()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#ad8a2b261ce86d6aa45f90095db2b2a94">SVF::SVFIRBuilder</a>
 </li>
+<li>parseOptions()
+: <a class="el" href="classOptionBase.html#a4fb6c6e4a1754d702c6c1730f54457e5">OptionBase</a>
+</li>
 <li>parseProductionsString()
 : <a class="el" href="classSVF_1_1GrammarBuilder.html#a5a34166b4b1ce1dcc985f4619f4a2bbc">SVF::GrammarBuilder</a>
 </li>
@@ -228,7 +237,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MRGenerator.html#ac0b966ee2065607a24920dd9067b40e9">SVF::MRGenerator</a>
 </li>
 <li>PASelected
-: <a class="el" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a4837cf00e58d0b561f420f4b3b533ebd">SVF::Options</a>
 </li>
 <li>PATH_LEAK
 : <a class="el" href="classSVF_1_1LeakChecker.html#a42f54433e5ca60928f3c329ab545842da5ef9b70f9a245b7a6b94a4456daabcda">SVF::LeakChecker</a>
@@ -249,7 +258,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9">SVF::SVFStmt</a>
 </li>
 <li>PEGTransfer
-: <a class="el" href="classSVF_1_1Options.html#a7d566af0280a0c2457947fd426c81c81">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a4854dd8b167e468e698606254b31bf26">SVF::Options</a>
 </li>
 <li>performAddingMHPEdges()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a0ed91beb4d3442c0a78ea81bde8d41a3">SVF::MTASVFGBuilder</a>
@@ -378,7 +387,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
 </li>
 <li>PhiStmt()
-: <a class="el" href="classSVF_1_1PhiStmt.html#a7ac7cc8a4fd0c692b45df02fc5166b3b">SVF::PhiStmt</a>
+: <a class="el" href="classSVF_1_1PhiStmt.html#a74e4c9a108d70aff8acaf3f32a16335f">SVF::PhiStmt</a>
 </li>
 <li>phiTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aee7d59b7ad00cf1cf6e3fba19513aa42">SVF::FlowSensitive</a>
@@ -390,7 +399,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a5a8688102f3675cf414b01dc2ae51c6b">SVF::FlowSensitive</a>
 </li>
 <li>PlainMappingFs
-: <a class="el" href="classSVF_1_1Options.html#a75a38fff97f7f18f3945c953cabc168b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a0123986b466dae50b2f12c71295c54f9">SVF::Options</a>
 </li>
 <li>plus_infinity()
 : <a class="el" href="classSVF_1_1IntervalValue.html#a739ab04e16ec1156be71b29d49998a4f">SVF::IntervalValue</a>
@@ -456,6 +465,19 @@ $(function() {
 <li>position
 : <a class="el" href="structerror.html#a24de70a4d517ab351d80c18582cadb66">error</a>
 </li>
+<li>possibilities
+: <a class="el" href="classOptionMap.html#a0e39650a4340e7ff4f214bc4223575eb">OptionMap&lt; T &gt;</a>
+, <a class="el" href="classOptionMultiple.html#aec251294a810d232e1f352a40126d82a">OptionMultiple&lt; T &gt;</a>
+</li>
+<li>PossibilityDescription
+: <a class="el" href="classOptionBase.html#a0a048de2a9ea404cb6b6be6276e8f91e">OptionBase</a>
+</li>
+<li>possibilityDescriptions
+: <a class="el" href="classOptionBase.html#aa6cc4a59e5801eff5d7dcdc0137e16a1">OptionBase</a>
+</li>
+<li>PossibilityDescriptions
+: <a class="el" href="classOptionBase.html#adbecc317e1c8a157456c069ca0b4679c">OptionBase</a>
+</li>
 <li>postDominate()
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a3eb0a564ba8047dc5512b2e79ba64313">SVF::SaberCondAllocator</a>
 , <a class="el" href="classSVF_1_1SVFFunction.html#acc4af12afb0bc14982060d2e3baa1929">SVF::SVFFunction</a>
@@ -474,7 +496,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CmpStmt.html#a26fc263da6ab3fee40a335d367419328">SVF::CmpStmt</a>
 </li>
 <li>PredictPtOcc
-: <a class="el" href="classSVF_1_1Options.html#af34d8a738db4f40addc1de930e79654f">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aed7bdea17fad08ceb0453b23f2f908bb">SVF::Options</a>
 </li>
 <li>predInsts
 : <a class="el" href="classSVF_1_1SVFInstruction.html#ace4dc83c186f5ae888aa210439ae4c34">SVF::SVFInstruction</a>
@@ -525,25 +547,25 @@ $(function() {
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d">SVF::PointerAnalysis</a>
 </li>
 <li>PrintAliases
-: <a class="el" href="classSVF_1_1Options.html#a1b1d1ad6b3a6c48a9fa07161b582c7fe">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">SVF::Options</a>
 </li>
 <li>PrintAliasPairs()
 : <a class="el" href="classSVF_1_1WPAPass.html#abb6e0c5cc5de312ee0285d1854550752">SVF::WPAPass</a>
 </li>
 <li>PrintCFL
-: <a class="el" href="classSVF_1_1Options.html#a0beb2da0f9ab691c0b7729bb42f8354c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a9ff12bf51a475c90c35e3351c5501f0f">SVF::Options</a>
 </li>
 <li>PrintCGGraph
-: <a class="el" href="classSVF_1_1Options.html#a87516daebb3d1b5fee9037068d60e268">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a9e5f361015b558d3d4e7e033868f9c83">SVF::Options</a>
 </li>
 <li>printCH()
 : <a class="el" href="classSVF_1_1CHGraph.html#ae382d5bab69843bdb9424c4c6ff94140">SVF::CHGraph</a>
 </li>
 <li>PrintCPts
-: <a class="el" href="classSVF_1_1Options.html#aee5e47ee3ca9bacb514f9dfbcb3abf24">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#abe3087eb48a10bb600d1fd24308c019b">SVF::Options</a>
 </li>
 <li>PrintDCHG
-: <a class="el" href="classSVF_1_1Options.html#adf6c289ef9f2d0196984dd4024ea4316">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#aab85f2c2ceb235b1291301f33154d182">SVF::Options</a>
 </li>
 <li>printExprValues()
 : <a class="el" href="classSVF_1_1ExeState.html#a06245a3061b7a52488d593b9faeddbe0">SVF::ExeState</a>
@@ -557,22 +579,22 @@ $(function() {
 : <a class="el" href="classSVF_1_1GraphPrinter.html#adfa13bfbe85566fa5917280c5d2444da">SVF::GraphPrinter</a>
 </li>
 <li>printIndCSTargets()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a84edebc59e29f2cc1b89a699b8641f30">SVF::PointerAnalysis</a>
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a062f1f2d6d47694caa9ac64a9e68c7b3">SVF::PointerAnalysis</a>
 </li>
 <li>printInterleaving()
 : <a class="el" href="classSVF_1_1MHP.html#a22f7dc5043fed97f1b4b273b8b710415">SVF::MHP</a>
 </li>
 <li>PrintInterLev
-: <a class="el" href="classSVF_1_1Options.html#aa3e6c78eb346a52bbaaac2610573604a">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a1c6e39ebc266c754de4d78a31cc021ba">SVF::Options</a>
 </li>
 <li>printLocks()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ac1b42b0a53feae04f848e5b0828ff01a">SVF::LockAnalysis</a>
 </li>
 <li>PrintLockSpan
-: <a class="el" href="classSVF_1_1Options.html#ab8a9641b660197b4421fbd6141858c58">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a34e1093189fc8c150a9f2961557aa844">SVF::Options</a>
 </li>
 <li>PrintPathCond
-: <a class="el" href="classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a61986f02577051d98962c6680ac7c4f9">SVF::Options</a>
 </li>
 <li>printPathCond()
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a389fd522c1de5b4feed34f29b9709d03">SVF::SaberCondAllocator</a>
@@ -581,7 +603,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f">SVF::DDAPass</a>
 </li>
 <li>PrintQueryPts
-: <a class="el" href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae88c0813d02dcb5632cd721a61a15014">SVF::Options</a>
 </li>
 <li>printResults()
 : <a class="el" href="classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0">SVF::PCG</a>
@@ -604,13 +626,13 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a7d101df4e73b8fbf9ec0df25190417b5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
 <li>printTable()
-: <a class="el" href="classSVF_1_1IntervalExeState.html#adbfb716c41fdc758f792e8ffb81a17fa">SVF::IntervalExeState</a>
+: <a class="el" href="classSVF_1_1IntervalExeState.html#abf57a44b95108e255242f630ba33f37b">SVF::IntervalExeState</a>
 </li>
 <li>printTDFuns()
 : <a class="el" href="classSVF_1_1PCG.html#af8af0a2a2159261bf05abe226c43006e">SVF::PCG</a>
 </li>
 <li>PrintValidRes
-: <a class="el" href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a944aee270c78d42c998691da283165f1">SVF::Options</a>
 </li>
 <li>printZ3Stat()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a8aa11629166b76a7b6555dee85e512b2">SVF::SrcSnkDDA</a>
@@ -763,7 +785,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#af469d79fcc3bebd9360f72696a242d4e">SVF::MTAAnnotator</a>
 </li>
 <li>PStat
-: <a class="el" href="classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ac9d18f2d6853f45548f4f85fa2f661c4">SVF::Options</a>
 </li>
 <li>pt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5">SVF::PointsTo::PointsToIterator</a>
@@ -796,12 +818,12 @@ $(function() {
 <li>PTACGNodeSet
 : <a class="el" href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT</a>
 </li>
-<li>ptaImplTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
-</li>
 <li>PTAImplTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">SVF::PointerAnalysis</a>
 </li>
+<li>ptaImplTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
+</li>
 <li>PTAName()
 : <a class="el" href="classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606">SVF::ContextDDA</a>
@@ -843,7 +865,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PTData.html#a142667d3a394fa6c3f337abba295ebb1">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptDataBacking
-: <a class="el" href="classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#ae3c3cc703ef35987a32aa808038a1307">SVF::Options</a>
 </li>
 <li>PTDataTy
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acfdb43f20bbcababc928cc4df93a8483">SVF::BVDataPTAImpl</a>
@@ -890,12 +912,12 @@ $(function() {
 <li>PTRONLYSVFG_OPT
 : <a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">SVF::VFG</a>
 </li>
-<li>ptrToBVPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>PtrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>ptrToBVPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>PtrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
@@ -906,7 +928,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>PTSAllPrint
-: <a class="el" href="classSVF_1_1Options.html#a113ee30422ef08b6790eed9a83277b9c">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a737f3501a93f954790fe93d36c43fb00">SVF::Options</a>
 </li>
 <li>PtsMap
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a7bb300f30f4f8cee208229ae10faa291">SVF::FlowSensitive</a>
@@ -931,7 +953,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad08dbfa28cd0d622322091d6600748ed">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PTSPrint
-: <a class="el" href="classSVF_1_1Options.html#ace0fa364337374ce75a58a9e2f229e24">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a428e892b31dcb783be36a35e878a0337">SVF::Options</a>
 </li>
 <li>ptsSizeStat()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html#acbe0a777f2c00b142a94ce2b974fd5d5">SVF::VersionedFlowSensitiveStat</a>
@@ -949,7 +971,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a5ff8d1cade33445ef7c17f0aedd6a4d1">SVF::IntraDisjointMRG</a>
 </li>
 <li>PtType
-: <a class="el" href="classSVF_1_1Options.html#abc02c7dc5e6cb3613856e0f774c6d304">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a595a98babd7d51af6dacd935bd27d1f0">SVF::Options</a>
 </li>
 <li>PURE_ABSTRACT
 : <a class="el" href="classSVF_1_1CHNode.html#a7111a3971f9f03e32bfd291a783d43b4ab530567d5ba09c9c579aef964aef8f81">SVF::CHNode</a>

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

@@ -95,7 +95,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5">SVF::ProgSlice</a>
 </li>
 <li>ReadAnder
-: <a class="el" href="classSVF_1_1Options.html#a98a521e5c99c5248eae8f8234453b116">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a453571cd0205f14ead205b3a54477475">SVF::Options</a>
 </li>
 <li>readFile()
 : <a class="el" href="classSVF_1_1SVFG.html#a9da50b8f467066b478143af64f7c9858">SVF::SVFG</a>
@@ -110,10 +110,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5532751632ece036b3d6741908573b36">SVF::MTASVFGBuilder</a>
 </li>
 <li>ReadPrecisionTDEdge
-: <a class="el" href="classSVF_1_1Options.html#a6bec8aed8673d10d65cc3df9fad3383b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a3b6146824333f0da957d37b199978916">SVF::Options</a>
 </li>
 <li>ReadSVFG
-: <a class="el" href="classSVF_1_1Options.html#a1608ded89f829a780d67cb82e1e62944">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a034a83cdac580c1f8b10805e29ca50e4">SVF::Options</a>
 </li>
 <li>realDefFun
 : <a class="el" href="classSVF_1_1SVFFunction.html#a78f8e3238be991bf5cc42a84c29b9007">SVF::SVFFunction</a>
@@ -163,10 +163,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemSSA.html#add1d4ff17d0860906d2f5f7172176121">SVF::MemSSA</a>
 </li>
 <li>RegionAlign
-: <a class="el" href="classSVF_1_1Options.html#a88550ed8c4ec2ccc5d5e40869499787b">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a5a70a23e30df8dea3fcaf0e80479fe88">SVF::Options</a>
 </li>
 <li>RegionedClustering
-: <a class="el" href="classSVF_1_1Options.html#ab6115b28808af348e1f6a6b58b4cd84f">SVF::Options</a>
+: <a class="el" href="classSVF_1_1Options.html#a8cc5b2a363724b558f4932277a87c0f6">SVF::Options</a>
 </li>
 <li>RegioningTime
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad5f733cad8a103a64e80270acb67567a">SVF::NodeIDAllocator::Clusterer</a>
@@ -523,7 +523,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RetCFGEdge.html#ad4bbb9881dff7b715c7a70b92baf376c">SVF::RetCFGEdge</a>
 </li>
 <li>RetPE()
-: <a class="el" href="classSVF_1_1RetPE.html#ab4da5e54fec989eab5640acc8c4fe215">SVF::RetPE</a>
+: <a class="el" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">SVF::RetPE</a>
 </li>
 <li>retPEBegin()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#ad81c6e6579293352ecb59345538b2132">SVF::FormalRetVFGNode</a>