public static class ModelRepair_SubProcess.MoveOnLog
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.lang.String |
event |
java.util.Set<hub.top.petrinet.Place> |
location |
java.util.Set<hub.top.petrinet.Place> |
tokensConsumedAfter |
java.util.Set<hub.top.petrinet.Place> |
tokensProducedBefore |
Constructor and Description |
---|
MoveOnLog(java.lang.String e,
java.util.Set<hub.top.petrinet.Place> loc) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
public java.util.Set<hub.top.petrinet.Place> location
public java.lang.String event
public java.util.Set<hub.top.petrinet.Place> tokensProducedBefore
public java.util.Set<hub.top.petrinet.Place> tokensConsumedAfter