Class BooleanResult<TModel, TMetadata>

Namespace

Motiv.HigherOrderProposition

Assembly

Motiv.dll

Represents a boolean result with an associated model and metadata.

public sealed class BooleanResult<TModel, TMetadata> : BooleanResultBase<TMetadata>, IEquatable<BooleanResultBase>, IEquatable<bool>

Type Parameters

TModel

The type of the associated model.

TMetadata

The type of the metadata.

Inheritance

object

BooleanResultBase

BooleanResultBase<TMetadata>

BooleanResult<TModel, TMetadata>

Implements

IEquatable<BooleanResultBase>

IEquatable<bool>

Inherited Members

BooleanResultBase<TMetadata>.Values

BooleanResultBase<TMetadata>.RootValues

BooleanResultBase<TMetadata>.UnderlyingMetadataSources

BooleanResultBase<TMetadata>.And(BooleanResultBase<TMetadata>)

BooleanResultBase<TMetadata>.AndAlso(BooleanResultBase<TMetadata>)

BooleanResultBase<TMetadata>.Or(BooleanResultBase<TMetadata>)

BooleanResultBase<TMetadata>.OrElse(BooleanResultBase<TMetadata>)

BooleanResultBase<TMetadata>.XOr(BooleanResultBase<TMetadata>)

BooleanResultBase<TMetadata>.Not()

BooleanResultBase.Reason

BooleanResultBase.UnderlyingReasons

BooleanResultBase.UnderlyingExpressionResults

BooleanResultBase.Justification

BooleanResultBase.Assertions

BooleanResultBase.AllAssertions

BooleanResultBase.SubAssertions

BooleanResultBase.AllSubAssertions

BooleanResultBase.RootAssertions

BooleanResultBase.AllRootAssertions

BooleanResultBase.UnderlyingAssertionSources

BooleanResultBase.UnderlyingAllAssertionSources

BooleanResultBase.Equals(bool)

BooleanResultBase.Equals(BooleanResultBase)

BooleanResultBase.ToString()

BooleanResultBase.And(BooleanResultBase)

BooleanResultBase.AndAlso(BooleanResultBase)

BooleanResultBase.Or(BooleanResultBase)

BooleanResultBase.OrElse(BooleanResultBase)

BooleanResultBase.XOr(BooleanResultBase)

BooleanResultBase.Equals(object)

BooleanResultBase.GetHashCode()

object.Equals(object, object)

object.GetType()

object.ReferenceEquals(object, object)

Extension Methods

EnumerableExtensions.ToEnumerable<T>(T)

Properties

Causes

Gets the causes of the result. These are the underlying results that determined the final result.

public override IEnumerable<BooleanResultBase> Causes { get; }

Property Value

IEnumerable<BooleanResultBase>

CausesWithValues

Gets the causes of the result, with metadata. These are the underlying results that determined the final result.

public override IEnumerable<BooleanResultBase<TMetadata>> CausesWithValues { get; }

Property Value

IEnumerable<BooleanResultBase<TMetadata>>

Description

Gets the description of the result.

public override ResultDescriptionBase Description { get; }

Property Value

ResultDescriptionBase

Explanation

Gets the explanation for the result, including any underlying explanations that led to this result.

public override Explanation Explanation { get; }

Property Value

Explanation

MetadataTier

Gets the metadata as a hierarchy of metadata nodes, with the root node representing the metadata yielded by this result's proposition.

public override MetadataNode<TMetadata> MetadataTier { get; }

Property Value

MetadataNode<TMetadata>

Model

Gets the model that this result evaluated.

public TModel Model { get; }

Property Value

TModel

Satisfied

Gets a value indicating whether the result is satisfied.

public override bool Satisfied { get; }

Property Value

bool

Underlying

Gets the underlying boolean result that this result encapsulates.

public override IEnumerable<BooleanResultBase> Underlying { get; }

Property Value

IEnumerable<BooleanResultBase>

UnderlyingWithValues

Gets the underlying boolean result that led to this result, that also shares the same metadata type.

public override IEnumerable<BooleanResultBase<TMetadata>> UnderlyingWithValues { get; }

Property Value

IEnumerable<BooleanResultBase<TMetadata>>