org.aksw.sparqlify.util

Class CnfTransformer<T>

java.lang.Object

org.aksw.sparqlify.util.CnfTransformer<T>

public class CnfTransformer<T>
extends Object

Constructor Summary

Constructors

Constructor and Description
CnfTransformer(ExprAccessor<T> accessor)

Method Summary

Methods

Modifier and Type	Method and Description
static <T> List<Collection<T>>	cnfToClauses(Iterable<T> exprs, ExprAccessor<T> accessor) This method only words if the input expressions are in DNF, otherwise you will likely get junk back.
static <T> void	collectAnd(T expr, Collection<Collection<T>> clauses, ExprAccessor<T> accessor, org.aksw.sparqlify.util.CollectionFactory<T> clauseFactory)
static <T> void	collectOr(T expr, Collection<T> clause, ExprAccessor<T> accessor)
T	eval(T expr)
static <T> T	eval(T expr, ExprAccessor<T> accessor)
static <T> List<Collection<T>>	toCnf(Iterable<T> exprs, ExprAccessor<T> accessor)
static <T> List<Collection<T>>	toCnf(T expr, ExprAccessor<T> accessor)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CnfTransformer

public CnfTransformer(ExprAccessor<T> accessor)

Method Detail

eval

public T eval(T expr)

eval

public static <T> T eval(T expr,
         ExprAccessor<T> accessor)

toCnf

public static <T> List<Collection<T>> toCnf(T expr,
                            ExprAccessor<T> accessor)

toCnf

public static <T> List<Collection<T>> toCnf(Iterable<T> exprs,
                            ExprAccessor<T> accessor)

cnfToClauses

public static <T> List<Collection<T>> cnfToClauses(Iterable<T> exprs,
                                   ExprAccessor<T> accessor)

This method only words if the input expressions are in DNF, otherwise you will likely get junk back.

Parameters:

exprs -

Returns:

collectAnd

public static <T> void collectAnd(T expr,
                  Collection<Collection<T>> clauses,
                  ExprAccessor<T> accessor,
                  org.aksw.sparqlify.util.CollectionFactory<T> clauseFactory)

collectOr

public static <T> void collectOr(T expr,
                 Collection<T> clause,
                 ExprAccessor<T> accessor)