class CommunityMatchExprToBDD implements CommunityMatchExprVisitor<BDD, Arg> {

  @Override
  public BDD visitCommunityIs(CommunityIs communityIs, Arg arg) {

    return CommunitySetMatchExprToBDD.communityVarsToBDD(
        communityIs.accept(
            new CommunityMatchExprVarCollector(), arg.getTransferBDD().getConfiguration()),
        arg);
  }

}