3.6 - : マイナス単項演算子

書式

$- zdd1 \rightarrow zdd2$

説明

$zdd1$に含まれる全てのアイテム集合の重みの符合を変える。

例1: 基本例

> 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

関連

$+$ : プラス単項演算子