public class ExplanationTree extends MutableTree<OWLAxiom>
Constructor and Description |
---|
ExplanationTree(OWLAxiom userObject) |
Modifier and Type | Method and Description |
---|---|
boolean |
isEntailed() |
addChild, addChild, clearChildren, dump, dump, fillDepthFirst, getChildCount, getChildren, getEdge, getMaxDepth, getParent, getPathToRoot, getRoot, getSize, getUserObject, getUserObjectClosure, getUserObjectPathToRoot, isLeaf, isRoot, removeChild, replace, setNodeRenderer, setParent, sortChildren, toString
public ExplanationTree(OWLAxiom userObject)
userObject
- the axiom to wrapCopyright © 2017 The University of Manchester. All Rights Reserved.