Table of Contents

Struct ModelResult<TModel>

Namespace
Motiv.HigherOrderProposition
Assembly
Motiv.dll

Represents the result of a model evaluation.

public readonly record struct ModelResult<TModel> : IEquatable<ModelResult<TModel>>

Type Parameters

TModel

The type of the model.

Implements
Inherited Members
Extension Methods

Constructors

ModelResult(TModel, bool)

Represents the result of a model evaluation.

public ModelResult(TModel Model, bool Satisfied)

Parameters

Model TModel
Satisfied bool

Properties

Model

Gets the model.

public TModel Model { get; }

Property Value

TModel

The model.

Satisfied

Gets a value indicating whether the model satisfies a certain condition.

public bool Satisfied { get; }

Property Value

bool

true if the model is satisfied; otherwise, false.