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

Class EntailedAxiomTree

java.lang.Object

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

Since:

2.2.0

Author:

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

Constructor Summary

Constructors

Constructor and Description
EntailedAxiomTree(OWLAxiom userObject) Instantiates a new entailed axiom 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

EntailedAxiomTree

public EntailedAxiomTree(@Nonnull
                         OWLAxiom userObject)

Instantiates a new entailed axiom tree.

Parameters:

userObject - the axiom to wrap

Method Detail

isEntailed

public boolean isEntailed()

Description copied from class: ExplanationTree

Checks if is entailed.

Overrides:

isEntailed in class ExplanationTree

Returns:

true if entailed