Class AllSamplingOptAlignmentsGraphThread<H extends nl.tue.astar.Head,​T extends nl.tue.astar.Tail>

    • Field Detail

      • mapToStatesWSameSuffix

        protected java.util.Map<nl.tue.astar.Record,​java.util.List<nl.tue.astar.Record>> mapToStatesWSameSuffix
    • Method Detail

      • closeObservers

        public void closeObservers()
      • getMapToStatesWSameSuffix

        public java.util.Map<nl.tue.astar.Record,​java.util.List<nl.tue.astar.Record>> getMapToStatesWSameSuffix()
        This is a new method that only exists in this thread. Returns the mapping from records to other records that is pruned