LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::ConstantCapture Struct Reference

Matches and optionally captures a felt constant. More...

#include <Matchers.h>

Collaboration diagram for llzk::ConstantCapture:
[legend]

Public Member Functions

 ConstantCapture (felt::FeltConstantOp *capture)
bool match (mlir::Value v)

Public Attributes

felt::FeltConstantOpwhat

Detailed Description

Matches and optionally captures a felt constant.

Definition at line 74 of file Matchers.h.

Constructor & Destructor Documentation

◆ ConstantCapture()

llzk::ConstantCapture::ConstantCapture ( felt::FeltConstantOp * capture)
inline

Definition at line 76 of file Matchers.h.

Member Function Documentation

◆ match()

bool llzk::ConstantCapture::match ( mlir::Value v)
inline

Definition at line 78 of file Matchers.h.

Member Data Documentation

◆ what

felt::FeltConstantOp* llzk::ConstantCapture::what

Definition at line 75 of file Matchers.h.


The documentation for this struct was generated from the following file: