Dfa.Predefined (dfa v0.1.3)

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()

Link to this section Functions

Link to this function

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

Specs

Link to this function

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

Specs

Link to this function

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

Specs

Link to this function

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

Specs

Link to this function

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

Specs

trigger!(String.t(), integer(), String.t(), [option()]) ::
  {:ok, String.t()} | {:error, String.t()}