Package | Description |
---|---|
org.processmining.models.animation |
Modifier and Type | Method and Description |
---|---|
EdgeAnimation |
Animation.getCaseAnimation() |
Modifier and Type | Method and Description |
---|---|
java.util.List<EdgeAnimation> |
Animation.getEdgeAnimations() |