compute_relevant_events

Warning

The stormpy developer API is internal and can be subject to change.

compute_relevant_events(

properties: collections.abc.Sequence[stormpy.logic.Formula],

additional_relevant_names: collections.abc.Sequence[str] = [],

add_labels_claiming: bool = False,

) → storm::dft::utility::RelevantEvents

Compute relevant event ids from properties and additional relevant names