Interface of serialized automaton data.
GUI settings.
Length of the timeline.
Params in the timeline.
Resolution of the timeline.
Version of the Automaton.
Generated using TypeDoc
Interface of serialized automaton data.