| Package | Description |
|---|---|
| org.semanticweb.elk.reasoner.indexing.hierarchy |
| Modifier and Type | Class and Description |
|---|---|
class |
NonIncrementalChangeCheckingVisitor
A delegating visitor which notifies the
NonIncrementalChangeCheckingVisitor that some axiom represents a
change which cannot be processed incrementally by the reasoner |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.