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

書式

$odj$.to_a $\rightarrow $ $string$

説明

ZDDオブジェクト$obj$を積和形式の文字列$string$として返す.

例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

> s = f.to_s
> p s
"4 a c + 2 a + 2 b"

関連

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

hashout : Hash出力