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

Show only one plot label per flowpipe/solution

Open schillic opened this issue 1 month ago • 0 comments

The consolidation of plot recipes in #933 lead to interpreting a label intended for a flowpipe/solution to be used for each individual reach set instead (example). The reason for this behavior is the way the plot recipe is defined in LazySets. I think it is actually a mistake that we define a recipe for a vector of sets there. Recipes work automatically for vectors. Anyway, the solution proposed here is to use a flag from that vector recipe (which was probably intended for exactly that purpose).

schillic avatar Dec 01 '25 16:12 schillic