Lines Matching refs:state_name
188 -type state_name() :: atom() | tuple(). type
190 -type fsm_state() :: {state_name(),state_data()}.
191 -type transition() :: {state_name(),symbolic_call()}.
200 -record(state, {name :: state_name(),
210 -callback initial_state() -> state_name().
214 -callback precondition(state_name(), state_name(),
217 -callback postcondition(state_name(), state_name(), state_data(),
220 -callback next_state_data(state_name(), state_name(), state_data(),
223 -callback weight(state_name(), state_name(), symbolic_call()) -> non_neg_integer().
309 -spec state_names(history()) -> [state_name()].
377 -spec get_transitions(mod_name(), state_name(), state_data()) ->
389 -spec choose_transition(mod_name(), state_name(), [transition()]) ->
404 -spec choose_weighted_transition(mod_name(), state_name(), [transition()]) ->
411 -spec cook_history(state_name(), state_name()) -> state_name().
419 -spec transition_target(mod_name(), state_name(), state_data(), symbolic_call()) ->
420 state_name().
428 -spec target_states(mod_name(), state_name(), state_data(), symbolic_call()) ->
429 [state_name()].
433 -spec find_target([transition()], symbolic_call(), [state_name()]) ->
434 [state_name()].