|
Hegel 0.13.1
Property-based testing for C++
|
An action that a worker can apply to a concurrent state machine. More...
#include <stateful.h>
Public Types | |
| using | Function = std::function<void(TestCase&, M&)> |
| The type of the function that applies the rule. | |
Public Member Functions | |
| ConcurrentRule (std::string name, Function function) | |
| Creates a rule in anonymous_group. | |
| ConcurrentRule (std::string name, std::string group, Function function) | |
| Creates a rule in the specified group. | |
| const std::string & | name () const |
| Returns the name of the rule. | |
| const std::string & | group () const |
| Returns the concurrency group of the rule. | |
| const Function & | function () const |
| Returns the function that applies the rule. | |
An action that a worker can apply to a concurrent state machine.
Rules in the same group can run concurrently. Rules in different groups cannot. A rule that does not specify a group uses anonymous_group.
| M | The state-machine type that the rule acts on |
|
inline |
Creates a rule in anonymous_group.
| name | The name of the rule |
| function | The function that applies the rule |
|
inline |
Creates a rule in the specified group.
| name | The name of the rule |
| group | The concurrency group of the rule |
| function | The function that applies the rule |
|
inline |
Returns the function that applies the rule.
|
inline |
Returns the concurrency group of the rule.
|
inline |
Returns the name of the rule.