public interface ProofView extends ProofViewNode, QueryAnswerExplanation
ProofViewNodes. In general they are intended to be rendered in an interactive display, with CycL and/or NL (encoded in HTML) for nodes, and with their children displayed or hidden according to user actions or preferences.
ProofView instance is also a
ProofViewNode, and serves as the root of
the tree. A suggested rendering algorithm would be to display this node, and recurse on all child
nodes for whom
|Modifier and Type||Method and Description|
getChildren, getCyclString, getDepth, getEntryId, getEntryPath, getHTML, getLabel, getParent, isExpandInitially
static ProofView getProofView(QueryAnswer answer, ProofViewSpecification spec)
ProofViewfor an answer, generating one if necessary via a call to
answer- the answer for which to generate a ProofView.
spec- the configuration parameters for ProofView generation.
Copyright © 2015–2018 Cycorp, Inc. All rights reserved.