public class LogMovePosition
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static LogMovePosition |
atSink(int unode)
Creates a log move position in which the log move happens after unode.
|
static LogMovePosition |
atSource(int unode)
Creates a log move position in which the log move happens before unode.
|
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.
|
static LogMovePosition |
betweenTwoExecutionsOf(int unode) |
boolean |
equals(java.lang.Object obj) |
int |
getBeforeChild() |
int |
getOn() |
int |
hashCode() |
static LogMovePosition |
of(LocalDotEdge edge)
Retrieves the log move position of a LocalDotEdge that belongs to a log
move.
|
static LogMovePosition |
of(Move move) |
static LogMovePosition |
onEdge(int from,
int to) |
static LogMovePosition |
onLeaf(int unode) |
public static LogMovePosition beforeChild(int unode, int child)
unode
- child
- public static LogMovePosition onEdge(int from, int to)
public static LogMovePosition onLeaf(int unode)
public static LogMovePosition betweenTwoExecutionsOf(int unode)
public static LogMovePosition atSource(int unode)
unode
- public static LogMovePosition atSink(int unode)
unode
- public static LogMovePosition of(LocalDotEdge edge)
edge
- public static LogMovePosition of(Move move)
public int getOn()
public int getBeforeChild()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object