tiny.pluck.bdd.weightedSample

1pub fn weightedSample(2    manager: *Manager,3    bdd: Bdd,4    params: *const WmcParams,5    rng: std.Random,6) Allocator.Error!WeightedSampleResult {7    if (bdd.isTrue()) {8        return WeightedSampleResult{9            .sample = Bdd.TRUE,10            .probability = 1.0,11        };12    }13    if (bdd.isFalse()) {14        return WeightedSampleResult{15            .sample = Bdd.FALSE,16            .probability = 0.0,17        };18    }19    if (weightedSampleLiteral(manager, bdd, params)) |sample| {20        return sample;21    }2223    var cache = try WmcDenseCache.init(manager.allocator, manager.nodes.items.len);24    defer cache.deinit();2526    const total_wmc = wmcHelper(manager, bdd, params, &cache);27    if (total_wmc == 0.0) {28        return WeightedSampleResult{29            .sample = Bdd.FALSE,30            .probability = 0.0,31        };32    }3334    return try weightedSampleFromCache(manager, bdd, params, rng, 1.0, &cache, &.{});35}