In the Interface Propagator, belonging to the org.orekit.propagation
Class, apart from methods addEventDetector
and clearEventsDetectors
, it would be useful to have also a removeEventDetector
method to remove a specific detector.
This would be useful, for instance, to stop logging certain events that are not of interest once another event occurred or after a certain date.
Thank you,
Alfredo