ZDD : Overview of ZDD Operators and Methods : export : Serialized output of ZDD

3.22 export : Serialized output of ZDD

Format

$obj$ .export( $fileName$ )

$fileName$ : string

Description

Serialize output of ZDD internal structure in $obj$ as text. Export the output to the file specified at $fileName$ . If the file name is not specified, the result is sent to standard output (STDOUT).

Since the contents declared by the symbol function is not serialised according to item order, thus when restoring the ZDD object with import function, items must be declared again according to the same order.

Refer to import function for specific examples.

Example

Example 1: Basic Example

> require 'zdd'
> a=ZDD::itemset("a")
> b=ZDD::itemset("b")
> c=ZDD::itemset("c")
> f=5*a*b*c+3*a*b+2*b*c+c
> f.show
 5 a b c + 3 a b + 2 b c + c

> f.export

_i 3
_o 3
_n 7
4 1 F T
248 2 F 5
276 3 4 248
232 2 F 4
2 2 F T
272 3 232 2
268 3 232 248
276
272
268

See Also

import : Serialized import of ZDD

csvout : Output CSV file

hashout : Hash output