Christoph Wehmeyer

Results 2 comments of Christoph Wehmeyer

We could provide two simple methods to 1. **prune** a user-provided set from the full state space (remove states not in the active set), and 2. **map** a user-provided set...

The internal state reshuffling can lead to wrong label placement and state scaling in plot_flux.