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

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

All Implemented Interfaces:

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

public class EntailedAxiomTree
extends ExplanationTree

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

Constructor Summary

EntailedAxiomTree(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

EntailedAxiomTree

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

Parameters:

userObject - the axiom to wrap

Method Detail

isEntailed

public boolean isEntailed()

Overrides:

isEntailed in class ExplanationTree

Returns:

true if entailed