/** * Return the derivation of the given statement (which should be the result of * some previous list operation). * Not all reasoneers will support derivations. * @return an iterator over Derivation records or null if there is no derivation information * available for this triple. */ @Override public Iterator<Derivation> getDerivation(Statement statement) { return getInfGraph().getDerivation(statement.asTriple()); }
/** * Return the derivation of the given statement (which should be the result of * some previous list operation). * Not all reasoneers will support derivations. * @return an iterator over Derivation records or null if there is no derivation information * available for this triple. */ @Override public Iterator<Derivation> getDerivation(Statement statement) { return getInfGraph().getDerivation(statement.asTriple()); }
/** * Return the derivation of the given statement (which should be the result of * some previous list operation). * Not all reasoneers will support derivations. * @return an iterator over Derivation records or null if there is no derivation information * available for this triple. */ @Override public Iterator<Derivation> getDerivation(Statement statement) { return (getGraph() instanceof InfGraph) ? ((InfGraph) getGraph()).getDerivation( statement.asTriple() ) : null; }
/** * Return the derivation of the given statement (which should be the result of * some previous list operation). * Not all reasoneers will support derivations. * @return an iterator over Derivation records or null if there is no derivation information * available for this triple. */ @Override public Iterator<Derivation> getDerivation(Statement statement) { return (getGraph() instanceof InfGraph) ? ((InfGraph) getGraph()).getDerivation( statement.asTriple() ) : null; }
for (int i = 0; i < matches.size(); i++) { Triple match = matches.get(i); Iterator<Derivation> derivations = infGraph.getDerivation(match); if (derivations == null || !derivations.hasNext()) { PrintUtil.printIndent(out, margin);
for (int i = 0; i < matches.size(); i++) { Triple match = matches.get(i); Iterator<Derivation> derivations = infGraph.getDerivation(match); if (derivations == null || !derivations.hasNext()) { PrintUtil.printIndent(out, margin);
}); Iterator<Derivation> derivs = infgraph.getDerivation(new Triple(a, p, C3)); StringWriter outString = new StringWriter(250); PrintWriter out = new PrintWriter(outString);
}); Iterator<Derivation> derivs = infgraph.getDerivation(new Triple(a, p, C3)); StringWriter outString = new StringWriter(250); PrintWriter out = new PrintWriter(outString);
Rule rule = rules.get(rulenumber); List<Triple> matchList = Arrays.asList(matches); Iterator<Derivation> derivations = infgraph.getDerivation(result); assertTrue(derivations.hasNext()); RuleDerivation derivation = (RuleDerivation) derivations.next();
Rule rule = rules.get(rulenumber); List<Triple> matchList = Arrays.asList(matches); Iterator<Derivation> derivations = infgraph.getDerivation(result); assertTrue(derivations.hasNext()); RuleDerivation derivation = (RuleDerivation) derivations.next();
}); Iterator<Derivation> derivs = infgraph.getDerivation(new Triple(res, p, n3)); StringWriter outString = new StringWriter(250); PrintWriter out = new PrintWriter(outString);
}); Iterator<Derivation> derivs = infgraph.getDerivation(new Triple(res, p, n3)); StringWriter outString = new StringWriter(250); PrintWriter out = new PrintWriter(outString);
Iterator<Derivation> di = infgraph.getDerivation(new Triple(b, p, a)); assertTrue(di.hasNext()); RuleDerivation d = (RuleDerivation)di.next();
Iterator<Derivation> di = infgraph.getDerivation(new Triple(b, p, a)); assertTrue(di.hasNext()); RuleDerivation d = (RuleDerivation)di.next();
Iterator<Derivation> di = infgraph.getDerivation(new Triple(b, p, a)); assertTrue(di.hasNext()); RuleDerivation d = (RuleDerivation)di.next();
Iterator<Derivation> di = infgraph.getDerivation(new Triple(b, p, a)); assertTrue(di.hasNext()); RuleDerivation d = (RuleDerivation)di.next();