got 2nd case of def reach up and running, one to go

[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 e327fcec65704425c40611967f51c1e0bb9ba6a2..90b09b81819f91c584f8de05eef3e6bba3e61af2 100644 (file)
--- a/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java
@@ -41,6 +41,14 @@ public class DefiniteReachAnalysis {
   }
 
 
+  public Set<DefiniteReachState.FdEntry> edgesToElidePropagation( TempDescriptor x, 
+                                                                  TempDescriptor y,
+                                                                  FlatNode fn ) {
+    return makeIn( fn ).edgesToElidePropagation( x, y );
+  }
+
+
+
   private void addPartialResult( FlatNode fn, DefiniteReachState state ) {
     fn2state.put( fn, state );
     fnHasPartial.add( fn );