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, Sep 14 2016, 19:23:56.