ZDD : Overview of ZDD Operators and Methods : size : Number of ZDD nodes

3.46 size : Number of ZDD nodes

Format

$obj$ .size $\rightarrow$ $nodeSize$

$nodeSize$ : integer

Description

Returns the number of nodes in $obj$ .

Example

Example 1: Basic Example

> require 'zdd'

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

See Also

totalsize : Number of ZDD nodes in the processing system