Class StatePair


  • public class StatePair
    extends java.lang.Object
    Pair of states.
    Author:
    Anders Møller <amoeller@cs.au.dk>
    • Constructor Summary

      Constructors 
      Constructor Description
      StatePair​(State s1, State s2)
      Constructs a new state pair.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object obj)
      Checks for equality.
      State getFirstState()
      Returns first component of this pair.
      State getSecondState()
      Returns second component of this pair.
      int hashCode()
      Returns hash code.
      • Methods inherited from class java.lang.Object

        clone, getClass, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • StatePair

        public StatePair​(State s1,
                         State s2)
        Constructs a new state pair.
        Parameters:
        s1 - first state
        s2 - second state
    • Method Detail

      • getFirstState

        public State getFirstState()
        Returns first component of this pair.
        Returns:
        first state
      • getSecondState

        public State getSecondState()
        Returns second component of this pair.
        Returns:
        second state
      • equals

        public boolean equals​(java.lang.Object obj)
        Checks for equality.
        Overrides:
        equals in class java.lang.Object
        Parameters:
        obj - object to compare with
        Returns:
        true if obj represents the same pair of states as this pair
      • hashCode

        public int hashCode()
        Returns hash code.
        Overrides:
        hashCode in class java.lang.Object
        Returns:
        hash code