uk.ac.manchester.cs.owl.explanation.ordering
Class ExplanationTree

java.lang.Object
  uk.ac.manchester.cs.bhig.util.MutableTree<org.semanticweb.owlapi.model.OWLAxiom>
      uk.ac.manchester.cs.owl.explanation.ordering.ExplanationTree

All Implemented Interfaces:

Tree<org.semanticweb.owlapi.model.OWLAxiom>

Direct Known Subclasses:

EntailedAxiomTree

public class ExplanationTree
extends MutableTree<org.semanticweb.owlapi.model.OWLAxiom>

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 22-Jan-2008

Constructor Summary

ExplanationTree(org.semanticweb.owlapi.model.OWLAxiom userObject)

Method Summary

boolean

isEntailed()

Methods inherited from class uk.ac.manchester.cs.bhig.util.MutableTree

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ExplanationTree

public ExplanationTree(org.semanticweb.owlapi.model.OWLAxiom userObject)

Parameters:

userObject - the axiom to wrap

Method Detail

isEntailed

public boolean isEntailed()

Returns:

true if entailed