reset_zdd_store

reset_zdd_store(keep_protected = TRUE, quiet = FALSE)

Arguments

keep_protected	when TRUE, preserves the ZDD nodes that are marked protected
quiet	when FALSE, print a message whenever this command is run

reset_zdd_store(quiet = TRUE)