class CommunitySetExprToBDD implements CommunitySetExprVisitor<BDD, Arg> {

  @Override
  public BDD visitCommunityExprsSet(CommunityExprsSet communityExprsSet, Arg arg) {
    Set<CommunityVar> commVars =
        communityExprsSet.accept(
            new CommunitySetExprVarCollector(), arg.getTransferBDD().getConfiguration());
    return CommunitySetMatchExprToBDD.communityVarsToBDD(commVars, arg);
  }

}