public class CnfUtils extends Object
| Constructor and Description |
|---|
CnfUtils() |
| Modifier and Type | Method and Description |
|---|---|
static List<com.hp.hpl.jena.sparql.expr.ExprList> |
cnfToClauses(Iterable<com.hp.hpl.jena.sparql.expr.Expr> exprs)
This method only words if the input expressions are in DNF,
otherwise you will likely get junk back.
|
static void |
collectAnd(com.hp.hpl.jena.sparql.expr.Expr expr,
List<com.hp.hpl.jena.sparql.expr.ExprList> list) |
static void |
collectOr(com.hp.hpl.jena.sparql.expr.Expr expr,
com.hp.hpl.jena.sparql.expr.ExprList list) |
static com.hp.hpl.jena.sparql.expr.Expr |
eval(com.hp.hpl.jena.sparql.expr.Expr expr) |
static Map<com.hp.hpl.jena.sparql.core.Var,com.hp.hpl.jena.graph.Node> |
getConstants(Iterable<Set<com.hp.hpl.jena.sparql.expr.Expr>> cnf) |
static com.hp.hpl.jena.sparql.expr.Expr |
handle(com.hp.hpl.jena.sparql.expr.ExprFunction expr) |
static boolean |
isSubsumedBy(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> cand,
Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> ref)
Test if the candidate is subsumed by the reference.
|
static void |
main(String[] args) |
static <T extends com.hp.hpl.jena.sparql.expr.ExprFunction2> |
normalize(T expr) |
static List<com.hp.hpl.jena.sparql.expr.ExprList> |
toClauses(com.hp.hpl.jena.sparql.expr.Expr expr) |
static List<com.hp.hpl.jena.sparql.expr.ExprList> |
toClauses(com.hp.hpl.jena.sparql.expr.ExprList exprs) |
static com.hp.hpl.jena.sparql.expr.ExprList |
toExprList(Iterable<Set<com.hp.hpl.jena.sparql.expr.Expr>> cnf) |
static Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> |
toSetCnf(com.hp.hpl.jena.sparql.expr.Expr expr) |
static Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> |
toSetCnf(com.hp.hpl.jena.sparql.expr.ExprList exprs)
Return a sub cnf that where each element of a clause contains all variables
|
public static <T extends com.hp.hpl.jena.sparql.expr.ExprFunction2> T normalize(T expr)
public static Map<com.hp.hpl.jena.sparql.core.Var,com.hp.hpl.jena.graph.Node> getConstants(Iterable<Set<com.hp.hpl.jena.sparql.expr.Expr>> cnf)
public static com.hp.hpl.jena.sparql.expr.ExprList toExprList(Iterable<Set<com.hp.hpl.jena.sparql.expr.Expr>> cnf)
public static void main(String[] args)
public static boolean isSubsumedBy(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> cand, Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> ref)
cand - ref - public static Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> toSetCnf(com.hp.hpl.jena.sparql.expr.ExprList exprs)
clauses - requiredVars - public static Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> toSetCnf(com.hp.hpl.jena.sparql.expr.Expr expr)
public static List<com.hp.hpl.jena.sparql.expr.ExprList> toClauses(com.hp.hpl.jena.sparql.expr.Expr expr)
public static List<com.hp.hpl.jena.sparql.expr.ExprList> toClauses(com.hp.hpl.jena.sparql.expr.ExprList exprs)
public static List<com.hp.hpl.jena.sparql.expr.ExprList> cnfToClauses(Iterable<com.hp.hpl.jena.sparql.expr.Expr> exprs)
exprs - public static void collectAnd(com.hp.hpl.jena.sparql.expr.Expr expr,
List<com.hp.hpl.jena.sparql.expr.ExprList> list)
public static void collectOr(com.hp.hpl.jena.sparql.expr.Expr expr,
com.hp.hpl.jena.sparql.expr.ExprList list)
public static com.hp.hpl.jena.sparql.expr.Expr eval(com.hp.hpl.jena.sparql.expr.Expr expr)
public static com.hp.hpl.jena.sparql.expr.Expr handle(com.hp.hpl.jena.sparql.expr.ExprFunction expr)
Copyright © 2015. All rights reserved.