Table of Contents

Class Strategy<T>

Namespace
Conjecture.Core
Assembly
Conjecture.Core.dll

Base class for all Conjecture strategies that generate values of type T.

public abstract class Strategy<T>

Type Parameters

T

The type of value produced by this strategy.

Inheritance
Strategy<T>
Inherited Members
Extension Methods

Constructors

Strategy(string?)

Base class for all Conjecture strategies that generate values of type T.

protected Strategy(string? label = null)

Parameters

label string

Optional label for counterexample output.

Properties

Label

Label used in counterexample output, or null if unlabeled.

public string? Label { get; }

Property Value

string