ZDD : Overview of ZDD Operators and Methods : - : Minus unary operator

3.6 - : Minus unary operator

Format

$- zdd1 \rightarrow zdd2$

Description

Convert weight contained in $zdd1$ from positive to negative sign and vice versa.

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

$+$ : Plus unary operator