Package | Description |
---|---|
uk.ac.manchester.cs.owl.explanation.ordering |
Explanation ordering package.
|
Modifier and Type | Class and Description |
---|---|
class |
EntailedAxiomTree |
class |
ExplanationTree |
class |
MutableTree<N> |
Modifier and Type | Method and Description |
---|---|
Tree<N> |
Tree.getParent()
Gets the parent of this tree node.
|
Tree<N> |
MutableTree.getParent() |
Tree<N> |
Tree.getRoot()
A convenience method that gets the root of this tree.
|
Tree<N> |
MutableTree.getRoot() |
Modifier and Type | Method and Description |
---|---|
List<Tree<N>> |
Tree.getChildren()
Gets the children of this tree node.
|
List<Tree<N>> |
MutableTree.getChildren() |
List<Tree<N>> |
Tree.getPathToRoot()
Gets the path to root.
|
List<Tree<N>> |
MutableTree.getPathToRoot() |
Modifier and Type | Method and Description |
---|---|
Object |
Tree.getEdge(Tree<N> child) |
Object |
MutableTree.getEdge(Tree<N> child) |
String |
NodeRenderer.render(Tree<N> node)
Render.
|
Modifier and Type | Method and Description |
---|---|
void |
Tree.sortChildren(Comparator<Tree<N>> comparator)
Sorts the children using the specified comparator.
|
void |
MutableTree.sortChildren(Comparator<Tree<N>> comparator) |
Copyright © 2020 The University of Manchester. All rights reserved.