tiny.pluck.bdd.deepCopy

1pub fn deepCopy(manager: *const Manager, bdd: Bdd, allocator: Allocator) !BddCopy {2    const nodes = try allocator.dupe(Node, manager.nodes.items);3    errdefer allocator.free(nodes);45    const var_order = try allocator.dupe(u32, manager.var_order.items);67    return BddCopy{8        .root = bdd,9        .nodes = nodes,10        .var_order = var_order,11        .allocator = allocator,12    };13}