public class ChangeIndexingProcessor extends Object implements ElkAxiomProcessor
ElkAxiomIndexingVisitor to
ElkAxiomProcessor specifically for classes which index axioms.| Constructor and Description |
|---|
ChangeIndexingProcessor(ElkAxiomIndexingVisitor indexer) |
public ChangeIndexingProcessor(ElkAxiomIndexingVisitor indexer)
public void visit(ElkAxiom elkAxiom)
visit in interface ElkAxiomProcessorCopyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.