ZDD : Overview of ZDD Operators and Methods : totalsize : Number of ZDD nodes in the processing system

3.57 totalsize : Number of ZDD nodes in the processing system

Format

ZDD::totalsize $\rightarrow$ $nodeSize$

$nodeSize$ : integer

Description

Return the number of nodes from all ZDD objects constructed by Ruby interpreter.

Examples

Example 1: Basic Example

> require 'zdd'

> a=5*ZDD::itemset("a b c")-3*ZDD::itemset("a b")+2*ZDD::itemset("b c")+1*ZDD::itemset("c")
> a.show
 5 a b c - 3 a b + 2 b c + c
> puts a.size
10
> puts ZDD::totalsize
10

> b=-3*ZDD::itemset("a c")
> b.show
 - 3 a c
> puts b.size
5
> puts ZDD::totalsize
14

See Also

size : Number of ZDD nodes