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

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

書式

$obj$ .each{ $|item|$ } $\rightarrow$ $Qtrue$

説明

ZDDオブジェクト $obj$ からアイテム集合を１つずつ $item$ にセットし，指定されたブロックを実行する．

例

例1: 基本例

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

> f.each{|x|
>   x.show
> }
 4 a c
 2 a
 2 b

関連

each_item : アイテムの繰り返し