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, setTransSync2Costprotected PNetPattern[] netPatterns