SMTInfoDetail.h File Reference

#include <mlir/IR/Attributes.h>
#include <mlir/IR/Diagnostics.h>

Include dependency graph for SMTInfoDetail.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	llzk
namespace	llzk::smt_info
namespace	llzk::smt_info::detail

Functions
mlir::Attribute	llzk::smt_info::detail::getKeywordAttr (mlir::MLIRContext *context, llvm::StringRef value)
	Creates a keyword attribute without exposing generated attribute storage to operation implementation files.
mlir::Attribute	llzk::smt_info::detail::getSymbolAttr (mlir::MLIRContext *context, llvm::StringRef value)
	Creates a symbol attribute without exposing generated attribute storage to operation implementation files.
mlir::LogicalResult	llzk::smt_info::detail::verifyKeyword (llvm::function_ref< mlir::InFlightDiagnostic()> emitError, llvm::StringRef value)
	Verifies that value is a valid SMT-LIB keyword and reports failures through emitError.