|
LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#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) |
Definition at line 535 of file IntervalAnalysis.h.
|
inlinestatic |
Definition at line 537 of file IntervalAnalysis.h.
|
inlinestatic |
Definition at line 546 of file IntervalAnalysis.h.
|
inlinestatic |
Definition at line 552 of file IntervalAnalysis.h.
|
inlinestatic |
Definition at line 541 of file IntervalAnalysis.h.
|
inlinestatic |
Definition at line 549 of file IntervalAnalysis.h.
|
inlinestatic |
Definition at line 555 of file IntervalAnalysis.h.