ZDD : Overview of ZDD Operators and Methods : to_a : Convert to itemset array

3.54 to_a : Convert to itemset array

Format

$obj$ .to_a $\rightarrow$ $array$

Description

Return character string array $array$ of itemset from ZDD object $obj$ .

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

> a = f.to_a
> p a
["4 a c", "2 a", "2 b"]

See Also

hashout : Output Hash

to_s : Convert to sum-of-products string