ZDD : ZDD演算子・メソッド一覧 : size : ZDD節点数

3.46 size : ZDD節点数

書式

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

$nodeSize$ : integer

説明

$obj$ の節点数を返す。

例

例1: 基本例

> 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

関連

totalsize : 処理系全体のZDD節点数