Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove the unused replace_one and replace_zero, and rename methods to make Step about succ/pred operations. The primary api is still forward (succ_n) and backward (pred_n), but we provide stepwise methods for optimization purposes.
- Loading branch information