Table of Contents

Class HigherOrderBooleanEvaluation<TModel>

Namespace
Motiv.HigherOrderProposition
Assembly
Motiv.dll

Represents a higher order boolean evaluation for a model.

public sealed class HigherOrderBooleanEvaluation<TModel>

Type Parameters

TModel

The type of the model.

Inheritance
HigherOrderBooleanEvaluation<TModel>
Inherited Members
Extension Methods

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 of the results are satisfied.

public bool AnySatisfied { get; }

Property Value

bool

CausalCount

Gets the count of causal results.

public int CausalCount { get; }

Property Value

int

CausalModels

Gets all causal models.

public IReadOnlyList<TModel> CausalModels { get; }

Property Value

IReadOnlyList<TModel>

Count

Gets the total count of all results.

public int Count { get; }

Property Value

int

FalseCount

Gets the count of false models.

public int FalseCount { get; }

Property Value

int

FalseModels

Gets all models that are false.

public IReadOnlyList<TModel> FalseModels { get; }

Property Value

IReadOnlyList<TModel>

Models

Gets 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

TrueCount

Gets the count of true models.

public int TrueCount { get; }

Property Value

int

TrueModels

Gets all models that are true.

public IReadOnlyList<TModel> TrueModels { get; }

Property Value

IReadOnlyList<TModel>