3.20 each : Iterate for each itemset

Format

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

Description

Read itemset at one $item$ at a time from ZDD object $obj$ from the specified block.

Example

Example 1: Basic Example

> 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

See Also

each_item : Iterate for each item