compute_relevant_events

compute_relevant_events(

properties: Property | Iterable[Property],

*,

additional_relevant_names: Iterable[str] = (),

add_labels_claiming: bool = False,

) → RelevantEvents

Compute the relevant events for the analysis of a DFT.

All events occurring in the properties (via labels such as "A_failed") are relevant. The top-level event is always relevant.

Parameters:

• properties – Property or properties whose events are relevant.

• additional_relevant_names – (optional) Names of further elements which should be relevant.

• add_labels_claiming – Whether labels representing claiming operations are added to the model.

Returns:

The relevant events.