projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2772178) | patch
Adding the option to activate beam search: a HeuristicSearch with a state queue that...
authorrtrimana <rtrimana@uci.edu>
Thu, 26 Sep 2019 21:04:01 +0000 (14:04 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 26 Sep 2019 21:04:23 +0000 (14:04 -0700)
commit1f6b0f10f6cbe063b5e3bb9c281ad8cf9444dd6b
tree240398c14f721f79533ac7833cba2b15b0564edetree | snapshot
parent27721787accce613deb7404889fadd12b1a2f136commit | diff
Adding the option to activate beam search: a HeuristicSearch with a state queue that is reset at each level.
main.jpf diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.