@Test public void testToBDDConversion() { BDDPacket packet = new BDDPacket(); assertThat( PacketHeaderConstraintsUtil.toBDD( packet, PacketHeaderConstraints.unconstrained(), UniverseIpSpace.INSTANCE, UniverseIpSpace.INSTANCE), equalTo(packet.getFactory().one())); }
public static BDD toBDD( BDDPacket pkt, PacketHeaderConstraints phc, IpSpace srcIpSpace, IpSpace dstIpSpace) { return toBDD(pkt, phc, ImmutableMap.of(), srcIpSpace, dstIpSpace); }
PacketHeaderConstraintsUtil { public static BDD toBDD( BDDPacket pkt, PacketHeaderConstraints phc, IpSpace srcIpSpace, IpSpace dstIpSpace) { return toBDD(pkt, phc, ImmutableMap.of(), srcIpSpace, dstIpSpace); } }
PacketHeaderConstraintsUtil { public static BDD toBDD( BDDPacket pkt, PacketHeaderConstraints phc, IpSpace srcIpSpace, IpSpace dstIpSpace) { return toBDD(pkt, phc, ImmutableMap.of(), srcIpSpace, dstIpSpace); }  }
PacketHeaderConstraintsUtil { public static BDD toBDD( BDDPacket pkt, PacketHeaderConstraints phc, IpSpace srcIpSpace, IpSpace dstIpSpace) { return toBDD(pkt, phc, ImmutableMap.of(), srcIpSpace, dstIpSpace); }  static AclLineMatchExpr toAclLineMatchExpr(
      PacketHeaderConstraints phc, IpSpace srcIpSpace, IpSpace dstIpSpace); static AclLineMatchExpr toAclLineMatchExpr(PacketHeaderConstraints phc); static BDD toBDD(
      BDDPacket pkt, PacketHeaderConstraints phc, IpSpace srcIpSpace, IpSpace dstIpSpace); static BDD toBDD(
      BDDPacket pkt,
      PacketHeaderConstraints phc,
      Map<String, IpSpace> namedIpSpaces,
      IpSpace srcIpSpace,
      IpSpace dstIpSpace); @VisibleForTesting static Flow.Builder toFlow(
      BDDPacket pkt, PacketHeaderConstraints phc, IpSpace srcIps, IpSpace dstIps); }
PacketHeaderConstraintsUtil { public static BDD toBDD( BDDPacket pkt, PacketHeaderConstraints phc, IpSpace srcIpSpace, IpSpace dstIpSpace) { return toBDD(pkt, phc, ImmutableMap.of(), srcIpSpace, dstIpSpace); }  static AclLineMatchExpr toAclLineMatchExpr(
      PacketHeaderConstraints phc, IpSpace srcIpSpace, IpSpace dstIpSpace); static AclLineMatchExpr toAclLineMatchExpr(PacketHeaderConstraints phc); static BDD toBDD(
      BDDPacket pkt, PacketHeaderConstraints phc, IpSpace srcIpSpace, IpSpace dstIpSpace); static BDD toBDD(
      BDDPacket pkt,
      PacketHeaderConstraints phc,
      Map<String, IpSpace> namedIpSpaces,
      IpSpace srcIpSpace,
      IpSpace dstIpSpace); @VisibleForTesting static Flow.Builder toFlow(
      BDDPacket pkt, PacketHeaderConstraints phc, IpSpace srcIps, IpSpace dstIps); static final int DEFAULT_PACKET_LENGTH; }