org.ginsim.service.tool.reg2dyn.priorityclass

Interface UpdaterDefinitionStore

All Known Implementing Classes:

NuSMVConfig, SimulationParameters

public interface UpdaterDefinitionStore

Simple interface to store and retrieve a priority class setup.

Author:

Aurelien Naldi

Method Summary

Modifier and Type	Method and Description
UpdaterDefinition	getUpdatingMode() Retrieve the stored definition
void	setUpdatingMode(UpdaterDefinition pcdef) Store a priority definition

Method Detail

getUpdatingMode

UpdaterDefinition getUpdatingMode()

Retrieve the stored definition

Returns:

the stored class

setUpdatingMode

void setUpdatingMode(UpdaterDefinition pcdef)

Store a priority definition

Parameters:

pcdef -