class BDDPrefix {

  public @Nonnull BDD isPrefix(Prefix prefix) {
    return firstBitsEqual(prefix.getStartIp(), prefix.getPrefixLength())
        .and(_prefixLength.value(prefix.getPrefixLength()));
  }

  public  BDDPrefix(BDDInteger ip, BDDInteger prefixLength);

}