|
LLZK 0.1.0
Veridise's ZK Language IR
|
#include <LightweightSignalEquivalenceAnalysis.h>
Public Member Functions | |
| LightweightSignalEquivalenceAnalysis (mlir::Operation *op) | |
| bool | areSignalsEquivalent (mlir::Value v1, mlir::Value v2) |
Definition at line 24 of file LightweightSignalEquivalenceAnalysis.h.
| llzk::LightweightSignalEquivalenceAnalysis::LightweightSignalEquivalenceAnalysis | ( | mlir::Operation * | op | ) |
Definition at line 32 of file LightweightSignalEquivalenceAnalysis.cpp.
| bool llzk::LightweightSignalEquivalenceAnalysis::areSignalsEquivalent | ( | mlir::Value | v1, |
| mlir::Value | v2 ) |
Definition at line 50 of file LightweightSignalEquivalenceAnalysis.cpp.