LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | List of all members
llvm::DenseMapInfo<::llzk::smt::BVCmpPredicate > Struct Reference

Public Types

using StorageInfo = ::llvm::DenseMapInfo<uint64_t>

Static Public Member Functions

static inline ::llzk::smt::BVCmpPredicate getEmptyKey ()
static inline ::llzk::smt::BVCmpPredicate getTombstoneKey ()
static unsigned getHashValue (const ::llzk::smt::BVCmpPredicate &val)
static bool isEqual (const ::llzk::smt::BVCmpPredicate &lhs, const ::llzk::smt::BVCmpPredicate &rhs)

Detailed Description

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

Member Typedef Documentation

◆ StorageInfo

using llvm::DenseMapInfo<::llzk::smt::BVCmpPredicate >::StorageInfo = ::llvm::DenseMapInfo<uint64_t>

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

Member Function Documentation

◆ getEmptyKey()

inline ::llzk::smt::BVCmpPredicate llvm::DenseMapInfo<::llzk::smt::BVCmpPredicate >::getEmptyKey ( )
inlinestatic

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

◆ getHashValue()

unsigned llvm::DenseMapInfo<::llzk::smt::BVCmpPredicate >::getHashValue ( const ::llzk::smt::BVCmpPredicate & val)
inlinestatic

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

◆ getTombstoneKey()

inline ::llzk::smt::BVCmpPredicate llvm::DenseMapInfo<::llzk::smt::BVCmpPredicate >::getTombstoneKey ( )
inlinestatic

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

◆ isEqual()

bool llvm::DenseMapInfo<::llzk::smt::BVCmpPredicate >::isEqual ( const ::llzk::smt::BVCmpPredicate & lhs,
const ::llzk::smt::BVCmpPredicate & rhs )
inlinestatic

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

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