LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
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 566 of file IntervalAnalysis.h.

Member Function Documentation

◆ getEmptyExpr()

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

Definition at line 568 of file IntervalAnalysis.h.

◆ getEmptyKey()

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

Definition at line 577 of file IntervalAnalysis.h.

◆ getHashValue()

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

Definition at line 583 of file IntervalAnalysis.h.

◆ getTombstoneExpr()

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

Definition at line 572 of file IntervalAnalysis.h.

◆ getTombstoneKey()

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

Definition at line 580 of file IntervalAnalysis.h.

◆ isEqual()

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

Definition at line 586 of file IntervalAnalysis.h.


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