@Test public void testDefaultAcceptBDD() { BDDPacket pkt = new BDDPacket(); String hostname = "host"; OriginateVrf originateVrf = new OriginateVrf(hostname, "vrf"); BDD one = pkt.getFactory().one(); BDDReachabilityAnalysis graph = new BDDReachabilityAnalysis( pkt, ImmutableSet.of(originateVrf), Stream.of(new Edge(originateVrf, DropNoRoute.INSTANCE, one)), one); assertThat( graph.getIngressLocationReachableBDDs(), equalTo(ImmutableMap.of(toIngressLocation(originateVrf), pkt.getFactory().zero()))); }
public Map<IngressLocation, BDD> getIngressLocationReachableBDDs() { Map<StateExpr, BDD> reverseReachableStates = computeReverseReachableStates(); return getIngressLocationBDDs(reverseReachableStates); }
BDDReachabilityAnalysis { public Map<IngressLocation, BDD> getIngressLocationReachableBDDs() { Map<StateExpr, BDD> reverseReachableStates = computeReverseReachableStates(); return getIngressLocationBDDs(reverseReachableStates); } }
BDDReachabilityAnalysis { public Map<IngressLocation, BDD> getIngressLocationReachableBDDs() { Map<StateExpr, BDD> reverseReachableStates = computeReverseReachableStates(); return getIngressLocationBDDs(reverseReachableStates); } BDDReachabilityAnalysis(
      BDDPacket packet,
      Set<StateExpr> ingressLocationStates,
      Stream<Edge> edges,
      BDD queryHeaderSpaceBdd); }
BDDReachabilityAnalysis { public Map<IngressLocation, BDD> getIngressLocationReachableBDDs() { Map<StateExpr, BDD> reverseReachableStates = computeReverseReachableStates(); return getIngressLocationBDDs(reverseReachableStates); } BDDReachabilityAnalysis(
      BDDPacket packet,
      Set<StateExpr> ingressLocationStates,
      Stream<Edge> edges,
      BDD queryHeaderSpaceBdd); Map<StateExpr, BDD> computeReverseReachableStates(Map<StateExpr, BDD> roots); Map<StateExpr, BDD> computeForwardReachableStates(); Map<StateExpr, BDD> computeForwardReachableStates(
      Map<StateExpr, BDD> initialReachableStates); BDDPacket getBDDPacket(); ImmutableSet<StateExpr> getIngressLocationStates(); Map<IngressLocation, BDD> getIngressLocationReachableBDDs(); Map<IngressLocation, BDD> getIngressLocationReachableBDDs(Map<StateExpr, BDD> roots); Map<Location, BDD> getSrcLocationBdds(); Map<StateExpr, Map<StateExpr, Transition>> getForwardEdgeMap(); Table<StateExpr, StateExpr, Transition> getForwardEdgeTable(); }
BDDReachabilityAnalysis { public Map<IngressLocation, BDD> getIngressLocationReachableBDDs() { Map<StateExpr, BDD> reverseReachableStates = computeReverseReachableStates(); return getIngressLocationBDDs(reverseReachableStates); } BDDReachabilityAnalysis(
      BDDPacket packet,
      Set<StateExpr> ingressLocationStates,
      Stream<Edge> edges,
      BDD queryHeaderSpaceBdd); Map<StateExpr, BDD> computeReverseReachableStates(Map<StateExpr, BDD> roots); Map<StateExpr, BDD> computeForwardReachableStates(); Map<StateExpr, BDD> computeForwardReachableStates(
      Map<StateExpr, BDD> initialReachableStates); BDDPacket getBDDPacket(); ImmutableSet<StateExpr> getIngressLocationStates(); Map<IngressLocation, BDD> getIngressLocationReachableBDDs(); Map<IngressLocation, BDD> getIngressLocationReachableBDDs(Map<StateExpr, BDD> roots); Map<Location, BDD> getSrcLocationBdds(); Map<StateExpr, Map<StateExpr, Transition>> getForwardEdgeMap(); Table<StateExpr, StateExpr, Transition> getForwardEdgeTable();  }