llzk::smt::BVCmpPredicateAttr Class Reference

Inheritance diagram for llzk::smt::BVCmpPredicateAttr:

Collaboration diagram for llzk::smt::BVCmpPredicateAttr:

Public Types
using	ValueType = BVCmpPredicate

Public Member Functions
BVCmpPredicate	getValue () const

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

Detailed Description

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

Member Typedef Documentation

ValueType

using llzk::smt::BVCmpPredicateAttr::ValueType = BVCmpPredicate

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

Member Function Documentation

classof()

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

static

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

get()

BVCmpPredicateAttr llzk::smt::BVCmpPredicateAttr::get ( ::mlir::MLIRContext * context, BVCmpPredicate val )

static

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

getValue()

BVCmpPredicate llzk::smt::BVCmpPredicateAttr::getValue

(

)

const

Definition at line 60 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