ZDD : ZDD演算子・メソッド一覧 : items : ZDDを構成する全アイテムの重み集計

3.29 items : ZDDを構成する全アイテムの重み集計

書式

$obj$ .items $\rightarrow$ $zdd$

説明

ZDDオブジェクト $obj$ のアイテム別に重みを集計し、新しいZDDオブジェクト $zdd$ を生成し返す。

例

例1: 基本例

> require 'zdd'
> a=ZDD::itemset("a")
> b=ZDD::itemset("b")
> c=ZDD::itemset("c")
> f=((a*b*c)+(a*b)+(b*c))
> f.show
 a b c + a b + b c

# ZDDオブジェクトfは3つのアイテムa,b,cから構成されており、
# それぞれのアイテムの重みを以下の通り計算する。
# アイテムaを含む項は"a b c"と"2 a b"で、その重み合計は3となる。
# アイテムbは全ての項に含まれ、その重み合計は4となる。
# アイテムcを含む項は"a b c"と"b c"で、その重み合計は2となる。
> f.items.show
 2 a + 3 b + 2 c

関連