Interface IEquivalenceChecker
- Namespace
- LogicalOptimizer
- Assembly
- LogicalOptimizer.dll
Pluggable equivalence backend. The core library ships two implementations: HybridEquivalenceChecker (truth table small / SAT miter large) and BddEquivalenceChecker (canonical diagrams, best for repeated queries). External adapters (e.g. an optional Z3 package) implement the same contract for production verification at scales beyond the built-in budgets.
public interface IEquivalenceCheckerMethods
Check(AstNode, AstNode, CancellationToken)
EquivalenceCheckResult Check(AstNode left, AstNode right, CancellationToken cancellationToken = default)Parameters
leftAstNoderightAstNodecancellationTokenCancellationToken