JuliaReach/LazySets.jl

Extend CachedMinkowskiSumArray to support function

schillic opened this issue · 0 comments

Currently the CachedMinkowskiSumArray stores the support vector. But the struct could equally store the support function.

The user should determine which of those is stored in the constructor. The implementation for the support function then depends on this choice (use the current default if the support vector is stored, or use a (basically identical) new implementation otherwise).