Struct Step_71__Motiv_Spec<TModel, TPredicateResult>

Namespace

Motiv

Assembly

Motiv.dll

Motiv.ExpressionTreeProposition.PropositionBuilders.ExplanationExpressionTreePropositionFactory<TModel, TPredicateResult> Motiv.ExpressionTreeProposition.PropositionBuilders.MultiAssertionExplanationWithSingularWhenTrueExpressionTreePropositionFactory<TModel, TPredicateResult>

public readonly struct Step_71__Motiv_Spec<TModel, TPredicateResult>

Type Parameters

TModel

TPredicateResult

Inherited Members

ValueType.Equals(object)

ValueType.GetHashCode()

ValueType.ToString()

object.Equals(object, object)

object.GetType()

object.ReferenceEquals(object, object)

Extension Methods

EnumerableExtensions.ToEnumerable<T>(T)

Methods

WhenFalse(in Func<TModel, BooleanResultBase<string>, string>)

The explanation to use when the expression evaluates to false.

<xref href="Motiv.ExpressionTreeProposition.PropositionBuilders.ExplanationExpressionTreePropositionFactory%602" data-throw-if-not-resolved="false"></xref>

public ExplanationExpressionTreePropositionFactory<TModel, TPredicateResult> WhenFalse(in Func<TModel, BooleanResultBase<string>, string> whenFalse)

Parameters

whenFalse Func<TModel, BooleanResultBase<string>, string>

Returns

ExplanationExpressionTreePropositionFactory<TModel, TPredicateResult>

WhenFalse(in Func<TModel, string>)

The explanation to use when the expression evaluates to false.

<xref href="Motiv.ExpressionTreeProposition.PropositionBuilders.ExplanationExpressionTreePropositionFactory%602" data-throw-if-not-resolved="false"></xref>

public ExplanationExpressionTreePropositionFactory<TModel, TPredicateResult> WhenFalse(in Func<TModel, string> whenFalse)

Parameters

whenFalse Func<TModel, string>

Returns

ExplanationExpressionTreePropositionFactory<TModel, TPredicateResult>

WhenFalse(in string)

The explanation to use when the expression evaluates to false.

<xref href="Motiv.ExpressionTreeProposition.PropositionBuilders.ExplanationExpressionTreePropositionFactory%602" data-throw-if-not-resolved="false"></xref>

public ExplanationExpressionTreePropositionFactory<TModel, TPredicateResult> WhenFalse(in string whenFalse)

Parameters

whenFalse string

Returns

ExplanationExpressionTreePropositionFactory<TModel, TPredicateResult>

WhenFalseYield(in Func<TModel, BooleanResultBase<string>, IEnumerable<string>>)

The explanation to use when the expression evaluates to false.

<xref href="Motiv.ExpressionTreeProposition.PropositionBuilders.MultiAssertionExplanationWithSingularWhenTrueExpressionTreePropositionFactory%602" data-throw-if-not-resolved="false"></xref>

public MultiAssertionExplanationWithSingularWhenTrueExpressionTreePropositionFactory<TModel, TPredicateResult> WhenFalseYield(in Func<TModel, BooleanResultBase<string>, IEnumerable<string>> falseBecause)

Parameters

falseBecause Func<TModel, BooleanResultBase<string>, IEnumerable<string>>

Returns

MultiAssertionExplanationWithSingularWhenTrueExpressionTreePropositionFactory<TModel, TPredicateResult>