public static Set<Set<Expr>> toSetDnf(Expr expr) {
List<ExprList> clauses = DnfUtils.toClauses(expr);
Set<Set<Expr>> dnf = FilterUtils.toSets(clauses);
return dnf;
}
public static Expr determineFilterExpr(Quad quad, Set<Set<Expr>> dnf) {
return DnfUtils.dnfToExpr(determineFilterDnf(quad, dnf), true);
}