Class HigherOrderBooleanResultEvaluation<TModel, TMetadata>

Namespace

Motiv.HigherOrderProposition

Assembly

Motiv.dll

The meta-result of a higher order evaluation.

public class HigherOrderBooleanResultEvaluation<TModel, TMetadata>

Type Parameters

TModel

The type of the model.

TMetadata

The type of the metadata associated with the evaluation.

Inheritance

object

HigherOrderBooleanResultEvaluation<TModel, TMetadata>

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

object.ToString()

Extension Methods

EnumerableExtensions.ToEnumerable<T>(T)

Properties

AllSatisfied

Gets a value indicating whether all results are satisfied.

public bool AllSatisfied { get; }

Property Value

bool

AnySatisfied

Gets a value indicating whether any results are satisfied.

public bool AnySatisfied { get; }

Property Value

bool

Assertions

Gets the assertions made during the evaluation.

public IEnumerable<string> Assertions { get; }

Property Value

IEnumerable<string>

CausalCount

Gets the count of causal results.

public int CausalCount { get; }

Property Value

int

CausalModels

Gets the list of causal models.

public IReadOnlyList<TModel> CausalModels { get; }

Property Value

IReadOnlyList<TModel>

CausalResults

Gets the list of causal results.

public IEnumerable<BooleanResult<TModel, TMetadata>> CausalResults { get; }

Property Value

IEnumerable<BooleanResult<TModel, TMetadata>>

Count

Gets the total count of results.

public int Count { get; }

Property Value

int

FalseCount

Gets the count of false results.

public int FalseCount { get; }

Property Value

int

FalseModels

Gets the list of models where the result is false.

public IReadOnlyList<TModel> FalseModels { get; }

Property Value

IReadOnlyList<TModel>

FalseResults

Gets the list of results where the result is false.

public IEnumerable<BooleanResult<TModel, TMetadata>> FalseResults { get; }

Property Value

IEnumerable<BooleanResult<TModel, TMetadata>>

Models

Gets the list of all models.

public IReadOnlyList<TModel> Models { get; }

Property Value

IReadOnlyList<TModel>

NoneSatisfied

Gets a value indicating whether none of the results are satisfied.

public bool NoneSatisfied { get; }

Property Value

bool

Results

Gets the list of all results.

public IEnumerable<BooleanResult<TModel, TMetadata>> Results { get; }

Property Value

IEnumerable<BooleanResult<TModel, TMetadata>>

TrueCount

Gets the count of true results.

public int TrueCount { get; }

Property Value

int

TrueModels

Gets the list of models where the result is true.

public IReadOnlyList<TModel> TrueModels { get; }

Property Value

IReadOnlyList<TModel>

TrueResults

Gets the list of results where the result is true.

public IEnumerable<BooleanResult<TModel, TMetadata>> TrueResults { get; }

Property Value

IEnumerable<BooleanResult<TModel, TMetadata>>

Values

Gets the values associated with the evaluation.

public IEnumerable<TMetadata> Values { get; }

Property Value

IEnumerable<TMetadata>