LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Static Public Attributes | List of all members
llzk::smt::BoolType Class Reference
Inheritance diagram for llzk::smt::BoolType:
[legend]
Collaboration diagram for llzk::smt::BoolType:
[legend]

Public Member Functions

void print (::mlir::AsmPrinter &odsPrinter) const

Static Public Member Functions

static constexpr ::llvm::StringLiteral getMnemonic ()
::mlir::Type parse (::mlir::AsmParser &odsParser)

Static Public Attributes

static constexpr ::llvm::StringLiteral name = "smt.bool"
static constexpr ::llvm::StringLiteral dialectName = "smt"

Detailed Description

Definition at line 25 of file SMTTypes.h.inc.

Member Function Documentation

◆ getMnemonic()

constexpr ::llvm::StringLiteral llzk::smt::BoolType::getMnemonic ( )
inlinestatic

Definition at line 30 of file SMTTypes.h.inc.

◆ parse()

mlir::Type llzk::smt::BoolType::parse ( ::mlir::AsmParser & odsParser)
static

Definition at line 92 of file SMTTypes.cpp.inc.

◆ print()

void llzk::smt::BoolType::print ( ::mlir::AsmPrinter & odsPrinter) const

Definition at line 99 of file SMTTypes.cpp.inc.

Member Data Documentation

◆ dialectName

::llvm::StringLiteral llzk::smt::BoolType::dialectName = "smt"
static

Definition at line 29 of file SMTTypes.h.inc.

◆ name

::llvm::StringLiteral llzk::smt::BoolType::name = "smt.bool"
static

Definition at line 28 of file SMTTypes.h.inc.

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