public class PNManifestReplayerNetPatternParameter extends AbstractPNManifestReplayerParameter
Modifier and Type | Field and Description |
---|---|
protected PNetPattern[] |
netPatterns |
buildConnection, canceller, finalMarkings, gui, initMarking, mapEvClass2Cost, transClass2Cost, transClassSync2Cost
Constructor and Description |
---|
PNManifestReplayerNetPatternParameter() |
getCanceller, getFinalMarkings, getInitMarking, getMapEvClass2Cost, getMoveLogCost, getMoveModelCost, getMoveSyncCost, getTransClass2Cost, isBuildConnection, isGUIMode, setBuildConnection, setCanceller, setFinalMarkings, setGUIMode, setInitMarking, setMapEvClass2Cost, setTrans2Cost, setTransSync2Cost
protected PNetPattern[] netPatterns