public class RestartingStageExecutor extends SimpleStageExecutor
ReasonerStageExecutor which refuses to interrupt: it will restart
any interrupted stage.| Constructor and Description |
|---|
RestartingStageExecutor() |
| Modifier and Type | Method and Description |
|---|---|
void |
complete(ReasonerStage stage)
Makes sure that the given stage is completed; it might not necessarily
execute this stage if the results are already computed
|
executedispose, setInterruptisInterruptedclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitisInterruptedpublic void complete(ReasonerStage stage) throws ElkException
ReasonerStageExecutorcomplete in interface ReasonerStageExecutorcomplete in class AbstractStageExecutorstage - the reasoner stage to be completedElkException - if the stage cannot be competed successfullyCopyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.