class CommunityMatchExprToBDD implements CommunityMatchExprVisitor<BDD, Arg> {

  @Override
  public BDD visitStandardCommunityHighMatch(
      StandardCommunityHighMatch standardCommunityHighMatch, Arg arg) {
    return CommunitySetMatchExprToBDD.communityVarsToBDD(
        standardCommunityHighMatch.accept(
            new CommunityMatchExprVarCollector(), arg.getTransferBDD().getConfiguration()),
        arg);
  }

}