Attrs.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* AttrDef Declarations                                                       *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
#ifdef GET_ATTRDEF_CLASSES
#undef GET_ATTRDEF_CLASSES
 
 
namespace mlir {
class AsmParser;
class AsmPrinter;
} // namespace mlir
namespace llzk {
namespace function {
class AllowConstraintAttr;
class AllowWitnessAttr;
class AllowConstraintAttr : public ::mlir::Attribute::AttrBase<AllowConstraintAttr, ::mlir::Attribute, ::mlir::AttributeStorage> {
public:
  using Base::Base;
  static constexpr ::llvm::StringLiteral name = "function.allow_constraint";
  static constexpr ::llvm::StringLiteral getMnemonic() {
    return {"allow_constraint"};
  }
 
};
class AllowWitnessAttr : public ::mlir::Attribute::AttrBase<AllowWitnessAttr, ::mlir::Attribute, ::mlir::AttributeStorage> {
public:
  using Base::Base;
  static constexpr ::llvm::StringLiteral name = "function.allow_witness";
  static constexpr ::llvm::StringLiteral getMnemonic() {
    return {"allow_witness"};
  }
 
};
} // namespace function
} // namespace llzk
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::function::AllowConstraintAttr)
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::function::AllowWitnessAttr)
 
#endif  // GET_ATTRDEF_CLASSES