class BDDSourceManager {

  public static BDDSourceManager forIpAccessList(
      BDDPacket pkt, Configuration config, IpAccessList acl) {
    return forIpAccessList(
        pkt,
        Sets.union(ImmutableSet.of(SOURCE_ORIGINATING_FROM_DEVICE), config.activeInterfaceNames()),
        config.getIpAccessLists(),
        acl);
  }

  private  BDDSourceManager(
      BDDFiniteDomain<String> finiteDomain, Set<String> activeButUnreferenced);

}