class CommunitySetExprToBDD implements CommunitySetExprVisitor<BDD, Arg> {

  @Override
  public BDD visitCommunitySetUnion(CommunitySetUnion communitySetUnion, Arg arg) {
    return BDDRoute.factory.orAll(
        communitySetUnion.getExprs().stream()
            .map(expr -> expr.accept(this, arg))
            .collect(Collectors.toList()));
  }

}