Commands<'Sut, 'State>
Namespace: Persimmon.Dried
Instance members
| Instance member | Description |
CanCreateNewSut(arg1, arg2, arg3)
Signature: ('State * seq<'State> * seq<'Sut>) -> bool
Modifiers: abstract |
|
DestroySut(arg1)
Signature: 'Sut -> unit
Modifiers: abstract |
|
GenCommand(arg1)
Signature: 'State -> Gen<Command<'Sut,'State,obj>>
Modifiers: abstract |
|
GenInitialState
Signature: Gen<'State>
Modifiers: abstract |
CompiledName: |
InitialPreCondition(arg1)
Signature: 'State -> bool
Modifiers: abstract |
|
NewSut(arg1)
Signature: 'State -> 'Sut
Modifiers: abstract |
|
