New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Jump to bottom

Revise LazyDiscretePost #459

Merged

schillic merged 2 commits into master from schillic/lazy_DP

Feb 15, 2019

Member

schillic commented Feb 14, 2019

move intersection to the correct place according to the name
add a new option for intersection at the old place
simplify code

schillic added 2 commits

February 14, 2019 21:43


          add intersection option; use correct place for old option


          simplification

91c0df0

schillic requested a review from mforets

February 14, 2019 21:02

mforets approved these changes

View reviewed changes

schillic merged commit e7802be into master

schillic deleted the schillic/lazy_DP branch

February 15, 2019 15:35

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment