ZDD : ZDD演算子・メソッド一覧 : + : 加算演算子

3.3 + : 加算演算子

書式

$zdd1$ + $zdd2$ $\rightarrow$ $zdd3$

説明

$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
 5 a + 4 b + 4 c

関連

$-$ : 減算演算子

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