We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
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.
The text was updated successfully, but these errors were encountered:
Pull requests accepted :)
Sorry, something went wrong.
the same code as in Sep 2016
reformatted it, added documentation to all the related functions and their key params
No branches or pull requests
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.
The text was updated successfully, but these errors were encountered: