class PacketHeaderConstraintsUtil {

  public static BDD toBDD(
      BDDPacket pkt, PacketHeaderConstraints phc, IpSpace srcIpSpace, IpSpace dstIpSpace) {
    return toBDD(pkt, phc, ImmutableMap.of(), srcIpSpace, dstIpSpace);
  }

}