Class StatePair


  • public class StatePair
    extends java.lang.Object
    Pair of states.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) int s  
      (package private) int s1  
      (package private) int s2  
    • Constructor Summary

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

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object obj)
      Checks for equality.
      int hashCode()
      Returns hash code.
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait
    • Field Detail

      • s

        int s
      • s1

        int s1
      • s2

        int s2
    • Constructor Detail

      • StatePair

        StatePair​(int s,
                  int s1,
                  int s2)
      • 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​(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
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object