zdd0: zdd0

Description Usage Value Examples

View source: R/zdd0.R

Description

zdd0

Usage

1
zdd0()

Value

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

Examples

1
zddr:::zdd0()

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