java.lang.Object
org.apache.jena.sparql.engine.main.solver.SolverLib
-
Constructor Summary
Constructors -
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 (RDF-star) 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 (RDF-star) 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 (RDF-star) as one of its components and that embedded triple term has variables. -
quadHasEmbTripleWithVars
Test whether a quad has a triple term (RDF-star) 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.
-