command/2 | |
initial_state/1 | |
next_state/4 | |
postcondition/4 | |
precondition/3 |
command(Module, X2) -> any()
initial_state(Module) -> any()
next_state(Module, X2, Result, Call) -> any()
postcondition(Module, X2, Call, Result) -> any()
precondition(Module, X2, Call) -> any()
Generated by EDoc, Feb 7 2018, 09:56:59.