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