ZDD : Overview of ZDD Operators and Methods : + : Plus unary operator

3.4 + : Plus unary operator

Format

+ $zdd1$ $\rightarrow$ $zdd2$

Description

Return all itemsets contained in $zdd1$ (without any changes).

Example

Example 1: Basic Example

> require 'zdd'
> a=ZDD::itemset("a")
> b=ZDD::itemset("b")
> x=3*a+2*b
> x.show
 3 a + 2 b

> (+x).show
 3 a + 2 b

See Also

$-$ : Minus unary operator