Class StatePair


  • public class StatePair
    extends Object
    Pair of states.
    WARNING: This API is experimental and might change in incompatible ways in the next release.
    • Constructor Detail

      • StatePair

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

      • equals

        public boolean equals​(Object obj)
        Checks for equality.
        Overrides:
        equals in class 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 Object
        Returns:
        hash code