class CommunityMatchExprToBDD implements CommunityMatchExprVisitor<BDD, Arg> {

  @Override
  public BDD visitStandardCommunityLowMatch(
      StandardCommunityLowMatch standardCommunityLowMatch, Arg arg) {
    return CommunitySetMatchExprToBDD.communityVarsToBDD(
        standardCommunityLowMatch.accept(
            new CommunityMatchExprVarCollector(), arg.getTransferBDD().getConfiguration()),
        arg);
  }

}