Dfa.Predefined (dfa v0.1.9)

Dfa.Predefined only predefines a behavior of state machine. The state machine here consists of machineand instance.

Link to this section Summary

Link to this section Types

Specs

option() :: String.t() | integer() | nil

Link to this section Functions

Link to this function

exists?(machine_name, db_index, opts \\ [])

Specs

exists?(String.t(), integer(), [option()]) :: boolean()

Check if a given machine name exists.

Link to this function

initialize!(instance_name, machine_name, db_index, initial_state, opts \\ [])

Generate an instance of a state machine.

Link to this function

on!(machine_name, db_index, event, current_state, next_state, opts \\ [])

Defines a state change event.

Link to this function

rm!(machine_name, db_index, event, opts \\ [])

Removes a state change event.

Link to this function

state!(instance_name, db_index, opts \\ [])

Load a state.

Link to this function

trigger!(instance_name, db_index, event, opts \\ [])

Triggers an event.