Dnf.java

package org.aksw.jena_sparql_api.normal_form;

import java.util.Collection;
import java.util.HashSet;
import java.util.Set;

import org.aksw.jena_sparql_api.utils.DnfUtils;
import org.apache.jena.sparql.expr.Expr;

public class Dnf
    extends ExprNormalForm
{
    public Dnf(Collection<Clause> clauses) {
        super(clauses);
    }

    public static Dnf create(Expr expr) {
        Set<Set<Expr>> ss = DnfUtils.toSetDnf(expr);

        Set<Clause> clauses = new HashSet<Clause>();
        for(Set<Expr> s : ss) {
            clauses.add(new Clause(s));
        }

        return new Dnf(clauses);
    }
}