BDDReachabilityAnalysis: expose a (readonly) copy of the forward edge table
For some use cases, the table directly is better than the map.
@@ -5,6 +5,7 @@ import static org.batfish.bddreachability.BDDReachabilityUtils.getIngressLocatio
import com.google.common.collect.ImmutableMap;
import com.google.common.collect.ImmutableSet;
+import com.google.common.collect.ImmutableTable;
import com.google.common.collect.Table;
import io.opentracing.Scope;
import io.opentracing.Span;
@@ -183,4 +184,8 @@ public class BDDReachabilityAnalysis {
public Map<StateExpr, Map<StateExpr, Transition>> getForwardEdgeMap() {
return _forwardEdgeTable.rowMap();
}
+
+ public Table<StateExpr, StateExpr, Transition> getForwardEdgeTable() {
+ return ImmutableTable.copyOf(_forwardEdgeTable);
+ }
}
