Herb-AI / HerbSearch.jl

Search procedures and synthesizers for Herb.jl

Home Page:https://herb-ai.github.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Rewrite the stochastic iterator

Whebon opened this issue · comments

The stochastic iterator should be compatible with the Solver. So it should be rewritten using the provided API for state management and tree manipulations, including node substitution.

The following three functions will be particularly useful:

  • substitute!
  • save_state!
  • load_state!