sparql

Class ClauseUtils

java.lang.Object

sparql.ClauseUtils

public class ClauseUtils
extends Object

Constructor Summary

Constructors

Constructor and Description
ClauseUtils()

Method Summary

Methods

Modifier and Type	Method and Description
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(Set<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

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(Set<com.hp.hpl.jena.sparql.expr.Expr> clause)