java.lang.Object
org.apache.jena.sparql.engine.main.solver.SolverLib

Constructor Summary

Method Summary
Modifier and TypeMethodDescriptionstatic <T> Iterator<T>
makeAbortable
(Iterator<T> iter, List<Abortable> killList) Create an abortable iterator, storing it in the killList.static Node
nodeTopLevel
(Node node) Convert a pattern node into ANY, or leave as a constant term.static boolean
quadHasEmbTripleWithVars
(Quad quad) Test whether a quad has a triple term (RDFstar) as one of its components and that embedded triple term has variables.static boolean
quadHasNodeTriple
(Quad quad) Test whether a quad has an triple term as one of its components.static boolean
sameTermAs
(Node node1, Node node2) Test equality of two concrete teams.static boolean
tripleHasEmbTripleWithVars
(Triple triple) Test whether a triple has a triple term (RDFstar) as one of its components and that embedded triple term has variables.static boolean
tripleHasNodeTriple
(Triple triple) Test whether a triple has an triple term as one of its components.

Constructor Details

SolverLib
public SolverLib()


Method Details

makeAbortable
Create an abortable iterator, storing it in the killList. Just return the input iterator if killList is null. 
tripleHasNodeTriple
Test whether a triple has an triple term as one of its components. 
quadHasNodeTriple
Test whether a quad has an triple term as one of its components. 
tripleHasEmbTripleWithVars
Test whether a triple has a triple term (RDFstar) as one of its components and that embedded triple term has variables. 
quadHasEmbTripleWithVars
Test whether a quad has a triple term (RDFstar) as one of its components and that embedded triple term has variables. 
sameTermAs
Test equality of two concrete teams. 
nodeTopLevel
Convert a pattern node into ANY, or leave as a constant term. Any Embedded triple term with a variable, that is{@literal <<?var>>}
becomes an ANY.
