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

public class SolverLib extends Object
  • Constructor Details

    • SolverLib

      public SolverLib()
  • Method Details

    • makeAbortable

      public static <T> Iterator<T> makeAbortable(Iterator<T> iter, List<Abortable> killList)
      Create an abortable iterator, storing it in the killList. Just return the input iterator if killList is null.
    • tripleHasNodeTriple

      public static boolean tripleHasNodeTriple(Triple triple)
      Test whether a triple has an triple term as one of its components.
    • quadHasNodeTriple

      public static boolean quadHasNodeTriple(Quad quad)
      Test whether a quad has an triple term as one of its components.
    • tripleHasEmbTripleWithVars

      public 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.
    • quadHasEmbTripleWithVars

      public 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.
    • sameTermAs

      public static boolean sameTermAs(Node node1, Node node2)
      Test equality of two concrete teams.
    • nodeTopLevel

      public static Node nodeTopLevel(Node node)
      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.