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

#include <IntervalAnalysis.h>

Static Public Member Functions

static SMTExprRef getEmptyExpr ()
static SMTExprRef getTombstoneExpr ()
static llzk::ExpressionValue getEmptyKey ()
static llzk::ExpressionValue getTombstoneKey ()
static unsigned getHashValue (const llzk::ExpressionValue &e)
static bool isEqual (const llzk::ExpressionValue &lhs, const llzk::ExpressionValue &rhs)

Detailed Description

Definition at line 584 of file IntervalAnalysis.h.

Member Function Documentation

◆ getEmptyExpr()

SMTExprRef llvm::DenseMapInfo< llzk::ExpressionValue >::getEmptyExpr ( )
inlinestatic

Definition at line 586 of file IntervalAnalysis.h.

◆ getEmptyKey()

llzk::ExpressionValue llvm::DenseMapInfo< llzk::ExpressionValue >::getEmptyKey ( )
inlinestatic

Definition at line 595 of file IntervalAnalysis.h.

◆ getHashValue()

unsigned llvm::DenseMapInfo< llzk::ExpressionValue >::getHashValue ( const llzk::ExpressionValue & e)
inlinestatic

Definition at line 601 of file IntervalAnalysis.h.

◆ getTombstoneExpr()

SMTExprRef llvm::DenseMapInfo< llzk::ExpressionValue >::getTombstoneExpr ( )
inlinestatic

Definition at line 590 of file IntervalAnalysis.h.

◆ getTombstoneKey()

llzk::ExpressionValue llvm::DenseMapInfo< llzk::ExpressionValue >::getTombstoneKey ( )
inlinestatic

Definition at line 598 of file IntervalAnalysis.h.

◆ isEqual()

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

Definition at line 604 of file IntervalAnalysis.h.

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