fmrisc.ProgramExplorer.Tasks

Class ProofNavigatorTaskBase

java.lang.Object

fmrisc.ProgramExplorer.Tasks.TaskBase

fmrisc.ProgramExplorer.Tasks.ProofNavigatorTaskBase

All Implemented Interfaces:

ProofNavigatorTask, Task

Direct Known Subclasses:

ClassicalTaskBase

public abstract class ProofNavigatorTaskBase
extends TaskBase
implements ProofNavigatorTask

The base of a task suitable for solving with the RISC ProofNavigator.

Nested Class Summary

Nested classes/interfaces inherited from interface fmrisc.ProgramExplorer.Tasks.Task

Task.Observer, Task.Status

Method Summary

Modifier and Type	Method and Description
void	reset() Reset the task to its initial (new) state.
void	setParent(TaskFolder parent) Set parent folder

Methods inherited from class fmrisc.ProgramExplorer.Tasks.TaskBase

getDirectory, getEvidence, getInfo, getName, getParent, getParentDirectory, getPosition, getStatus, isFinal, isOptional, print, resume, resumeOnNew, setDirectory, setObserver, setStatus

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface fmrisc.ProgramExplorer.Tasks.ProofNavigatorTask

proofNavigatorProblem

Methods inherited from interface fmrisc.ProgramExplorer.Tasks.Task

getDirectory, getEvidence, getInfo, getName, getParent, getPosition, getStatus, isFinal, isOptional, print, resume, resumeOnNew, setObserver, setStatus

Method Detail

setParent

public void setParent(TaskFolder parent)

Set parent folder

Specified by:

setParent in interface Task

Overrides:

setParent in class TaskBase

Parameters:

parent - the parent folder (may be null)

reset

public void reset()

Reset the task to its initial (new) state.

Specified by:

reset in interface ProofNavigatorTask

Overrides:

reset in class TaskBase