SMT-LIB script metadata retained through emission. More...

Inheritance diagram for llzk::smt_info::SMTInfoDialect:

Collaboration diagram for llzk::smt_info::SMTInfoDialect:

Public Member Functions
	~SMTInfoDialect () override
::mlir::Attribute	parseAttribute (::mlir::DialectAsmParser &parser, ::mlir::Type type) const override
	Parse an attribute registered to this dialect.
void	printAttribute (::mlir::Attribute attr, ::mlir::DialectAsmPrinter &os) const override
	Print an attribute registered to this dialect.
void	registerAttributes ()

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

Friends
class	::mlir::MLIRContext

Detailed Description

SMT-LIB script metadata retained through emission.

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

Constructor & Destructor Documentation

llzk::smt_info::SMTInfoDialect::~SMTInfoDialect ( )

overridedefault

constexpr ::llvm::StringLiteral llzk::smt_info::SMTInfoDialect::getDialectNamespace ( )

inlinestatic

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

::mlir::Attribute llzk::smt_info::SMTInfoDialect::parseAttribute	(	::mlir::DialectAsmParser &	parser,
		::mlir::Type	type ) const

override

Parse an attribute registered to this dialect.

void llzk::smt_info::SMTInfoDialect::printAttribute	(	::mlir::Attribute	attr,
		::mlir::DialectAsmPrinter &	os ) const

override

Print an attribute registered to this dialect.

void SMTInfoDialect::registerAttributes ( )

Definition at line 106 of file SMTInfoAttributes.cpp.

friend class ::mlir::MLIRContext

friend

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

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