circt::smt::detail::BitVectorAttrStorage Struct Reference

Inheritance diagram for circt::smt::detail::BitVectorAttrStorage:

Collaboration diagram for circt::smt::detail::BitVectorAttrStorage:

Public Types
using	KeyTy = APInt

Public Member Functions
	BitVectorAttrStorage (APInt value)
KeyTy	getAsKey () const
bool	operator== (const KeyTy &key) const

Static Public Member Functions
static llvm::hash_code	hashKey (const KeyTy &key)
static BitVectorAttrStorage *	construct (mlir::AttributeStorageAllocator &allocator, KeyTy &&key)

Public Attributes
APInt	value

Detailed Description

Definition at line 27 of file SMTAttributes.cpp.

Member Typedef Documentation

KeyTy

using circt::smt::detail::BitVectorAttrStorage::KeyTy = APInt

Definition at line 28 of file SMTAttributes.cpp.

Constructor & Destructor Documentation

BitVectorAttrStorage()

circt::smt::detail::BitVectorAttrStorage::BitVectorAttrStorage ( APInt  value )

inline

Definition at line 29 of file SMTAttributes.cpp.

Member Function Documentation

construct()

static BitVectorAttrStorage* circt::smt::detail::BitVectorAttrStorage::construct ( mlir::AttributeStorageAllocator &  allocator, KeyTy &&  key  )

inlinestatic

Definition at line 47 of file SMTAttributes.cpp.

getAsKey()

KeyTy circt::smt::detail::BitVectorAttrStorage::getAsKey ( ) const

inline

Definition at line 31 of file SMTAttributes.cpp.

hashKey()

static llvm::hash_code circt::smt::detail::BitVectorAttrStorage::hashKey ( const KeyTy &  key )

inlinestatic

Definition at line 42 of file SMTAttributes.cpp.

References circt::esi::hash_value().

operator==()

bool circt::smt::detail::BitVectorAttrStorage::operator== ( const KeyTy &  key ) const

inline

Definition at line 38 of file SMTAttributes.cpp.

Member Data Documentation

value

APInt circt::smt::detail::BitVectorAttrStorage::value

Definition at line 52 of file SMTAttributes.cpp.

Referenced by Python.support.OpOperand::type().

---

The documentation for this struct was generated from the following file:

• /home/runner/work/circt-www/circt-www/circt_src/lib/Dialect/SMT/SMTAttributes.cpp