class MemoizedIpSpaceToBDD extends IpSpaceToBDD {

  @Override
  public BDD visit(IpSpace ipSpace) {
    return _cache.getUnchecked(ipSpace);
  }

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

}