StateMachineExtensions Type

Assembly: FsCheck.dll

Base Type: obj

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`