Ejemplo n.º 1
0
  public static Set<Set<Expr>> toSetDnf(Expr expr) {
    List<ExprList> clauses = DnfUtils.toClauses(expr);
    Set<Set<Expr>> dnf = FilterUtils.toSets(clauses);

    return dnf;
  }
Ejemplo n.º 2
0
 public static Expr determineFilterExpr(Quad quad, Set<Set<Expr>> dnf) {
   return DnfUtils.dnfToExpr(determineFilterDnf(quad, dnf), true);
 }