pyfcstm.diagnostics.analyzers.structural

Structural design-health diagnostics.

collect_structural_warnings

pyfcstm.diagnostics.analyzers.structural.collect_structural_warnings(states: Iterable[StateInfo], transitions: Iterable[TransitionInfo], actions: Iterable[ActionInfo], forced_transitions: Iterable[ForcedTransitionInfo], reachability_graph, root_state_path: str | None = None) → List[ModelDiagnostic]