fmrisc.ProgramExplorer.Tasks

Class ManualStrategy

java.lang.Object

fmrisc.ProgramExplorer.Tasks.ManualStrategy

All Implemented Interfaces:

Strategy

public class ManualStrategy
extends java.lang.Object
implements Strategy

A strategy that attempts interactive proving.

Constructor Summary

Constructors

Constructor and Description
ManualStrategy()

Method Summary

Modifier and Type	Method and Description
void	apply(Task task) Apply this strategy to a task to which it is applicable.
boolean	isApplicable(Task task) True if this strategy is applicable to the denoted task.

Methods inherited from class java.lang.Object

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

Constructor Detail

ManualStrategy

public ManualStrategy()

Method Detail

isApplicable

public boolean isApplicable(Task task)

True if this strategy is applicable to the denoted task.

Specified by:

isApplicable in interface Strategy

Parameters:

task - a task

Returns:

true iff apply() may be invoked on task.

apply

public void apply(Task task)

Apply this strategy to a task to which it is applicable.

Specified by:

apply in interface Strategy

Parameters:

task - a task to which the task is applicable.