org.ginsim.service.tool.modelreduction

Interface ReductionHolder

All Superinterfaces:

PatternHolder

All Known Implementing Classes:

AvatarConfigFrame, AvatarLogicalModelActionDialog, BaseSimulationFrame, DecisionAnalysisFrame, GINMLFormatConfigPanel, LimitedSimulationFrame, LogicalModelActionDialog, NuSMVExportConfigPanel, PRISMExportConfigPanel, SATExportConfigPanel, SingleSimulationFrame, StableStateSwingUI, TrapSpaceSwingUI

public interface ReductionHolder
extends PatternHolder

An interface for configuration objects which store a selected reduction.

Author:

Aurelien Naldi

Method Summary

Modifier and Type	Method and Description
ReductionConfig	getReduction() Retrieve the stored reduction.
void	setReduction(ReductionConfig reduction) Select a reduction.

Methods inherited from interface org.ginsim.core.graph.regulatorygraph.namedstates.PatternHolder

getPattern, setPattern

Method Detail

getReduction

ReductionConfig getReduction()

Retrieve the stored reduction.

Returns:

the selected reduction

setReduction

void setReduction(ReductionConfig reduction)

Select a reduction.

Parameters:

reduction -