automata v0.1.0 Automata.WorldInfo

A struct that keeps global information about all automata for the world. It is received by formatters and contains the following fields:

  • :name - the world name
  • :state - the automata state (see Automata.state/0)
  • :automata - all automata in the world

Link to this section Summary

Link to this section Types

Specs

t() :: %Automata.WorldInfo{
  automata: [Automata.t()],
  name: module(),
  state: Automata.state()
}