| 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.