public class Move
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.lang.String |
e |
boolean |
isSkipStep |
hub.top.petrinet.Transition |
t |
Constructor and Description |
---|
Move(java.lang.String e) |
Move(hub.top.petrinet.Transition t) |
Modifier and Type | Method and Description |
---|---|
boolean |
isLogMove() |
java.lang.String |
toString() |