tiny.pluck.bdd.BddCopy

1pub const BddCopy = struct {2    root: Bdd,3    nodes: []Node,4    var_order: []u32,5    allocator: Allocator,67    pub fn deinit(self: *BddCopy) void {8        self.allocator.free(self.nodes);9        self.allocator.free(self.var_order);10    }1112    pub fn isConst(self: *const BddCopy) bool {13        return self.root.isConst();14    }1516    pub fn isTrue(self: *const BddCopy) bool {17        return self.root.isTrue();18    }1920    pub fn isFalse(self: *const BddCopy) bool {21        return self.root.isFalse();22    }2324    pub fn getNode(self: *const BddCopy, bdd: Bdd) Node {25        return self.nodes[bdd.index];26    }2728    pub fn toJson(self: *const BddCopy, allocator: Allocator) ![]u8 {29        return writeBddJson(allocator, self.root, self.nodes);30    }31};