protect: protect

Description Usage Arguments Value Examples

View source: R/protect.R

Description

protect

Usage

1
2
3
4
protect(x)

## S3 method for class 'zdd'
protect(x)

Arguments

x

the ZDD to protect, including subnodes

Value

the ZDD, protected

Examples

1
2
3
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`

jordagaman/zddr documentation built on June 29, 2021, 4:23 a.m.