AWESOME. Used just the R relation of definite reach to successfully improve the...

[IRC.git] / Robust / src / Analysis / Disjoint / DefiniteReachAnalysis.java

diff --git a/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java b/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java
index f8a252ee37caa9bf9bbadd53540cf3265898b6c1..e327fcec65704425c40611967f51c1e0bb9ba6a2 100644 (file)
--- a/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java
@@ -34,6 +34,13 @@ public class DefiniteReachAnalysis {
   }
 
 
+  public boolean isAlreadyReachable( TempDescriptor a,
+                                     TempDescriptor b,
+                                     FlatNode fn ) {
+    return makeIn( fn ).isAlreadyReachable( a, b );
+  }
+
+
   private void addPartialResult( FlatNode fn, DefiniteReachState state ) {
     fn2state.put( fn, state );
     fnHasPartial.add( fn );