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

Constructors

Constructor and Description
ExplanationTree(org.semanticweb.owlapi.model.OWLAxiom userObject)

Method Summary

Methods

Modifier and Type	Method and Description
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