Package org.svvrl.goal.cmd

Interface GameSolverExtension

All Superinterfaces:

CommandConfigurator, CommandDescriptor

All Known Subinterfaces:

GameSolverInterface

All Known Implementing Classes:

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

public interface GameSolverExtension
extends CommandDescriptor, CommandConfigurator

This interface defines a command-line plugin for game solvers.

Author:

Ming-Hsien Tsai

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 interface org.svvrl.goal.cmd.CommandConfigurator

getOptions

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

getFullName, getHelp, getName, setFullName, setHelp, setName

Method Details

getSolver

GameSolver<?> getSolver()

Returns the game solver provided by this interface.

Returns:

the game solver provided by this interface.

setSolver

void setSolver(GameSolver<?> solver)

Sets the game solver provided by this interface.

Parameters:

solver - the game solver provided by this interface