npm - svf-tools - Versions diffs - 1.0.289 → 1.0.293 - Mend

svf-tools 1.0.289 → 1.0.293

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

package/SVF-doxygen/html/html/classSVF_1_1ProgSlice-members.html CHANGED Viewed

@@ -100,43 +100,42 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#afad8cd2f720bf01eedd825c3c418abc0">getCurSVFGNode</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#a9150b694dd7b2e53ef7e78ea1b78094d">getFalseCond</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#aae54f4e8a827f55abe08762b69d9f84b">getForwardSliceSize</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ae91ba54faff9f6a2f85a499799419cb5">getLLVMValue</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d">getRetSite</a>(const SVFGEdge *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d">getSinks</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ac1dc48ea64a89ce37394a22e609a0cd0">getSource</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a32ffd130984483b201c485da91ec467f">getSVFG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#a8b61702d8e35f066bb78e823f2c59ce6">getSVFGNodeBB</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3">getTrueCond</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a15542937ee75195de1a3ffca18a168cf">getVFCond</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7">inBackwardSlice</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6">inForwardSlice</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e">isAllReachable</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4">isEquivalentBranchCond</a>(const Condition *lhs, const Condition *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#a3822badbbe9ac808296d5248f2dbf8e2">isPartialReachable</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a067480a9815fdb728cd259ef9b687e3e">isReachGlobal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed">isSatisfiableForAll</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4">isSatisfiableForPairs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9">partialReachable</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#adc27c77d68f54030bdbb714139a974e5">pathAllocator</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a76b91deacf7a66d142752f5a303386eb">ProgSlice</a>(const SVFGNode *src, PathCondAllocator *pa, const SVFG *graph)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5">reachGlob</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087">root</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd">setAllReachable</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#aee72d029c185c24b2bf01cdc0dcb25d8">setCurSVFGNode</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#a2b8ad7aad51029106d88e81072e09a5e">setFinalCond</a>(Condition *cond)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#af6f137be08ca0e743424ff07d679777d">setPartialReachable</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d">setReachGlobal</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#add68dd06ab20899bc898d065ae2e82c0">setVFCond</a>(const SVFGNode *node, Condition *cond)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#ab4da58e7c4cd2c80b4830efeaa896f80">sinks</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2">sinksBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a27636f096ec825c4d5cb1dca608afb31">sinksEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde">svfg</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a">SVFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVFGNodeSetIter</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00">SVFGNodeToCondMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">svfgNodeToCondMap</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c">VFWorkList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ad761a9848d2dab7700a7fdeb91c2454d">~ProgSlice</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d">getRetSite</a>(const SVFGEdge *edge) const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d">getSinks</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ac1dc48ea64a89ce37394a22e609a0cd0">getSource</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a32ffd130984483b201c485da91ec467f">getSVFG</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#a8b61702d8e35f066bb78e823f2c59ce6">getSVFGNodeBB</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3">getTrueCond</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a15542937ee75195de1a3ffca18a168cf">getVFCond</a>(const SVFGNode *node) const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7">inBackwardSlice</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6">inForwardSlice</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a2f96f034b7236791fe1d4d351174722e">isAllReachable</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a52ecc421c235a8854792ca92829312e4">isEquivalentBranchCond</a>(const Condition *lhs, const Condition *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#a3822badbbe9ac808296d5248f2dbf8e2">isPartialReachable</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a067480a9815fdb728cd259ef9b687e3e">isReachGlobal</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed">isSatisfiableForAll</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a45fb7711498bcba60e931c9c2a9ccec4">isSatisfiableForPairs</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9">partialReachable</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#adc27c77d68f54030bdbb714139a974e5">pathAllocator</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a76b91deacf7a66d142752f5a303386eb">ProgSlice</a>(const SVFGNode *src, PathCondAllocator *pa, const SVFG *graph)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ab36bc2aa24a2a90555a9714dcbfc83e5">reachGlob</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ada13c2389d43973ff7db18b7fca90087">root</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ae6102647fa4985142c293116516612cd">setAllReachable</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#aee72d029c185c24b2bf01cdc0dcb25d8">setCurSVFGNode</a>(const SVFGNode *node)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#a2b8ad7aad51029106d88e81072e09a5e">setFinalCond</a>(Condition *cond)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#af6f137be08ca0e743424ff07d679777d">setPartialReachable</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a397632ce0c523c4a54c5dc578606d14d">setReachGlobal</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#add68dd06ab20899bc898d065ae2e82c0">setVFCond</a>(const SVFGNode *node, Condition *cond)</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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_1ProgSlice.html#ab4da58e7c4cd2c80b4830efeaa896f80">sinks</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2">sinksBegin</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a27636f096ec825c4d5cb1dca608afb31">sinksEnd</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde">svfg</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a4864972e12f3e95f06bcf2bf8c847b3a">SVFGNodeSet</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVFGNodeSetIter</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ae16157bd0b66dfb3cc18b778a745ed00">SVFGNodeToCondMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#aeda61b2786b128e8c45089de60dcafce">svfgNodeToCondMap</a></td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#a684e44ade783439c6f77a8d84eed282c">VFWorkList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html#ad761a9848d2dab7700a7fdeb91c2454d">~ProgSlice</a>()</td><td class="entry"><a class="el" href="classSVF_1_1ProgSlice.html">SVF::ProgSlice</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>