Current section

Files

Jump to
automata include automata_Automaton.hrl
Raw

include/automata_Automaton.hrl

-record(automaton, {
initial_state :: any(),
transition :: fun((any(), any()) -> any()),
accepting :: fun((any()) -> boolean())
}).