ZDD : ZDD演算子・メソッド一覧 : totalsize : 処理系全体のZDD節点数

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

書式

ZDD::totalsize $\rightarrow$ $nodeSize$

$nodeSize$ : integer

説明

動作中のrubyインタープリタ上で構築された全ZDDオブジェクトの節点数を返す。

例

例1: 基本例

> 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
140

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

関連

size : ZDD節点数