llzk::verif::VerifDialect Class Reference

LLZK verification dialect for encoding specifications for functions and structs. More...

Inheritance diagram for llzk::verif::VerifDialect:

Collaboration diagram for llzk::verif::VerifDialect:

Public Member Functions
	~VerifDialect () override

Static Public Member Functions
static constexpr ::llvm::StringLiteral	getDialectNamespace ()

Friends
class	::mlir::MLIRContext

Detailed Description

LLZK verification dialect for encoding specifications for functions and structs.

Definition at line 13 of file Dialect.h.inc.

Constructor & Destructor Documentation

~VerifDialect()

llzk::verif::VerifDialect::~VerifDialect ( )

overridedefault

Member Function Documentation

getDialectNamespace()

constexpr ::llvm::StringLiteral llzk::verif::VerifDialect::getDialectNamespace ( )

inlinestatic

Definition at line 20 of file Dialect.h.inc.

Friends And Related Symbol Documentation

::mlir::MLIRContext

friend class ::mlir::MLIRContext

friend

Definition at line 17 of file Dialect.h.inc.

---

The documentation for this class was generated from the following files:

• build/include/llzk/Dialect/Verif/IR/Dialect.h.inc
• lib/Dialect/Verif/IR/Dialect.cpp
• build/include/llzk/Dialect/Verif/IR/Dialect.cpp.inc