@Test public void testBDDTransitions_PreOutVrf_NodeInterfaceDisposition() { assertThat( _graph .getForwardEdgeMap() .get(_dstPreOutVrf) .get(new NodeInterfaceDeliveredToSubnet(_dstName, _dstIface1Name)), nullValue()); assertThat( _graph .getForwardEdgeMap() .get(_dstPreOutVrf) .get(new NodeInterfaceDeliveredToSubnet(_dstName, _dstIface2Name)), nullValue()); assertThat( _graph .getForwardEdgeMap() .get(_dstPreOutVrf) .get(new NodeInterfaceDeliveredToSubnet(_dstName, _link1DstName)), nullValue()); assertThat( _graph .getForwardEdgeMap() .get(_dstPreOutVrf) .get(new NodeInterfaceDeliveredToSubnet(_dstName, _link2DstName)), nullValue()); assertThat( _graph .getForwardEdgeMap() .get(_dstPreOutVrf) .get(new NodeInterfaceExitsNetwork(_dstName, _dstIface1Name)), nullValue()); assertThat( _graph .getForwardEdgeMap() .get(_dstPreOutVrf) .get(new NodeInterfaceExitsNetwork(_dstName, _dstIface2Name)), nullValue()); assertThat( _graph .getForwardEdgeMap() .get(_dstPreOutVrf) .get(new NodeInterfaceExitsNetwork(_dstName, _link1DstName)), nullValue()); assertThat( _graph .getForwardEdgeMap() .get(_dstPreOutVrf) .get(new NodeInterfaceExitsNetwork(_dstName, _link2DstName)), nullValue()); assertThat( bddTransition( _dstPreOutVrf, new PreOutInterfaceNeighborUnreachable(_dstName, _dstIface1Name)), equalTo(_dstIface1IpBDD)); assertThat( bddTransition( _dstPreOutVrf, new PreOutInterfaceNeighborUnreachable(_dstName, _dstIface2Name)), equalTo(_dstIface2IpBDD)); assertThat( bddTransition( _dstPreOutVrf, new PreOutInterfaceNeighborUnreachable(_dstName, _link1DstName)), equalTo(_link1DstIpBDD)); assertThat( bddTransition( _dstPreOutVrf, new PreOutInterfaceNeighborUnreachable(_dstName, _link2DstName)), equalTo(_link2DstIpBDD)); assertThat( _graph .getForwardEdgeMap() .get(_dstPreOutVrf) .get(new NodeInterfaceInsufficientInfo(_dstName, _dstIface1Name)), nullValue()); assertThat( _graph .getForwardEdgeMap() .get(_dstPreOutVrf) .get(new NodeInterfaceInsufficientInfo(_dstName, _dstIface2Name)), nullValue()); assertThat( _graph .getForwardEdgeMap() .get(_dstPreOutVrf) .get(new NodeInterfaceInsufficientInfo(_dstName, _link1DstName)), nullValue()); assertThat( _graph .getForwardEdgeMap() .get(_dstPreOutVrf) .get(new NodeInterfaceInsufficientInfo(_dstName, _link2DstName)), nullValue()); }
public Map<StateExpr, Map<StateExpr, Transition>> getForwardEdgeMap() { return _forwardEdgeTable.rowMap(); }
BDDReachabilityAnalysis { public Map<StateExpr, Map<StateExpr, Transition>> getForwardEdgeMap() { return _forwardEdgeTable.rowMap(); } }
BDDReachabilityAnalysis { public Map<StateExpr, Map<StateExpr, Transition>> getForwardEdgeMap() { return _forwardEdgeTable.rowMap(); } BDDReachabilityAnalysis(
      BDDPacket packet,
      Set<StateExpr> ingressLocationStates,
      Stream<Edge> edges,
      BDD queryHeaderSpaceBdd); }
BDDReachabilityAnalysis { public Map<StateExpr, Map<StateExpr, Transition>> getForwardEdgeMap() { return _forwardEdgeTable.rowMap(); } 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<StateExpr, Map<StateExpr, Transition>> getForwardEdgeMap() { return _forwardEdgeTable.rowMap(); } 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();  }