zdd_anot

zdd_anot

zdd_anot(zddP, zddQ)

Arguments

zddP	a zdd list object
zddQ	a zdd list object

Value

a zdd list object that is the elements of the first object that are nonminimal to the second

Examples

cutsets( (zdd(3) | zdd(4)) %% zdd(4))
#> [[1]]
#> [1] 3
#> 
cutsets( (zdd(3) * zdd(4)) %% zdd(4))
#> list()