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::IntPredicate > Struct Reference

Public Types

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

Static Public Member Functions

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

Detailed Description

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

Member Typedef Documentation

◆ StorageInfo

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

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

Member Function Documentation

◆ getEmptyKey()

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

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

◆ getHashValue()

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

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

◆ getTombstoneKey()

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

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

◆ isEqual()

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

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

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