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 869 of file IntervalAnalysis.h.

Member Function Documentation

◆ getEmptyExpr()

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

Definition at line 871 of file IntervalAnalysis.h.

◆ getEmptyKey()

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

Definition at line 880 of file IntervalAnalysis.h.

◆ getHashValue()

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

Definition at line 886 of file IntervalAnalysis.h.

◆ getTombstoneExpr()

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

Definition at line 875 of file IntervalAnalysis.h.

◆ getTombstoneKey()

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

Definition at line 883 of file IntervalAnalysis.h.

◆ isEqual()

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

Definition at line 889 of file IntervalAnalysis.h.


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