@Test public void orWithZero() { assertThat(or(ZERO), sameInstance(ZERO)); assertThat(or(IDENTITY, ZERO), sameInstance(IDENTITY)); assertThat(or(ZERO, ZERO), sameInstance(ZERO)); assertThat(or(ZERO, setSrcIp(Ip.parse("1.2.3.4"))), equalTo(setSrcIp(Ip.parse("1.2.3.4")))); assertThat(or(setSrcIp(Ip.parse("1.2.3.4")), ZERO), equalTo(setSrcIp(Ip.parse("1.2.3.4")))); }
@Deprecated public static Transition or() { throw new IllegalArgumentException( "Don't call or() with no Transitions -- just use Zero instead."); }
Transitions { @Deprecated public static Transition or() { throw new IllegalArgumentException( "Don't call or() with no Transitions -- just use Zero instead."); } }
Transitions { @Deprecated public static Transition or() { throw new IllegalArgumentException( "Don't call or() with no Transitions -- just use Zero instead."); } private  Transitions(); }
Transitions { @Deprecated public static Transition or() { throw new IllegalArgumentException( "Don't call or() with no Transitions -- just use Zero instead."); } private  Transitions(); static Transition branch(BDD guard, Transition thn, Transition els); static Transition compose(Transition... transitions); static @Nullable Transition mergeComposed(Transition t1, Transition t2); static Transition constraint(BDD bdd); static Transition eraseAndSet(BDD var, BDD value); static Transition eraseAndSet(BDDInteger var, BDD value); @Deprecated static Transition or(); static Transition or(Transition... transitions); static Transition addLastHopConstraint(
      @Nullable LastHopOutgoingInterfaceManager mgr,
      String sendingNode,
      String sendingIface,
      String recvNode,
      String recvIface); static Transition addNoLastHopConstraint(
      @Nullable LastHopOutgoingInterfaceManager mgr, String recvNode, String recvIface); static Transition addOutgoingOriginalFlowFiltersConstraint(
      BDDOutgoingOriginalFlowFilterManager mgr); static Transition addOriginatingFromDeviceConstraint(BDDSourceManager mgr); static Transition addSourceInterfaceConstraint(BDDSourceManager mgr, String iface); static Transition removeNodeSpecificConstraints(
      String node,
      @Nullable LastHopOutgoingInterfaceManager lastHopMgr,
      BDDOutgoingOriginalFlowFilterManager originalFlowFilterMgr,
      BDDSourceManager sourceMgr); @VisibleForTesting static Transition removeOutgoingInterfaceConstraints(
      BDDOutgoingOriginalFlowFilterManager mgr); @VisibleForTesting static Transition removeSourceConstraint(BDDSourceManager mgr); static Transition reverse(Transition transition); }
Transitions { @Deprecated public static Transition or() { throw new IllegalArgumentException( "Don't call or() with no Transitions -- just use Zero instead."); } private  Transitions(); static Transition branch(BDD guard, Transition thn, Transition els); static Transition compose(Transition... transitions); static @Nullable Transition mergeComposed(Transition t1, Transition t2); static Transition constraint(BDD bdd); static Transition eraseAndSet(BDD var, BDD value); static Transition eraseAndSet(BDDInteger var, BDD value); @Deprecated static Transition or(); static Transition or(Transition... transitions); static Transition addLastHopConstraint(
      @Nullable LastHopOutgoingInterfaceManager mgr,
      String sendingNode,
      String sendingIface,
      String recvNode,
      String recvIface); static Transition addNoLastHopConstraint(
      @Nullable LastHopOutgoingInterfaceManager mgr, String recvNode, String recvIface); static Transition addOutgoingOriginalFlowFiltersConstraint(
      BDDOutgoingOriginalFlowFilterManager mgr); static Transition addOriginatingFromDeviceConstraint(BDDSourceManager mgr); static Transition addSourceInterfaceConstraint(BDDSourceManager mgr, String iface); static Transition removeNodeSpecificConstraints(
      String node,
      @Nullable LastHopOutgoingInterfaceManager lastHopMgr,
      BDDOutgoingOriginalFlowFilterManager originalFlowFilterMgr,
      BDDSourceManager sourceMgr); @VisibleForTesting static Transition removeOutgoingInterfaceConstraints(
      BDDOutgoingOriginalFlowFilterManager mgr); @VisibleForTesting static Transition removeSourceConstraint(BDDSourceManager mgr); static Transition reverse(Transition transition); static final Transition IDENTITY; static final Transition ZERO; }