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

Class ExplanationTree

java.lang.Object

uk.ac.manchester.cs.owl.explanation.ordering.MutableTree<OWLAxiom>

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

All Implemented Interfaces:

Tree<OWLAxiom>

Direct Known Subclasses:

EntailedAxiomTree

public class ExplanationTree
extends MutableTree<OWLAxiom>

Since:

2.2.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Constructor Summary

Constructors

Constructor and Description
ExplanationTree(OWLAxiom userObject) Instantiates a new explanation tree.

Method Summary

Modifier and Type	Method and Description
boolean	isEntailed() Checks if is entailed.

Methods inherited from class uk.ac.manchester.cs.owl.explanation.ordering.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

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

Constructor Detail

ExplanationTree

public ExplanationTree(OWLAxiom userObject)

Instantiates a new explanation tree.

Parameters:

userObject - the axiom to wrap

Method Detail

isEntailed

public boolean isEntailed()

Checks if is entailed.

Returns:

true if entailed