Module counter

Counters as part of a Machine.

Structs

Counter

A specification of how one of a Machine’s counters should be updated when transitioning to a State. Consists of an Operation to be applied to the counter with one of three values: by default, the value 1, unless a distribution is provided or the copy flag is set to true. If the copy flag is set to true, the counter will be updated with the value of the other counter prior to transitioning to the state. If a distribution is provided, the counter will be updated with a value sampled from the distribution.

Enums

Operation

The operation applied to one of a Machine’s counters upon transition to a State.