llzk::ConstantCapture Struct Reference

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

#include <Matchers.h>

Collaboration diagram for llzk::ConstantCapture:

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

Public Attributes
felt::FeltConstantOp *	what

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:

• include/llzk/Analysis/Matchers.h