public static void toDNF ( LogicClause topNode ) { while ( makeDNF ( topNode ) == false ) { // do nothing, just repeat } cleanEmptyLeafs ( topNode ) ; flattenDNF ( topNode ) ; }
Transforms an AQL query to the Disjunctive Normal Form .