Class LogMovePosition


  • public class LogMovePosition
    extends java.lang.Object
    • 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:
      • 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:
      • getOn

        public int getOn()
      • getBeforeChild

        public int getBeforeChild()
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object