Rnd Type

Namespace: FsCheck

Assembly: FsCheck.dll

Base Type: ValueType

All Interfaces: IEquatable<Rnd> , IStructuralEquatable , IComparable<Rnd> , IComparable , IStructuralComparable

Kind: Struct

Record fields

Record Field	Description
`Gamma` Full Usage: `Gamma`	An odd integer
`Seed` Full Usage: `Seed`	Seed value for the random number generator.

Constructors

Constructor Description

Constructor	Description
`Rnd(seed)` Full Usage: `Rnd(seed)` Parameters: seed : `uint64` Returns: `Rnd`	Create a new Rnd value with the specified seed value and the 'golden' gamma. seed : `uint64` Returns: `Rnd`
`Rnd(seed, gamma)` Full Usage: `Rnd(seed, gamma)` Parameters: seed : `uint64` gamma : `uint64` Returns: `Rnd`	Create a new random number generator with the given seed and gamma. Useful to faithfully reproduce a sequence or part of it. gamma must be odd, or this throws invalid argument exception. For good pseudo-random properties, please only use seeds and gamma that were generated as part of a sequence started with the default create function. seed : `uint64` gamma : `uint64` Returns: `Rnd`

Full Usage: Rnd(seed)

Parameters:

seed : uint64

Returns: Rnd

Create a new Rnd value with the specified seed value and the 'golden' gamma.

seed : uint64

Returns: Rnd


                
                  
                    
                      Rnd(seed, gamma)

Full Usage: Rnd(seed, gamma)

Parameters:

seed : uint64

gamma : uint64

Returns: Rnd

Create a new random number generator with the given seed and gamma. Useful to faithfully reproduce a sequence or part of it. gamma must be odd, or this throws invalid argument exception. For good pseudo-random properties, please only use seeds and gamma that were generated as part of a sequence started with the default create function.

seed : uint64
gamma : uint64

Returns: Rnd