org.aksw.jena_sparql_api.utils

Class ClauseUtils

java.lang.Object

org.aksw.jena_sparql_api.utils.ClauseUtils

public class ClauseUtils
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static Set<com.hp.hpl.jena.sparql.expr.Expr>	TRUE

Constructor Summary

Constructors

Constructor and Description
ClauseUtils()

Method Summary

Methods

Modifier and Type	Method and Description
static Set<com.hp.hpl.jena.sparql.expr.Expr>	applyNodeTransform(Set<com.hp.hpl.jena.sparql.expr.Expr> clause, com.hp.hpl.jena.sparql.graph.NodeTransform nodeTransform)
static Set<Set<com.hp.hpl.jena.sparql.expr.Expr>>	applyNodeTransformSet(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> clauses, com.hp.hpl.jena.sparql.graph.NodeTransform nodeTransform)
static Set<Set<com.hp.hpl.jena.sparql.expr.Expr>>	filterByVars(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> clauses, Set<com.hp.hpl.jena.sparql.core.Var> requiredVars)
static Set<com.hp.hpl.jena.sparql.core.Var>	getVarsMentioned(Iterable<? extends com.hp.hpl.jena.sparql.expr.Expr> clause)
static boolean	isSatisfiable(com.hp.hpl.jena.sparql.expr.Expr expr)
static boolean	isSatisfiable(Set<com.hp.hpl.jena.sparql.expr.Expr> clause) false means that it is no satisfiable.

Methods inherited from class java.lang.Object

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

Field Detail

TRUE

public static final Set<com.hp.hpl.jena.sparql.expr.Expr> TRUE

Constructor Detail

ClauseUtils

public ClauseUtils()

Method Detail

filterByVars

public static Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> filterByVars(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> clauses,
                                                      Set<com.hp.hpl.jena.sparql.core.Var> requiredVars)

isSatisfiable

public static boolean isSatisfiable(Set<com.hp.hpl.jena.sparql.expr.Expr> clause)

false means that it is no satisfiable. true is actually a 'maybe'

Parameters:

clause -

Returns:

isSatisfiable

public static boolean isSatisfiable(com.hp.hpl.jena.sparql.expr.Expr expr)

getVarsMentioned

public static Set<com.hp.hpl.jena.sparql.core.Var> getVarsMentioned(Iterable<? extends com.hp.hpl.jena.sparql.expr.Expr> clause)

applyNodeTransformSet

public static Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> applyNodeTransformSet(Set<Set<com.hp.hpl.jena.sparql.expr.Expr>> clauses,
                                                               com.hp.hpl.jena.sparql.graph.NodeTransform nodeTransform)

applyNodeTransform

public static Set<com.hp.hpl.jena.sparql.expr.Expr> applyNodeTransform(Set<com.hp.hpl.jena.sparql.expr.Expr> clause,
                                                       com.hp.hpl.jena.sparql.graph.NodeTransform nodeTransform)