fmrisc.ProgramExplorer.Tasks

Class AutoStrategy

java.lang.Object

fmrisc.ProgramExplorer.Tasks.AutoStrategy

All Implemented Interfaces:

Strategy

public class AutoStrategy
extends java.lang.Object
implements Strategy

A strategy that attempts automatic before interactive proving.

Constructor Summary

Constructors

Constructor and Description
AutoStrategy()

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

AutoStrategy

public AutoStrategy()

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.