Class FSMGraphAStarObserver

    • Field Detail

      • outputFile

        protected final java.io.File outputFile
      • transitionFile

        protected final java.io.File transitionFile
      • stateFile

        protected final java.io.File stateFile
      • state2index

        protected final gnu.trove.map.TLongIntMap state2index
      • est2index

        protected final gnu.trove.map.TDoubleIntMap est2index
      • index2state

        protected final gnu.trove.map.TIntLongMap index2state
      • index2est

        protected final gnu.trove.map.TIntDoubleMap index2est
      • curState

        protected int curState
      • curEst

        protected int curEst
      • tranWriter

        protected java.io.Writer tranWriter
      • stateWriter

        protected java.io.Writer stateWriter
    • Constructor Detail

      • FSMGraphAStarObserver

        public FSMGraphAStarObserver​(java.io.File outputFile)
                              throws java.io.IOException
        Throws:
        java.io.IOException