Machine<'Actual, 'Model> (FsCheck)

Machine<'Actual, 'Model> Type

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
`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>`

Instance member	Description
`this.MaxNumberOfCommands` Full Usage: `this.MaxNumberOfCommands` Returns: `int`	Returns: `int`
`this.Next` Full Usage: `this.Next` 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` Full Usage: `this.ShrinkOperations` Parameters: arg0 : `Operation<'Actual, 'Model> list` Returns: `Operation<'Actual, 'Model> list seq` Modifiers: abstract	arg0 : `Operation<'Actual, 'Model> list` Returns: `Operation<'Actual, 'Model> list seq`
`this.TearDown` Full Usage: `this.TearDown` Returns: `TearDown<'Actual>` Modifiers: abstract	Returns: `TearDown<'Actual>`