tiny.pluck.bdd.wmcWithAllocator

Defined in bdd.

Source

Source: lib/pluck/src/bdd.zig:2305

1pub fn wmcWithAllocator(manager: *const Manager, bdd: Bdd, params: *const WmcParams, allocator: Allocator) f64 {2    var cache = WmcDenseCache.init(allocator, manager.nodes.items.len) catch {3        var hash_cache = std.AutoHashMap(u32, f64).init(allocator);4        defer hash_cache.deinit();56        return wmcHelperHash(manager, bdd, params, &hash_cache);7    };8    defer cache.deinit();910    return wmcHelper(manager, bdd, params, &cache);11}

Complete caller list

8 direct callers.

• tiny.pluck.bdd.WmcContext.wmcCached [method] at lib/pluck/src/bdd.zig:2593
• tiny.pluck.bdd.wmc [function] at lib/pluck/src/bdd.zig:2301
• lib.pluck.src.profiling.internal.incremental.test_BENCHMARK:_BDD_complexity_scaling [function] — test source at lib/pluck/src/profiling/internal/incremental.zig:237 in nearest public owner lib.pluck.src.profiling.internal.incremental
• lib.pluck.src.profiling.internal.incremental.test_BENCHMARK:_WmcContext_at_larger_scales [function] — test source at lib/pluck/src/profiling/internal/incremental.zig:523 in nearest public owner lib.pluck.src.profiling.internal.incremental
• lib.pluck.src.profiling.internal.incremental.test_BENCHMARK:_WmcContext_persistent_cache_scaling [function] — test source at lib/pluck/src/profiling/internal/incremental.zig:58 in nearest public owner lib.pluck.src.profiling.internal.incremental
• lib.pluck.src.profiling.internal.incremental.test_BENCHMARK:_XOR_chain_hard_instances [function] — test source at lib/pluck/src/profiling/internal/incremental.zig:584 in nearest public owner lib.pluck.src.profiling.internal.incremental
• lib.pluck.src.profiling.internal.incremental.test_BENCHMARK:_larger_BDD_scaling [function] — test source at lib/pluck/src/profiling/internal/incremental.zig:429 in nearest public owner lib.pluck.src.profiling.internal.incremental
• lib.pluck.src.profiling.internal.incremental.test_BENCHMARK:_multi-step_conditioning_sequence [function] — test source at lib/pluck/src/profiling/internal/incremental.zig:167 in nearest public owner lib.pluck.src.profiling.internal.incremental

Audit