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
TModelThe 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
AnySatisfied
Gets a value indicating whether any of the results are satisfied.
public bool AnySatisfied { get; }
Property Value
CausalCount
Gets the count of causal results.
public int CausalCount { get; }
Property Value
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
FalseCount
Gets the count of false models.
public int FalseCount { get; }
Property Value
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
TrueCount
Gets the count of true models.
public int TrueCount { get; }
Property Value
TrueModels
Gets all models that are true.
public IReadOnlyList<TModel> TrueModels { get; }
Property Value
- IReadOnlyList<TModel>