llzk::smt::IntPredicateAttr Class Reference

Inheritance diagram for llzk::smt::IntPredicateAttr:

Collaboration diagram for llzk::smt::IntPredicateAttr:

Public Types
using	ValueType = IntPredicate

Public Member Functions
IntPredicate	getValue () const

Static Public Member Functions
static bool	classof (::mlir::Attribute attr)
static IntPredicateAttr	get (::mlir::MLIRContext *context, IntPredicate val)

Detailed Description

Definition at line 157 of file SMTEnums.h.inc.

Member Typedef Documentation

ValueType

using llzk::smt::IntPredicateAttr::ValueType = IntPredicate

Definition at line 159 of file SMTEnums.h.inc.

Member Function Documentation

classof()

bool llzk::smt::IntPredicateAttr::classof ( ::mlir::Attribute attr )

static

Definition at line 96 of file SMTEnums.cpp.inc.

get()

IntPredicateAttr llzk::smt::IntPredicateAttr::get ( ::mlir::MLIRContext * context, IntPredicate val )

static

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

getValue()

IntPredicate llzk::smt::IntPredicateAttr::getValue

(

)

const

Definition at line 104 of file SMTEnums.cpp.inc.

---

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

• build/include/llzk/Dialect/SMT/IR/SMTEnums.h.inc
• build/include/llzk/Dialect/SMT/IR/SMTEnums.cpp.inc