Uses of Interface
fmrisc.ProgramExplorer.Tasks.Strategy

Packages that use Strategy

Package	Description
fmrisc.ProgramExplorer.Tasks

Uses of Strategy in fmrisc.ProgramExplorer.Tasks

Classes in fmrisc.ProgramExplorer.Tasks that implement Strategy

Modifier and Type	Class and Description
class	AllNewStrategy A strategy for folders that resumes all new tasks in folder.
class	AutoStrategy A strategy that attempts automatic before interactive proving.
class	ManualStrategy A strategy that attempts interactive proving.