zdd1: zdd1

Description Usage Value Examples

View source: R/zdd1.R

Description

zdd1

Usage

1
zdd1()

Value

the constant-1 elementary zdd (the so-called "set containing the empty set")

Examples

1
zddr:::zdd1()

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