public class MapPattern2TransStepExt
extends java.lang.Object
Constructor and Description |
---|
MapPattern2TransStepExt(PetrinetGraph net,
XLog log,
CreatePatternPanel patternCreatorPanel) |
Modifier and Type | Method and Description |
---|---|
PNManifestReplayerParameter |
apply(PNManifestReplayerParameter model,
javax.swing.JComponent component) |
boolean |
canApply(PNManifestReplayerParameter model,
javax.swing.JComponent component) |
javax.swing.JComponent |
getComponent(PNManifestReplayerParameter model) |
PatternMappingPanel |
getPatternMappingPanel() |
java.lang.String |
getTitle() |
public MapPattern2TransStepExt(PetrinetGraph net, XLog log, CreatePatternPanel patternCreatorPanel)
public PNManifestReplayerParameter apply(PNManifestReplayerParameter model, javax.swing.JComponent component)
public boolean canApply(PNManifestReplayerParameter model, javax.swing.JComponent component)
public javax.swing.JComponent getComponent(PNManifestReplayerParameter model)
public PatternMappingPanel getPatternMappingPanel()
public java.lang.String getTitle()