Inheritance diagram for AssumeDetOpBuildFuncHelper:

Collaboration diagram for AssumeDetOpBuildFuncHelper:

Public Member Functions
virtual bool	callIsA (MlirOperation op) override

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

Protected Member Functions
	AssumeDetOpBuildFuncHelper ()=default

Detailed Description

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

Constructor & Destructor Documentation

◆ AssumeDetOpBuildFuncHelper()

AssumeDetOpBuildFuncHelper::AssumeDetOpBuildFuncHelper ( )

protecteddefault

Member Function Documentation

◆ callIsA()

virtual bool AssumeDetOpBuildFuncHelper::callIsA ( MlirOperation op )

inlineoverridevirtual

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

◆ get()

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

static

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

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