MembershipTableModelBasedConformanceOptions Properties

1. Documentation
2. API reference
3. Microsoft.Orleans.Clustering.TestKit
4. MembershipTableModelBasedConformanceOptions
5. Properties

Markdown

Bounds generated membership operation-sequence exploration.

MaxDepth

getset

View source

public int MaxDepth

Gets or sets general transition exploration depth (at least three).

MaxSequenceLength

getset

View source

public int MaxSequenceLength

Gets or sets general generated sequence length (at least three).

ProviderName

getset

View source

public string ProviderName

Gets or sets the non-secret provider label.

Seed

getset

View source

public int Seed

Gets or sets the reproducible identity seed.