protect

protect

protect(x)

# S3 method for zdd
protect(x)

Arguments

x	the ZDD to protect, including subnodes

Value

the ZDD, protected

Examples

a <- as_zdd(list(c(1,2,3), 4, c(5,6)))
protect(a)
reset_zdd_store(keep_protected = TRUE) # preserves the protected ZDD assigned to `a`
#> Resetting zdd_store.