Class DijkstraTail

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean canComplete()
      returns true if and only if the replay can finish according to this tail, i.e.
      void deflate​(DijkstraTail object, java.io.OutputStream stream)
      deflate the given object into the provided stream.
      int getEstimatedCosts​(Delegate<? extends Head,​? extends Tail> d, Head head)
      get an estimate of the remaining distance to the target state in the search.
      int getMaxByteCount()
      the method is called before each call to deflate.
      Tail getNextTail​(Delegate<? extends Head,​? extends Tail> d, Head oldHead, int modelMove, int logMove, int activity)
      constructs the new tail based on the two operations from the old head.
      <S> Tail getNextTailFromStorage​(Delegate<? extends Head,​? extends Tail> d, CompressedStore<S> store, long index, int modelMove, int logMove, int activity)
      constructs the new tail based on the two operations from the old state, which is stored in the given store at the given index.
      DijkstraTail inflate​(java.io.InputStream stream)
      read an object from a stream.
      <H extends Head>
      int
      inflateEstimate​(StorageAwareDelegate<H,​DijkstraTail> delegate, H head, java.io.InputStream stream)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Method Detail

      • getNextTail

        public Tail getNextTail​(Delegate<? extends Head,​? extends Tail> d,
                                Head oldHead,
                                int modelMove,
                                int logMove,
                                int activity)
        Description copied from interface: Tail
        constructs the new tail based on the two operations from the old head. Preferably, the code to compute the new tail is kept as lightweight as possible.
        Specified by:
        getNextTail in interface Tail
        Returns:
      • getNextTailFromStorage

        public <S> Tail getNextTailFromStorage​(Delegate<? extends Head,​? extends Tail> d,
                                               CompressedStore<S> store,
                                               long index,
                                               int modelMove,
                                               int logMove,
                                               int activity)
                                        throws java.io.IOException
        Description copied from interface: Tail
        constructs the new tail based on the two operations from the old state, which is stored in the given store at the given index. Preferably, the code to compute the new tail is kept as lightweight as possible.
        Specified by:
        getNextTailFromStorage in interface Tail
        Returns:
        Throws:
        java.io.IOException
      • getEstimatedCosts

        public int getEstimatedCosts​(Delegate<? extends Head,​? extends Tail> d,
                                     Head head)
        Description copied from interface: Tail
        get an estimate of the remaining distance to the target state in the search.
        Specified by:
        getEstimatedCosts in interface Tail
        Returns:
      • canComplete

        public boolean canComplete()
        Description copied from interface: Tail
        returns true if and only if the replay can finish according to this tail, i.e. for the case
        Specified by:
        canComplete in interface Tail
        Returns:
      • deflate

        public void deflate​(DijkstraTail object,
                            java.io.OutputStream stream)
                     throws java.io.IOException
        Description copied from interface: Deflater
        deflate the given object into the provided stream. This method should NOT close the stream.
        Specified by:
        deflate in interface Deflater<DijkstraTail>
        Throws:
        java.io.IOException
      • inflate

        public DijkstraTail inflate​(java.io.InputStream stream)
                             throws java.io.IOException
        Description copied from interface: Inflater
        read an object from a stream. The inflater should know when to stop reading and should NOT close the stream;
        Specified by:
        inflate in interface Inflater<DijkstraTail>
        Returns:
        Throws:
        java.io.IOException
      • getMaxByteCount

        public int getMaxByteCount()
        Description copied from interface: Deflater
        the method is called before each call to deflate. The call to deflate should not write more than the number of bytes returned by this method! It may write less. If a negative value is returned, then a resizeable buffer is used
        Specified by:
        getMaxByteCount in interface Deflater<DijkstraTail>
        Returns: