Package element
Class Transition
- java.lang.Object
-
- element.Transition
-
public class Transition extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description Transition()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
doTransition()
java.util.List<Arc>
getArcList()
boolean
isPullable()
java.lang.String
toString()
-
-
-
Method Detail
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
isPullable
public boolean isPullable()
-
doTransition
public void doTransition()
-
getArcList
public java.util.List<Arc> getArcList()
-
-