Table of Contents

Namespace Motiv.HigherOrderProposition

Classes

BooleanResult<TModel, TMetadata>

Represents a boolean result with an associated model and metadata.

HigherOrderBooleanEvaluation<TModel>

Represents a higher order boolean evaluation for a model.

HigherOrderBooleanResultEvaluation<TModel, TMetadata>

The meta-result of a higher order evaluation.

HigherOrderPolicyResultEvaluation<TModel, TMetadata>

The meta-result of a higher order evaluation. It provides properties for common

PolicyResult<TModel, TMetadata>

Represents a boolean result with an associated model and metadata.

Structs

ModelResult<TModel>

Represents the result of a model evaluation.