ZDD : ZDD演算子・メソッド一覧 : to_a : アイテム集合配列への変換

3.54 to_a : アイテム集合配列への変換

書式

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

説明

ZDDオブジェクト $obj$ からアイテム集合の文字列を配列 $array$ で返す．

例

例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

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

関連

hashout : Hash出力

to_s : 積和形式の文字列に変換