RangeEnclosures.jl
RangeEnclosures.jl copied to clipboard
different evaluation mechanisms
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)
This is about
https://github.com/JuliaReach/RangeEnclosures.jl/blob/9a6d3408bd053b9448d2c3738ca17c6c7d728d6c/src/branchandbound.jl#L21