public interface Derivation
A future option might be to generate an RDF description of the derivation trace.
| Modifier and Type | Method and Description |
|---|---|
void |
printTrace(PrintWriter out,
boolean bindings)
Print a deep traceback of this derivation back to axioms and
source assertions.
|
String |
toString()
Return a short-form description of this derivation.
|
String toString()
void printTrace(PrintWriter out, boolean bindings)
out - the stream to print the trace out tobindings - set to true to print intermediate variable bindings for
each stage in the derivationLicenced under the Apache License, Version 2.0