Versions in this module Expand all Collapse all v0 v0.2.0 May 30, 2026 Changes in this version + func ShortestPaths[S comparable, E comparable, C any](m *state.Machine[S, E, C]) (map[string]Path, error) + func SimplePaths[S comparable, E comparable, C any](m *state.Machine[S, E, C]) (map[string][]Path, error) + type Finding struct + Kind Kind + Message string + Severity Severity + State string + Transition string + type Kind string + const KindCannotReachFinal + const KindDeadEnd + const KindDeadTransition + const KindNondeterministic + const KindUnreachableState + type Option func(*config) + func Only(kinds ...Kind) Option + func Without(kinds ...Kind) Option + type Path struct + Steps []Step + Target string + func (p Path) Events() []string + func (p Path) States(initial string) []string + type Report struct + Findings []Finding + func Analyze[S comparable, E comparable, C any](m *state.Machine[S, E, C], opts ...Option) Report + func (r Report) Empty() bool + func (r Report) HasErrors() bool + func (r Report) OfKind(k Kind) []Finding + func (r Report) String() string + type Severity string + const SeverityError + const SeverityWarning + type Step struct + Event string + From string + To string
Go to main page