Package | Description |
---|---|
uk.ac.manchester.cs.owl.explanation.ordering |
Explanation ordering package.
|
Modifier and Type | Class and Description |
---|---|
class |
EntailedAxiomTree |
class |
ExplanationTree |
Modifier and Type | Method and Description |
---|---|
void |
MutableTree.addChild(MutableTree<N> child) |
void |
MutableTree.addChild(MutableTree<N> child,
Object edge) |
void |
MutableTree.removeChild(MutableTree<N> child) |
void |
MutableTree.replace(MutableTree<N> tree) |
void |
MutableTree.setParent(MutableTree<N> parent) |
Copyright © 2020 The University of Manchester. All rights reserved.