static <T> List<Collection<T>> |
CnfTransformer.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 |
CnfTransformer.collectAnd(T expr,
Collection<Collection<T>> clauses,
ExprAccessor<T> accessor,
org.aksw.sparqlify.util.CollectionFactory<T> clauseFactory) |
static <T> void |
CnfTransformer.collectOr(T expr,
Collection<T> clause,
ExprAccessor<T> accessor) |
static <T> T |
CnfTransformer.eval(T expr,
ExprAccessor<T> accessor) |
static <T> List<Collection<T>> |
CnfTransformer.toCnf(Iterable<T> exprs,
ExprAccessor<T> accessor) |
static <T> List<Collection<T>> |
CnfTransformer.toCnf(T expr,
ExprAccessor<T> accessor) |