tiny.pluck.bdd.wmcDual

1pub fn wmcDual(2    manager: *const Manager,3    bdd: Bdd,4    params: *const WmcParams,5    allocator: Allocator,6) !WmcDualResult {7    std.debug.assert(params.is_dual);89    var cache = std.AutoHashMap(u32, DualNumber).init(allocator);10    defer {11        var it = cache.valueIterator();12        while (it.next()) |val| {13            var v = val.*;14            v.deinit();15        }16        cache.deinit();17    }1819    var result = try wmcDualHelper(manager, bdd, params, allocator, &cache);2021    const partials = result.partials;22    result.partials = &[_]f64{};2324    return WmcDualResult{25        .primal = result.primal,26        .partials = partials,27        .allocator = allocator,28    };29}