| 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 |
IndexedEntryConverter<T>
A visitor for
IndexedClassExpressions and
IndexedPropertyChains that wraps the visited objects in the
corresponding Entry wrapper to redefine equality. |
| Modifier and Type | Method and Description |
|---|---|
abstract <O> O |
IndexedAxiom.accept(IndexedAxiomVisitor<O> visitor) |
<O> O |
IndexedSubClassOfAxiom.accept(IndexedAxiomVisitor<O> visitor) |
<O> O |
IndexedDisjointnessAxiom.accept(IndexedAxiomVisitor<O> visitor) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
IndexedObjectVisitor<O> |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.