Java DnfUtils Examples

Example #1

File: DnfUtils.java Project: 0607060123/jena-sparql-api

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

    return dnf;
  }

Example #2

File: FilterUtils.java Project: 0607060123/jena-sparql-api

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