tiny.pluck.bdd.topKPaths

1pub fn topKPaths(2    manager: *Manager,3    bdd: Bdd,4    k: usize,5    params: *const WmcParams,6    allocator: Allocator,7) !Bdd {8    if (bdd.isFalse() or k == 0) {9        return Bdd.FALSE;10    }11    if (bdd.isTrue()) {12        return Bdd.TRUE;13    }1415    var paths: std.ArrayList(BddPath) = .empty;16    defer paths.deinit(allocator);1718    try enumeratePaths(manager, bdd, Bdd.TRUE, params, 1.0, &paths, allocator);1920    std.mem.sort(BddPath, paths.items, {}, bdd_path_more_probable);2122    var result = Bdd.FALSE;23    const limit = @min(k, paths.items.len);24    for (paths.items[0..limit]) |path| {25        result = try manager.bddOr(result, path.bdd);26    }2728    return result;29}