Module triq_fsm_stub

Function Index

command/2
initial_state/1
next_state/4
postcondition/4
precondition/3

Function Details

command/2

command(Module, X2) -> any()

initial_state/1

initial_state(Module) -> any()

next_state/4

next_state(Module, X2, Result, Call) -> any()

postcondition/4

postcondition(Module, X2, Call, Result) -> any()

precondition/3

precondition(Module, X2, Call) -> any()


Generated by EDoc, May 1 2016, 01:50:43.