LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::LightweightSignalEquivalenceAnalysis Class Reference

#include <LightweightSignalEquivalenceAnalysis.h>

Public Member Functions

 LightweightSignalEquivalenceAnalysis (mlir::Operation *op)
bool areSignalsEquivalent (mlir::Value v1, mlir::Value v2)

Detailed Description

Definition at line 24 of file LightweightSignalEquivalenceAnalysis.h.

Constructor & Destructor Documentation

◆ LightweightSignalEquivalenceAnalysis()

llzk::LightweightSignalEquivalenceAnalysis::LightweightSignalEquivalenceAnalysis ( mlir::Operation * op)

Definition at line 32 of file LightweightSignalEquivalenceAnalysis.cpp.

Member Function Documentation

◆ areSignalsEquivalent()

bool llzk::LightweightSignalEquivalenceAnalysis::areSignalsEquivalent ( mlir::Value v1,
mlir::Value v2 )

Definition at line 50 of file LightweightSignalEquivalenceAnalysis.cpp.


The documentation for this class was generated from the following files: