Class HybridEquivalenceChecker

Namespace

LogicalOptimizer

Assembly

LogicalOptimizer.dll

Default backend: exhaustive truth-table comparison up to the guard range, SAT-based miter proof beyond it. Verdicts are exact; Unknown appears only when the conflict budget runs out on very large instances.

public sealed class HybridEquivalenceChecker : IEquivalenceChecker

Inheritance

object

HybridEquivalenceChecker

Implements

IEquivalenceChecker

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Constructors

HybridEquivalenceChecker(int)

public HybridEquivalenceChecker(int maxConflicts = 200000)

Parameters

maxConflicts int

Methods

Check(AstNode, AstNode, CancellationToken)

public EquivalenceCheckResult Check(AstNode left, AstNode right, CancellationToken cancellationToken = default)

Parameters

left AstNode

right AstNode

cancellationToken CancellationToken

Returns

EquivalenceCheckResult