public interface AxiomLoader extends Interrupter
| Modifier and Type | Method and Description |
|---|---|
void |
dispose()
Close resources used by this
AxiomLoader |
boolean |
isLoadingFinished() |
void |
load(ElkAxiomProcessor axiomInserter,
ElkAxiomProcessor axiomDeleter)
Loads pending axioms using the provided
axiomInserter for
inserting axioms and axiomDeleter for deleting axioms; if called
twice, the already loaded axioms will not be processed again |
isInterrupted, setInterruptvoid load(ElkAxiomProcessor axiomInserter, ElkAxiomProcessor axiomDeleter) throws ElkLoadingException
axiomInserter for
inserting axioms and axiomDeleter for deleting axioms; if called
twice, the already loaded axioms will not be processed againaxiomInserter - an ElkAxiomProcessor that inserts the axioms that were
addedaxiomDeleter - an ElkAxiomProcessor that deletes the axioms that were
removedElkLoadingException - if loading cannot be completed successfullyboolean isLoadingFinished()
true if the loading is finished, i.e., calling
load(ElkAxiomProcessor, ElkAxiomProcessor)
will have no effectvoid dispose()
AxiomLoaderCopyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.