tiny.pluck.bdd.VarLabelHashContext
Defined in bdd.
API (2)
Actions
Public operations.
Source
Source: lib/pluck/src/bdd.zig:11
zig
pub const VarLabelHashContext = struct { const K: u64 = 0x517cc1b727220a95; pub fn hash(_: VarLabelHashContext, key: VarLabel) u64 { var x = @as(u64, key) *% K; x ^= x >> 33; x *%= K; x ^= x >> 29; return x; } pub fn eql(_: VarLabelHashContext, a: VarLabel, b: VarLabel) bool { return a == b; }};Audit
| Definitions | 3 |
|---|---|
| Public names | 3 |
| Members | 0 |
| Version | 26.7.0 |
| Revision | daab053ee433 |