Package org.svvrl.goal.cmd

Class AbstractGameSolverExtension

java.lang.Object

org.svvrl.goal.cmd.DefaultCommandDescriptor

org.svvrl.goal.cmd.AbstractGameSolverExtension

All Implemented Interfaces:

CommandConfigurator, CommandDescriptor, GameSolverExtension

Direct Known Subclasses:

BigStepSolverExtension, ClassicalBuchiSolverExtension, DominionDecompositionSolverExtension, GlobalOptimizationSolverExtension, McNaughtonZielonkaSolverExtension, ReachabilitySolverExtension, RecursiveSolverExtension, SmallProgressMeasureSolverExtension

public abstract class AbstractGameSolverExtension
extends DefaultCommandDescriptor
implements GameSolverExtension

This class provides a default implementation of GameSolverExtension. The initial values of the solver name and the help message are all empty strings. The initial value of the provided game solver is null.

Author:

Ming-Hsien Tsai

Field Summary

Fields

Modifier and Type	Field	Description
protected GameSolver<?>	solver	The provided game solver.

Constructor Summary

Constructors

Constructor	Description
AbstractGameSolverExtension()	Constructs this extension.

Method Summary

Modifier and Type	Method	Description
GameSolver<?>	getSolver()	Returns the game solver provided by this interface.
void	setSolver(GameSolver<?> solver)	Sets the game solver provided by this interface.

Methods inherited from class org.svvrl.goal.cmd.DefaultCommandDescriptor

getFullName, getHelp, getName, setFullName, setHelp, setName

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.svvrl.goal.cmd.CommandConfigurator

getOptions

Methods inherited from interface org.svvrl.goal.cmd.CommandDescriptor

getFullName, getHelp, getName, setFullName, setHelp, setName

Field Details

solver

protected GameSolver<?> solver

The provided game solver.

Constructor Details

AbstractGameSolverExtension

public AbstractGameSolverExtension()

Constructs this extension.

Method Details

getSolver

public GameSolver<?> getSolver()

Description copied from interface: GameSolverExtension

Returns the game solver provided by this interface.

Specified by:

getSolver in interface GameSolverExtension

Returns:

the game solver provided by this interface.

setSolver

public void setSolver(GameSolver<?> solver)

Description copied from interface: GameSolverExtension

Sets the game solver provided by this interface.

Specified by:

setSolver in interface GameSolverExtension

Parameters:

solver - the game solver provided by this interface