Dfa.Predefined (dfa v0.1.12)

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

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

Specs

deinitialize!(String.t(), integer(), [Dfa.option()]) ::
  Redix.Protocol.redis_value() | nil

Deletes an instance.

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

instance_exists?(instance_name, db_index, opts \\ [])

Check if given instance name exists.

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.