Machine<'Actual, 'Model> Type

Assembly: FsCheck.dll

Base Type: obj

Defines the initial state for actual and model object, and allows to define the generator to use for the next state, based on the model.

Constructor Description

Constructor	Description
`Machine()` Full Usage: `Machine()` Returns: `Machine<'Actual, 'Model>`	Returns: `Machine<'Actual, 'Model>`
`Machine(maxNumberOfCommands)` Full Usage: `Machine(maxNumberOfCommands)` Parameters: maxNumberOfCommands : `int` Returns: `Machine<'Actual, 'Model>`	maxNumberOfCommands : `int` Returns: `Machine<'Actual, 'Model>`

Full Usage: Machine()

Returns: Machine<'Actual, 'Model>


                
                  
                    
                      Machine(maxNumberOfCommands)

Full Usage: Machine(maxNumberOfCommands)

Parameters:

maxNumberOfCommands : int

Returns: Machine<'Actual, 'Model>

Instance member	Description
`this.MaxNumberOfCommands` Full Usage: `this.MaxNumberOfCommands` Returns: `int`	Returns: `int`
`this.Next(arg1)` Full Usage: `this.Next(arg1)` Parameters: arg0 : `'Model` Returns: `Gen<Operation<'Actual, 'Model>>` Modifiers: abstract	Generate a number of possible commands based on the current state of the model. Preconditions are still checked, so even if a Command is returned, it is not chosen if its precondition does not hold. arg0 : `'Model` Returns: `Gen<Operation<'Actual, 'Model>>`
`this.Setup` Full Usage: `this.Setup` Returns: `Arbitrary<Setup<'Actual, 'Model>>` Modifiers: abstract	Returns: `Arbitrary<Setup<'Actual, 'Model>>`
`this.ShrinkOperations(arg1)` Full Usage: `this.ShrinkOperations(arg1)` Parameters: arg0 : `Operation<'Actual, 'Model> list` Returns: `seq<Operation<'Actual, 'Model> list>` Modifiers: abstract	arg0 : `Operation<'Actual, 'Model> list` Returns: `seq<Operation<'Actual, 'Model> list>`
`this.TearDown` Full Usage: `this.TearDown` Returns: `TearDown<'Actual>` Modifiers: abstract	Returns: `TearDown<'Actual>`