Uses of Interface
org.ginsim.service.tool.reg2dyn.updater.UpdaterDefinition

Packages that use UpdaterDefinition

Package	Description
org.ginsim.service.export.nusmv
org.ginsim.service.tool.reg2dyn
org.ginsim.service.tool.reg2dyn.priorityclass
org.ginsim.service.tool.reg2dyn.updater
org.ginsim.servicegui.tool.reg2dyn	find the state transition graph from the regulatory one
org.ginsim.servicegui.tool.reg2dyn.priorityclass

Uses of UpdaterDefinition in org.ginsim.service.export.nusmv

Methods in org.ginsim.service.export.nusmv that return UpdaterDefinition

Modifier and Type	Method and Description
UpdaterDefinition	NuSMVConfig.getUpdatingMode()

Methods in org.ginsim.service.export.nusmv with parameters of type UpdaterDefinition

Modifier and Type	Method and Description
void	NuSMVConfig.setUpdatingMode(UpdaterDefinition pcdef)

Uses of UpdaterDefinition in org.ginsim.service.tool.reg2dyn

Methods in org.ginsim.service.tool.reg2dyn that return UpdaterDefinition

Modifier and Type	Method and Description
UpdaterDefinition	SimulationParameters.getPriorityClassDefinition()
UpdaterDefinition	SimulationParameters.getUpdatingMode()

Methods in org.ginsim.service.tool.reg2dyn with parameters of type UpdaterDefinition

Modifier and Type	Method and Description
void	SimulationParameters.setUpdatingMode(UpdaterDefinition updef)

Uses of UpdaterDefinition in org.ginsim.service.tool.reg2dyn.priorityclass

Classes in org.ginsim.service.tool.reg2dyn.priorityclass that implement UpdaterDefinition

Modifier and Type	Class and Description
class	PrioritySetDefinition Definition of a set of priority classes: store a list of classes and assign all nodes to one of them.

Methods in org.ginsim.service.tool.reg2dyn.priorityclass that return UpdaterDefinition

Modifier and Type	Method and Description
UpdaterDefinition	UpdaterDefinitionStore.getUpdatingMode() Retrieve the stored definition

Methods in org.ginsim.service.tool.reg2dyn.priorityclass with parameters of type UpdaterDefinition

Modifier and Type	Method and Description
void	UpdaterDefinitionStore.setUpdatingMode(UpdaterDefinition pcdef) Store a priority definition

Uses of UpdaterDefinition in org.ginsim.service.tool.reg2dyn.updater

Classes in org.ginsim.service.tool.reg2dyn.updater that implement UpdaterDefinition

Modifier and Type	Class and Description
class	UpdaterDefinitionAsynchronous
class	UpdaterDefinitionComplete
class	UpdaterDefinitionSequential
class	UpdaterDefinitionSynchronous

Fields in org.ginsim.service.tool.reg2dyn.updater declared as UpdaterDefinition

Modifier and Type	Field and Description
static UpdaterDefinition	UpdaterDefinitionSynchronous.DEFINITION
static UpdaterDefinition	UpdaterDefinitionComplete.DEFINITION
static UpdaterDefinition	UpdaterDefinitionAsynchronous.DEFINITION

Uses of UpdaterDefinition in org.ginsim.servicegui.tool.reg2dyn

Methods in org.ginsim.servicegui.tool.reg2dyn that return UpdaterDefinition

Modifier and Type	Method and Description
UpdaterDefinition	PrioritySelectionPanel.getSelected()

Methods in org.ginsim.servicegui.tool.reg2dyn with parameters of type UpdaterDefinition

Modifier and Type	Method and Description
void	PrioritySelectionPanel.setSelected(UpdaterDefinition sel)

Uses of UpdaterDefinition in org.ginsim.servicegui.tool.reg2dyn.priorityclass

Method parameters in org.ginsim.servicegui.tool.reg2dyn.priorityclass with type arguments of type UpdaterDefinition

Modifier and Type	Method and Description
ListPanelCompanion	PriorityManagerHelper.getCompanion(ListEditionPanel<UpdaterDefinition,PrioritySetList> editPanel)

Constructor parameters in org.ginsim.servicegui.tool.reg2dyn.priorityclass with type arguments of type UpdaterDefinition

Constructor and Description
UpdatingPanel(ListEditionPanel<UpdaterDefinition,PrioritySetList> editPanel)