Class EquivalenceCheckResult

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.dll

Verdict of an equivalence query. AreEquivalent is null when the conflict budget ran out before a proof either way (only possible far beyond the truth-table range).

public sealed class EquivalenceCheckResult

Inheritance

object

EquivalenceCheckResult

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Properties

AreEquivalent

public bool? AreEquivalent { get; }

Property Value

bool?

Counterexample

Assignment where the two expressions differ; set exactly when AreEquivalent is false.

public IReadOnlyDictionary<string, bool>? Counterexample { get; }

Property Value

IReadOnlyDictionary<string, bool>