You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Please answer these questions before submitting your issue. Thanks!
In the current implementation(master, v4.0.2), after region splitting, we add some related nodes to the frontier;
however, after region merging, we do not remove the overwritten nodes, which leads to an increasing number of nodes maintained in the frontier.
The text was updated successfully, but these errors were encountered:
Bug Report
Please answer these questions before submitting your issue. Thanks!
In the current implementation(master, v4.0.2), after region splitting, we add some related nodes to the frontier;
however, after region merging, we do not remove the overwritten nodes, which leads to an increasing number of nodes maintained in the frontier.
The text was updated successfully, but these errors were encountered: