Table of Contents

Struct Step_60__Motiv_Spec<TModel>

Namespace
Motiv
Assembly
Motiv.dll

Motiv.ExpressionTreeProposition.PropositionBuilders.BooleanExplanationWithNameExpressionTreePropositionFactory<TModel> Motiv.ExpressionTreeProposition.PropositionBuilders.BooleanMultiAssertionExplanationWithNameExpressionTreePropositionFactory<TModel>

public readonly struct Step_60__Motiv_Spec<TModel>

Type Parameters

TModel
Inherited Members
Extension Methods

Methods

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

The explanation for when the predicate is false.

<xref href="Motiv.ExpressionTreeProposition.PropositionBuilders.BooleanExplanationWithNameExpressionTreePropositionFactory%601" data-throw-if-not-resolved="false"></xref>
public BooleanExplanationWithNameExpressionTreePropositionFactory<TModel> WhenFalse(in Func<TModel, BooleanResultBase<string>, string> whenFalse)

Parameters

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

Returns

BooleanExplanationWithNameExpressionTreePropositionFactory<TModel>

WhenFalse(in Func<TModel, string>)

The explanation for when the predicate is false.

<xref href="Motiv.ExpressionTreeProposition.PropositionBuilders.BooleanExplanationWithNameExpressionTreePropositionFactory%601" data-throw-if-not-resolved="false"></xref>
public BooleanExplanationWithNameExpressionTreePropositionFactory<TModel> WhenFalse(in Func<TModel, string> whenFalse)

Parameters

whenFalse Func<TModel, string>

Returns

BooleanExplanationWithNameExpressionTreePropositionFactory<TModel>

WhenFalse(in string)

The explanation for when the predicate is false.

<xref href="Motiv.ExpressionTreeProposition.PropositionBuilders.BooleanExplanationWithNameExpressionTreePropositionFactory%601" data-throw-if-not-resolved="false"></xref>
public BooleanExplanationWithNameExpressionTreePropositionFactory<TModel> WhenFalse(in string whenFalse)

Parameters

whenFalse string

Returns

BooleanExplanationWithNameExpressionTreePropositionFactory<TModel>

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

The explanation for when the predicate is false.

<xref href="Motiv.ExpressionTreeProposition.PropositionBuilders.BooleanMultiAssertionExplanationWithNameExpressionTreePropositionFactory%601" data-throw-if-not-resolved="false"></xref>
public BooleanMultiAssertionExplanationWithNameExpressionTreePropositionFactory<TModel> WhenFalseYield(in Func<TModel, BooleanResultBase<string>, IEnumerable<string>> falseBecause)

Parameters

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

Returns

BooleanMultiAssertionExplanationWithNameExpressionTreePropositionFactory<TModel>