Package org.processmining.plugins.inductiveVisualMiner.animation

Class Animation

java.lang.Object

org.processmining.plugins.inductiveVisualMiner.animation.Animation

public class Animation
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Animation.Input
static class	Animation.Position

Constructor Summary

Constructors

Constructor	Description
Animation()

Method Summary

Modifier and Type	Method	Description
static LocalDotEdge	getDotEdgeFromLogMove(LogMovePosition logMovePosition, ProcessTreeVisualisationInfo info)
static LocalDotNode	getDotNodeFromActivity(int unode, ProcessTreeVisualisationInfo info)
static LocalDotNode	getDotNodeFromActivity(IvMMove move, ProcessTreeVisualisationInfo info)
static LocalDotEdge	getLogMoveEdge(int logMoveUnode, int logMoveBeforeChild, ProcessTreeVisualisationInfo info)
static LocalDotEdge	getModelMoveEdge(IvMMove move, ProcessTreeVisualisationInfo info)
static LocalDotNode	getParallelJoin(int unode, ProcessTreeVisualisationInfo info)
static LocalDotNode	getParallelSplit(int unode, ProcessTreeVisualisationInfo info)
static LocalDotEdge	getTauEdge(IvMMove move, ProcessTreeVisualisationInfo info)
static void	moveDotTokenTo(Animation.Input in, DotToken dotToken, LocalDotNode destination, boolean addSelfEdgeIfNecessary)
static void	moveDotTokenToFinalPosition(Animation.Input in, DotToken dotToken, Animation.Position endPosition)	Alter the dotToken to end at the given endPosition.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Animation

public Animation()

Method Detail

getModelMoveEdge

public static LocalDotEdge getModelMoveEdge(IvMMove move,
                                            ProcessTreeVisualisationInfo info)

getLogMoveEdge

public static LocalDotEdge getLogMoveEdge(int logMoveUnode,
                                          int logMoveBeforeChild,
                                          ProcessTreeVisualisationInfo info)

getTauEdge

public static LocalDotEdge getTauEdge(IvMMove move,
                                      ProcessTreeVisualisationInfo info)

getParallelSplit

public static LocalDotNode getParallelSplit(int unode,
                                            ProcessTreeVisualisationInfo info)

getParallelJoin

public static LocalDotNode getParallelJoin(int unode,
                                           ProcessTreeVisualisationInfo info)

getDotNodeFromActivity

public static LocalDotNode getDotNodeFromActivity(IvMMove move,
                                                  ProcessTreeVisualisationInfo info)

getDotNodeFromActivity

public static LocalDotNode getDotNodeFromActivity(int unode,
                                                  ProcessTreeVisualisationInfo info)

getDotEdgeFromLogMove

public static LocalDotEdge getDotEdgeFromLogMove(LogMovePosition logMovePosition,
                                                 ProcessTreeVisualisationInfo info)

moveDotTokenTo

public static void moveDotTokenTo(Animation.Input in,
                                  DotToken dotToken,
                                  LocalDotNode destination,
                                  boolean addSelfEdgeIfNecessary)

moveDotTokenToFinalPosition

public static void moveDotTokenToFinalPosition(Animation.Input in,
                                               DotToken dotToken,
                                               Animation.Position endPosition)

Alter the dotToken to end at the given endPosition.

Parameters:

in -

dotToken -

endPosition -