| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.incremental | |
| org.semanticweb.elk.reasoner.indexing.hierarchy |
| Modifier and Type | Field and Description |
|---|---|
static NonIncrementalChangeListener<ElkAxiom> |
NonIncrementalChangeListener.DUMMY |
| Constructor and Description |
|---|
NonIncrementalChangeCheckingVisitor(ElkAxiomIndexingVisitor visitor,
NonIncrementalChangeListener<ElkAxiom> listener) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.