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