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

java.lang.Object
  uk.ac.manchester.cs.bhig.util.MutableTree<OWLAxiom>
      uk.ac.manchester.cs.owl.explanation.ordering.ExplanationTree
          uk.ac.manchester.cs.owl.explanation.ordering.EntailedAxiomTree

All Implemented Interfaces:

Tree<OWLAxiom>

public class EntailedAxiomTree
extends ExplanationTree

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

Constructor Summary

EntailedAxiomTree(OWLAxiom userObject)

Method Summary

boolean	isEntailed()
java.lang.String	toString()

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

addChild, clearChildren, dump, dump, getChildCount, getChildren, getParent, getPathToRoot, getRoot, getUserObject, getUserObjectClosure, getUserObjectPathToRoot, isLeaf, isRoot, removeChild, replace, setParent, sortChildren

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

EntailedAxiomTree

public EntailedAxiomTree(OWLAxiom userObject)

Method Detail

isEntailed

public boolean isEntailed()

Overrides:

isEntailed in class ExplanationTree

toString

public java.lang.String toString()

Overrides:

toString in class MutableTree<OWLAxiom>