class BDDSourceManager {

  public static Map<String, BDDSourceManager> forNetwork(
      BDDPacket pkt, Map<String, Configuration> configs) {
    return forNetwork(pkt, configs, false);
  }

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

}