Actor.RandomInteger method

Returns a nondeterministic integer, that can be controlled during analysis or testing. The value is used to generate an integer in the range [0..maxValue).

protected int RandomInteger(int maxValue)
parameter description
maxValue The max value.

Return Value

The controlled nondeterministic integer.

See Also