Closed jinnaiyuu closed 9 years ago
it is silly that jobs dying before search starts. the goal is to eliminate all death before the search. to do this, i first need to speedup instantiation, and then balance analysis.
1 . speedup instantiating actions let's start from detecting static predicates.
strangely dying domains: grid: used to work i guess rovers: used to work i guess storage: cannot find a plan
storage: either/2 is not implemented. we can eliminate either/2 with dirty preprocessing.
grid was solved in single thread run. not sure why not work on multithreaded environment. need to fix this later. but not the parser problem.
rovers is not sure why dying.
rovers has a strange action which effect is to both add and delete certain predicates. not sure what should be the result.
grid, rovers, storage is solved in local environment. not sure what is wrong with grid.
1 . speedup instantiating actions naively list feasible predicates "before" instantiating actions. it will significantly reduce the assignment space.