Uses of Package
org.ginsim.service.tool.modelreduction

Packages that use org.ginsim.service.tool.modelreduction

Package	Description
org.ginsim.gui.utils.dialog.stackdialog	Definition of StackDialog: a run dialog where the main panel can be changed.
org.ginsim.service.tool.avatar.params
org.ginsim.service.tool.composition
org.ginsim.service.tool.modelreduction
org.ginsim.servicegui.export.nusmv
org.ginsim.servicegui.export.prism
org.ginsim.servicegui.export.sat
org.ginsim.servicegui.format.ginml
org.ginsim.servicegui.tool.avatar
org.ginsim.servicegui.tool.decisionanalysis
org.ginsim.servicegui.tool.modelreduction
org.ginsim.servicegui.tool.reg2dyn	find the state transition graph from the regulatory one
org.ginsim.servicegui.tool.reg2dyn.limitedSimulation
org.ginsim.servicegui.tool.stablestates
org.ginsim.servicegui.tool.trapspace

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.gui.utils.dialog.stackdialog

Class and Description
ListOfReductionConfigs store all simplification parameters and offer a mean to access them.
ReductionConfig
ReductionHolder An interface for configuration objects which store a selected reduction.

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.service.tool.avatar.params

Class and Description
ListOfReductionConfigs store all simplification parameters and offer a mean to access them.
ReductionConfig

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.service.tool.composition

Class and Description
ReductionLauncher

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.service.tool.modelreduction

Class and Description
ListOfReductionConfigs store all simplification parameters and offer a mean to access them.
ReconstructionTask Reconstruct a Regulatory Graph from a Logical model and restore layout, comments and metadata from an original graph.
ReductionConfig
ReductionLauncher
RewiringAction

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.servicegui.export.nusmv

Class and Description
ReductionHolder An interface for configuration objects which store a selected reduction.

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.servicegui.export.prism

Class and Description
ReductionHolder An interface for configuration objects which store a selected reduction.

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.servicegui.export.sat

Class and Description
ReductionHolder An interface for configuration objects which store a selected reduction.

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.servicegui.format.ginml

Class and Description
ReductionHolder An interface for configuration objects which store a selected reduction.

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.servicegui.tool.avatar

Class and Description
ReductionHolder An interface for configuration objects which store a selected reduction.

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.servicegui.tool.decisionanalysis

Class and Description
ReductionHolder An interface for configuration objects which store a selected reduction.

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.servicegui.tool.modelreduction

Class and Description
ListOfReductionConfigs store all simplification parameters and offer a mean to access them.
ReductionConfig
ReductionHolder An interface for configuration objects which store a selected reduction.
ReductionLauncher

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.servicegui.tool.reg2dyn

Class and Description
ReductionHolder An interface for configuration objects which store a selected reduction.

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.servicegui.tool.reg2dyn.limitedSimulation

Class and Description
ReductionHolder An interface for configuration objects which store a selected reduction.

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.servicegui.tool.stablestates

Class and Description
ReductionHolder An interface for configuration objects which store a selected reduction.

Classes in org.ginsim.service.tool.modelreduction used by org.ginsim.servicegui.tool.trapspace

Class and Description
ReductionHolder An interface for configuration objects which store a selected reduction.