| 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 |
| Class and Description |
|---|
| UpdaterDefinitionStore
Simple interface to store and retrieve a priority class setup.
|
| Class and Description |
|---|
| PrioritySetList
The list of all available priority set definitions.
|
| UpdaterDefinitionStore
Simple interface to store and retrieve a priority class setup.
|
| Class and Description |
|---|
| PriorityClass
a priority class for the simulation.
|
| PrioritySetAddMode
Default modes to add a new priority set
|
| Class and Description |
|---|
| PrioritySetDefinition
Definition of a set of priority classes: store a list of classes
and assign all nodes to one of them.
|
| Class and Description |
|---|
| PrioritySetList
The list of all available priority set definitions.
|
| UpdaterDefinitionStore
Simple interface to store and retrieve a priority class setup.
|
| Class and Description |
|---|
| PriorityClass
a priority class for the simulation.
|
| PrioritySetDefinition
Definition of a set of priority classes: store a list of classes
and assign all nodes to one of them.
|
| PrioritySetList
The list of all available priority set definitions.
|
Copyright © 2005–2020. All rights reserved.