Uses of Interface
org.ginsim.service.tool.reg2dyn.priorityclass.UpdaterDefinitionStore

Packages that use UpdaterDefinitionStore

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

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

Classes in org.ginsim.service.export.nusmv that implement UpdaterDefinitionStore

Modifier and Type	Class and Description
class	NuSMVConfig

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

Classes in org.ginsim.service.tool.reg2dyn that implement UpdaterDefinitionStore

Modifier and Type	Class and Description
class	SimulationParameters remember, save and restore a simulation parameter.

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

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

Modifier and Type	Method and Description
void	PrioritySelectionPanel.setStore(UpdaterDefinitionStore store)