LLZK 2.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::SMTFuncType Class Reference
Inheritance diagram for llzk::smt::SMTFuncType:
[legend]
Collaboration diagram for llzk::smt::SMTFuncType:
[legend]

Public Member Functions

void print (::mlir::AsmPrinter &odsPrinter) const
::llvm::ArrayRef< mlir::Type > getDomainTypes () const
mlir::Type getRangeType () const

Static Public Member Functions

static SMTFuncType get (::mlir::MLIRContext *context, ::llvm::ArrayRef< mlir::Type > domainTypes, mlir::Type rangeType)
static SMTFuncType getChecked (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::ArrayRef< mlir::Type > domainTypes, mlir::Type rangeType)
static SMTFuncType get (llvm::ArrayRef< mlir::Type > domainTypes, mlir::Type rangeType)
static SMTFuncType getChecked (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, llvm::ArrayRef< mlir::Type > domainTypes, mlir::Type rangeType)
static SMTFuncType get (mlir::Type rangeType)
static SMTFuncType getChecked (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, mlir::Type rangeType)
::llvm::LogicalResult verify (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::ArrayRef< mlir::Type > domainTypes, mlir::Type rangeType)
::llvm::LogicalResult verifyInvariants (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::ArrayRef< mlir::Type > domainTypes, mlir::Type rangeType)
static constexpr ::llvm::StringLiteral getMnemonic ()
::mlir::Type parse (::mlir::AsmParser &odsParser)

Static Public Attributes

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

Detailed Description

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

Member Function Documentation

◆ get() [1/3]

SMTFuncType llzk::smt::SMTFuncType::get ( ::mlir::MLIRContext * context,
::llvm::ArrayRef< mlir::Type > domainTypes,
mlir::Type rangeType )
static

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

◆ get() [2/3]

SMTFuncType llzk::smt::SMTFuncType::get ( llvm::ArrayRef< mlir::Type > domainTypes,
mlir::Type rangeType )
static

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

◆ get() [3/3]

SMTFuncType llzk::smt::SMTFuncType::get ( mlir::Type rangeType)
static

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

◆ getChecked() [1/3]

SMTFuncType llzk::smt::SMTFuncType::getChecked ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
::mlir::MLIRContext * context,
::llvm::ArrayRef< mlir::Type > domainTypes,
mlir::Type rangeType )
static

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

◆ getChecked() [2/3]

SMTFuncType llzk::smt::SMTFuncType::getChecked ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
llvm::ArrayRef< mlir::Type > domainTypes,
mlir::Type rangeType )
static

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

◆ getChecked() [3/3]

SMTFuncType llzk::smt::SMTFuncType::getChecked ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
mlir::Type rangeType )
static

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

◆ getDomainTypes()

llvm::ArrayRef< mlir::Type > llzk::smt::SMTFuncType::getDomainTypes ( ) const

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

◆ getMnemonic()

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

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

◆ getRangeType()

mlir::Type llzk::smt::SMTFuncType::getRangeType ( ) const

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

◆ parse()

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

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

◆ print()

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

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

◆ verify()

LogicalResult SMTFuncType::verify ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
::llvm::ArrayRef< mlir::Type > domainTypes,
mlir::Type rangeType )
static

Definition at line 70 of file SMTTypes.cpp.

◆ verifyInvariants()

llvm::LogicalResult llzk::smt::SMTFuncType::verifyInvariants ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
::llvm::ArrayRef< mlir::Type > domainTypes,
mlir::Type rangeType )
static

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

Member Data Documentation

◆ dialectName

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

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

◆ name

::llvm::StringLiteral llzk::smt::SMTFuncType::name = "smt.func"
static

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

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