| Package | Description |
|---|---|
| org.coode.oppl.search | |
| org.coode.oppl.search.solvability | |
| org.coode.oppl.utils |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractOPPLAxiomSearchTree
axiom search tree
|
class |
OPPLAssertedOWLAxiomSearchTree |
class |
OPPLAssertedSingleOWLAxiomSearchTree |
class |
OPPLInferredOWLAxiomSearchTree |
class |
OWLAxiomSearchTree |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractSolvabilityOPPLOWLAxiomSearchTree |
class |
AssertedSolvabilitySearchTree |
class |
InferredSolvabilitySearchTree |
| Modifier and Type | Class and Description |
|---|---|
class |
CollectionPermutation<N> |
Copyright © 2015 The University of Manchester. All Rights Reserved.