Behaviours: proper_statem.
command/1 | |
correct/1 | |
initial_state/0 | |
next_state/3 | |
postcondition/3 | |
precondition/2 | |
qc_run/1 |
command(State) -> any()
correct(M) -> any()
initial_state() -> any()
next_state(State, V, X3) -> any()
postcondition(State, X2, R) -> any()
precondition(S, Call) -> any()
qc_run(M) -> any()
Generated by EDoc, Oct 7 2016, 11:31:17.