Inheritance diagram for RequireConstrainOpBuildFuncHelper:

Collaboration diagram for RequireConstrainOpBuildFuncHelper:

Public Member Functions
virtual bool	callIsA (MlirOperation op) override

Static Public Member Functions
static std::unique_ptr< RequireConstrainOpBuildFuncHelper >	get ()
	This method must be implemented to return a subclass of RequireConstrainOpBuildFuncHelper that at least implements callBuild() to build the operation via llzkVerifRequireConstrainOpBuild().

Protected Member Functions
	RequireConstrainOpBuildFuncHelper ()=default

Detailed Description

Definition at line 671 of file Ops.capi.test.cpp.inc.

Constructor & Destructor Documentation

◆ RequireConstrainOpBuildFuncHelper()

RequireConstrainOpBuildFuncHelper::RequireConstrainOpBuildFuncHelper ( )

protecteddefault

Member Function Documentation

◆ callIsA()

virtual bool RequireConstrainOpBuildFuncHelper::callIsA ( MlirOperation op )

inlineoverridevirtual

Definition at line 672 of file Ops.capi.test.cpp.inc.

◆ get()

std::unique_ptr< RequireConstrainOpBuildFuncHelper > RequireConstrainOpBuildFuncHelper::get ( )

static

This method must be implemented to return a subclass of RequireConstrainOpBuildFuncHelper that at least implements callBuild() to build the operation via llzkVerifRequireConstrainOpBuild().

It can override other methods of TestAnyBuildFuncHelper if needed.

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

build/include/llzk/Dialect/Verif/IR/Ops.capi.test.cpp.inc

Public Member Functions