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 derivationCopyright ? 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 Hewlett-Packard Development Company, LP