class BDDFlowConstraintGenerator {

  @VisibleForTesting
  static BDD isPrivateIp(IpSpaceToBDD ip) {
    return BDDOps.orNull(
        ip.toBDD(PRIVATE_SUBNET_10), ip.toBDD(PRIVATE_SUBNET_172), ip.toBDD(PRIVATE_SUBNET_192));
  }

    BDDFlowConstraintGenerator(BDDPacket pkt);

}