RelevantEvents

class RelevantEvents(self: stormpy.dft.RelevantEvents)

Bases: pybind11_object

Relevant events which should be observed

Create empty list of relevant events

is_relevant(self: stormpy.dft.RelevantEvents, name: str) → bool

Check whether the given name is a relevant event