public abstract class ClassicalTaskBase extends ProofNavigatorTaskBase implements ClassicalTask
Task.Observer, Task.Status
Modifier and Type | Method and Description |
---|---|
ProofNavigatorProblem |
proofNavigatorProblem()
Translate task into a problem for the RISC ProofNavigator.
|
void |
reset()
Reset the task to its initial (new) state.
|
setParent
getDirectory, getEvidence, getInfo, getName, getParent, getParentDirectory, getPosition, getStatus, isFinal, isOptional, print, resume, resumeOnNew, setDirectory, setObserver, setStatus
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
classicalProblem
getDirectory, getEvidence, getInfo, getName, getParent, getPosition, getStatus, isFinal, isOptional, print, resume, resumeOnNew, setObserver, setParent, setStatus
public ProofNavigatorProblem proofNavigatorProblem()
proofNavigatorProblem
in interface ProofNavigatorTask
public void reset()
reset
in interface ProofNavigatorTask
reset
in class ProofNavigatorTaskBase