ZDD : ZDD演算子・メソッド一覧 : - : 減算演算子

3.5 - : 減算演算子

書式

$zdd1 - zdd2 \rightarrow zdd$

説明

$zdd1$ と $zdd2$ の対応するアイテム集合同士の重みの減算を行う。

例

例1: 基本例

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

> (x-y).show
 a - 4 c
> (y-x).show
 - a + 4 c

関連

$+$ : 加算演算子

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