R/zdd1.R

Defines functions zdd1

Documented in zdd1

#' zdd1
#'
#' @return the constant-1 elementary zdd (the so-called "set containing the empty set")
#' @examples zddr:::zdd1()
zdd1 <- function() {
  return(
    terminal_node(hash = 'ffffffffffffffffffffffffffffffff',
                  order = 1L,
                  minimum_order = 0L,
                  maximum_order = 0L,
                  count = 1L)
  )
}
jordagaman/zddr documentation built on June 29, 2021, 4:23 a.m.