Closed ciez closed 3 years ago
xdfsWith allows to specify suc' or pre' when performing the search.
bfs is currently only possible with hard coded suc'
let's add an arg to bfsnInternal which allows to choose suc' or pre' with bfs? let's add xbfsnWith, too.
Pull requests accepted :)
the same code as in Sep 2016
reformatted it, added documentation to all the related functions and their key params
xdfsWith allows to specify suc' or pre' when performing the search.
bfs is currently only possible with hard coded suc'
let's add an arg to bfsnInternal which allows to choose suc' or pre' with bfs? let's add xbfsnWith, too.