Class PdaUtil.TraversalItem<S,​R>

  • Enclosing class:
    PdaUtil

    protected static class PdaUtil.TraversalItem<S,​R>
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected R data  
      protected java.util.Iterator<S> followers  
      protected S state  
    • Constructor Summary

      Constructors 
      Constructor Description
      TraversalItem​(S state, java.lang.Iterable<S> followers, R previous)  
    • Method Summary

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

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

      • data

        protected R data
      • followers

        protected java.util.Iterator<S> followers
      • state

        protected S state
    • Constructor Detail

      • TraversalItem

        public TraversalItem​(S state,
                             java.lang.Iterable<S> followers,
                             R previous)
    • Method Detail

      • equals

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

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

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