Definitively.Domain.TransitionTable (definitively v0.3.0)

Pure transition lookup built from a program's states.*.on maps.

Summary

edge()

t()

build(program)

Builds a transition lookup table from a loaded program.

Looks up the target state for a (from_state, label) edge.

@type edge() :: {atom(), atom()}

@type t() :: %Definitively.Domain.TransitionTable{
  edges: %{required(edge()) => atom()}
}

@spec build(Definitively.Domain.Program.t()) :: t()

Builds a transition lookup table from a loaded program.

@spec next(t(), atom(), atom()) :: {:ok, atom()} | {:error, :no_transition}

Looks up the target state for a (from_state, label) edge.