class BooleanExprVarCollector implements BooleanExprVisitor<Set<CommunityVar>, Configuration> {

  @Override
  public Set<CommunityVar> visitDisjunction(Disjunction disjunction, Configuration arg) {
    return visitAll(disjunction.getDisjuncts(), arg);
  }

}