class IpSpaceToBDD implements GenericIpSpaceVisitor<BDD> {

  public BDD toBDD(Ip ip) {
    return firstBitsEqual(ip, Prefix.MAX_PREFIX_LENGTH);
  }

  public  IpSpaceToBDD(BDDInteger var);
  public  IpSpaceToBDD(BDDInteger var, Map<String, IpSpace> namedIpSpaces);

}