Class LogMovePosition
- java.lang.Object
-
- org.processmining.plugins.inductiveVisualMiner.alignment.LogMovePosition
-
public class LogMovePosition extends java.lang.Object
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static LogMovePositionatSink(int unode)Creates a log move position in which the log move happens after unode.static LogMovePositionatSource(int unode)Creates a log move position in which the log move happens before unode.static LogMovePositionbeforeChild(int unode, int child)Returns a log move position in which the log move happens just before the given child of unode.static LogMovePositionbetweenTwoExecutionsOf(int unode)booleanequals(java.lang.Object obj)intgetBeforeChild()intgetOn()inthashCode()static LogMovePositionof(Move move)static LogMovePositionof(LocalDotEdge edge)Retrieves the log move position of a LocalDotEdge that belongs to a log move.static LogMovePositiononEdge(int from, int to)static LogMovePositiononLeaf(int unode)
-
-
-
Method Detail
-
beforeChild
public static LogMovePosition beforeChild(int unode, int child)
Returns a log move position in which the log move happens just before the given child of unode.- Parameters:
unode-child-- Returns:
-
onEdge
public static LogMovePosition onEdge(int from, int to)
-
onLeaf
public static LogMovePosition onLeaf(int unode)
-
betweenTwoExecutionsOf
public static LogMovePosition betweenTwoExecutionsOf(int unode)
-
atSource
public static LogMovePosition atSource(int unode)
Creates a log move position in which the log move happens before unode.- Parameters:
unode-- Returns:
-
atSink
public static LogMovePosition atSink(int unode)
Creates a log move position in which the log move happens after unode.- Parameters:
unode-- Returns:
-
of
public static LogMovePosition of(LocalDotEdge edge)
Retrieves the log move position of a LocalDotEdge that belongs to a log move.- Parameters:
edge-- Returns:
-
of
public static LogMovePosition of(Move move)
-
getOn
public int getOn()
-
getBeforeChild
public int getBeforeChild()
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equalsin classjava.lang.Object
-
-