StateMachineExtensions (FsCheck)

StateMachineExtensions Type

Static member	Description
`StateMachineExtensions.ToProperty(run)` Full Usage: `StateMachineExtensions.ToProperty(run)` Parameters: run : `MachineRun<'Actual, 'Model>` Returns: `Property`	run : `MachineRun<'Actual, 'Model>` Returns: `Property`
`StateMachineExtensions.ToProperty(arbitraryRun)` Full Usage: `StateMachineExtensions.ToProperty(arbitraryRun)` Parameters: arbitraryRun : `Arbitrary<MachineRun<'Actual, 'Model>>` Returns: `Property`	arbitraryRun : `Arbitrary<MachineRun<'Actual, 'Model>>` Returns: `Property`
`StateMachineExtensions.ToProperty(specification)` Full Usage: `StateMachineExtensions.ToProperty(specification)` Parameters: specification : `Machine<'Actual, 'Model>` Returns: `Property`	specification : `Machine<'Actual, 'Model>` Returns: `Property`