Inheritance diagram for ProveDetOpBuildFuncHelper:

Collaboration diagram for ProveDetOpBuildFuncHelper:

Public Member Functions
virtual bool	callIsA (MlirOperation op) override

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

Protected Member Functions
	ProveDetOpBuildFuncHelper ()=default

Detailed Description

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

Constructor & Destructor Documentation

◆ ProveDetOpBuildFuncHelper()

ProveDetOpBuildFuncHelper::ProveDetOpBuildFuncHelper ( )

protecteddefault

Member Function Documentation

◆ callIsA()

virtual bool ProveDetOpBuildFuncHelper::callIsA ( MlirOperation op )

inlineoverridevirtual

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

◆ get()

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

static

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

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