patch applied (hat): Made hat-delta only jump ahead by 3 steps in the EDT -- this saves calculating the heuristic for nodes below this point, and speeds up the process for large programs.

10 Oct 2006


      Mon Oct 17 03:10:25 PDT 2005  tatd2
  * Made hat-delta only jump ahead by 3 steps in the EDT -- this saves calculating the heuristic for nodes below this point, and speeds up the process for large programs.

    M ./src/hattools/EDT.hs -4 +13
    M ./src/hattools/HatDelta.hs -1 +1

Malcolm Wallace

tags

participants (1)