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