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
TModelThe type of the model.
- Implements
-
IEquatable<ModelResult<TModel>>
- Inherited Members
- Extension Methods
Constructors
ModelResult(TModel, bool)
Represents the result of a model evaluation.
public ModelResult(TModel Model, bool Satisfied)
Parameters
ModelTModelSatisfiedbool
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
trueif the model is satisfied; otherwise,false.