public class ElkAxiomBuffer extends Object implements ElkAxiomProcessor
ElkAxiomProcessor that merely buffers axioms to send them to
another processor later on. This is useful for performance measurements, in
particular for decoupling parsing time from indexing time. It can also be
used for re-using the same set of axioms in more than one place without
having to re-parse them again.| Constructor and Description |
|---|
ElkAxiomBuffer() |
| Modifier and Type | Method and Description |
|---|---|
void |
sendAxiomsToProcessor(ElkAxiomProcessor elkAxiomProcessor)
Send all axioms that have hitherto been processed by this object to the
given axiom processor.
|
void |
visit(ElkAxiom elkAxiom) |
public void visit(ElkAxiom elkAxiom)
visit in interface ElkAxiomProcessorpublic void sendAxiomsToProcessor(ElkAxiomProcessor elkAxiomProcessor)
elkAxiomProcessor - Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.