Generator.Create method

Creates a new pseudo-random value generator.

public static Generator Create()

Return Value

The pseudo-random value generator.

See Also

• class Generator
• namespace Microsoft.Coyote.Random
• assembly Microsoft.Coyote