LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::constrain::ConstrainDialect Class Reference
Inheritance diagram for llzk::constrain::ConstrainDialect:
[legend]
Collaboration diagram for llzk::constrain::ConstrainDialect:
[legend]

Public Member Functions

 ~ConstrainDialect () override
 

Static Public Member Functions

static constexpr ::llvm::StringLiteral getDialectNamespace ()
 

Friends

class ::mlir::MLIRContext
 

Detailed Description

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

Constructor & Destructor Documentation

◆ ~ConstrainDialect()

llzk::constrain::ConstrainDialect::~ConstrainDialect ( )
overridedefault

Member Function Documentation

◆ getDialectNamespace()

static constexpr ::llvm::StringLiteral llzk::constrain::ConstrainDialect::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: