Skip to documentation
SLOP

tiny.pluck.bdd.VarLabelHashContext

Reference tiny.pluck bdd VarLabelHashContext

Defined in bdd.

API (2)

Actions

Public operations.

No direct callersNo direct callsbddVarLabelHashContext
Static calls · unresolved targets: unknown · external targets: unknown.

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

Definitions3
Public names3
Members0
Version26.7.0
Revisiondaab053ee433