RangeEnclosures.jl icon indicating copy to clipboard operation
RangeEnclosures.jl copied to clipboard

different evaluation mechanisms

Open lucaferranti opened this issue 3 years ago • 1 comments

Currently Moore-Skelboe and BranchAndBound (as in #76 ) directly evaluate the funtcion over the interval (equivalent to natural enclosure). It would be nice to have at least also the mean-form evaluation and allow the user to choose which one to use (MeanFormEnclosure would be an enclosure algorithm itself usable also as standalone)

lucaferranti avatar Apr 18 '22 09:04 lucaferranti

This is about

https://github.com/JuliaReach/RangeEnclosures.jl/blob/9a6d3408bd053b9448d2c3738ca17c6c7d728d6c/src/branchandbound.jl#L21

schillic avatar Jun 15 '22 19:06 schillic