| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.indexing.entries | |
| org.semanticweb.elk.reasoner.indexing.hierarchy | |
| org.semanticweb.elk.reasoner.indexing.visitors |
| Modifier and Type | Class and Description |
|---|---|
class |
IndexedSubClassOfAxiomEntry<T,K extends IndexedSubClassOfAxiom>
Implements an equality view for instances of
IndexedSubClassOfAxiom |
| Modifier and Type | Method and Description |
|---|---|
KeyEntry<T,? extends IndexedSubClassOfAxiom> |
IndexedEntryConverter.visit(IndexedSubClassOfAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
KeyEntry<T,? extends IndexedSubClassOfAxiom> |
IndexedEntryConverter.visit(IndexedSubClassOfAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
IndexedSubClassOfAxiom |
IndexedObjectCache.visit(IndexedSubClassOfAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
IndexedSubClassOfAxiom |
IndexedObjectCache.visit(IndexedSubClassOfAxiom axiom) |
| Modifier and Type | Method and Description |
|---|---|
O |
IndexedSubClassOfAxiomVisitor.visit(IndexedSubClassOfAxiom axiom) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.