Inheritance diagram for VerifSMTProveOpBuildFuncHelper:

Collaboration diagram for VerifSMTProveOpBuildFuncHelper:

Public Member Functions
virtual bool	callIsA (MlirOperation op) override

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

Protected Member Functions
	VerifSMTProveOpBuildFuncHelper ()=default

Detailed Description

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

Constructor & Destructor Documentation

◆ VerifSMTProveOpBuildFuncHelper()

VerifSMTProveOpBuildFuncHelper::VerifSMTProveOpBuildFuncHelper ( )

protecteddefault

Member Function Documentation

◆ callIsA()

virtual bool VerifSMTProveOpBuildFuncHelper::callIsA ( MlirOperation op )

inlineoverridevirtual

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

◆ get()

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

static

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

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