Class EffectiveTarget.EffectiveTargetFragment

  • Enclosing class:
    EffectiveTarget

    public static class EffectiveTarget.EffectiveTargetFragment
    extends Object
    • Constructor Detail

      • EffectiveTargetFragment

        public EffectiveTargetFragment​(org.eclipse.rdf4j.sail.shacl.ast.StatementMatcher.Variable<Value> var,
                                       org.eclipse.rdf4j.sail.shacl.ast.Targetable target,
                                       EffectiveTarget.EffectiveTargetFragment prev,
                                       RdfsSubClassOfReasoner rdfsSubClassOfReasoner,
                                       org.eclipse.rdf4j.sail.shacl.ast.StatementMatcher.StableRandomVariableProvider stableRandomVariableProvider)