Set<String> createDisjunctiveNormalForm(Query q){
  List<Conjunction> dnf=QueryFilter.createDisjunctiveNormalForm(q);
  Set<String> ret=new HashSet<>();
  for (  Conjunction c : dnf) {
    ret.add(c.toString());
  }
  return ret;
}

Set < String > createDisjunctiveNormalForm ( Query q ) { List < Conjunction > dnf = QueryFilter . createDisjunctiveNormalForm ( q ) ; Set < String > ret = new HashSet < > ( ) ; for ( Conjunction c : dnf ) { ret . add ( c . toString ( ) ) ; } return ret ; }
create dnf from query . returns a set with the string representations of the conjunctions in the dnf . only used to make tests more readable .
