class CommunityMatchExprToBDD implements CommunityMatchExprVisitor<BDD, Arg> {

  @Override
  public BDD visitCommunityIn(CommunityIn communityIn, Arg arg) {
    return communityIn.getCommunitySetExpr().accept(new CommunitySetExprToBDD(), arg);
  }

}