ZDD : ZDD演算子・メソッド一覧 : each_item : アイテムの繰り返し

3.21 each_item : アイテムの繰り返し

書式

$obj$ .each_item{ $|weight,item,top,bottom|\dots$ } $\rightarrow$ $Qtrue$

説明

ZDDオブジェクト $obj$ からアイテム集合を１つずつ読み込み、重みとアイテムを $weight$ と $item$ にそれぞれセットし，指定されたブロックを実行する．セットされたアイテムが処理中のアイテム集合の最初のアイテムであれば $top$ がtrueに、最後であれば $bottom$ がfalseにセットされる。

例

例1: 基本例

> require 'zdd'
> a=ZDD::itemset("a")
> b=ZDD::itemset("b")
> c=ZDD::itemset("c")
> f=2*a+2*b+4*a*c
> f.each_item{|weight,item,top,bottom|
>   puts weight
>   item.show
>   puts top
>   puts bottom
>   puts "----------"
> }
4
 a
true
false
----------
4
 c
false
true
----------
2
 a
true
true
----------
2
 b
true
true
----------

関連

each : アイテム集合の繰り返し