public interface ClassicalTask extends ProofNavigatorTask
Task.Observer, Task.Status
Modifier and Type | Method and Description |
---|---|
ClassicalProblem |
classicalProblem()
Translate task into a classical proving problem
|
proofNavigatorProblem, reset
getDirectory, getEvidence, getInfo, getName, getParent, getPosition, getStatus, isFinal, isOptional, print, resume, resumeOnNew, setObserver, setParent, setStatus
ClassicalProblem classicalProblem()