ZDD : Overview of ZDD Operators and Methods : to_s : Convert to sum-of-products string

3.56 to_s : Convert to sum-of-products string

Format

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

Description

Return sum-of-products string $string$ 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

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

See Also

to_a : Conversion to itemset array

hashout : Output Hash