Module trie_proper

Behaviours: proper_statem.

Function Index

command/1
correct/1
initial_state/0
next_state/3
postcondition/3
precondition/2
qc_run/1

Function Details

command/1

command(State) -> any()

correct/1

correct(M) -> any()

initial_state/0

initial_state() -> any()

next_state/3

next_state(State, V, X3) -> any()

postcondition/3

postcondition(State, X2, R) -> any()

precondition/2

precondition(S, Call) -> any()

qc_run/1

qc_run(M) -> any()


Generated by EDoc, Jan 10 2017, 16:00:32.