View Source Finitomata.Transition.Path (Finitomata v0.29.8)

The path from one state to another one

Summary

Types

t()

Functions

length(path)

Returns the length of the path given

Types

t()

@type t() :: %Finitomata.Transition.Path{
  from: Finitomata.Transition.state(),
  to: Finitomata.Transition.state(),
  path: [{Finitomata.Transition.event(), Finitomata.Transition.state()}]
}

Functions

length(path)

@spec length(
  t()
  | [Finitomata.Transition.t()]
  | [{Finitomata.Transition.event(), Finitomata.Transition.state()}]
) :: non_neg_integer()

Returns the length of the path given