ZDD : ZDD演算子・メソッド一覧 : count : 項数計算

3.15 count : 項数計算

書式

$obj$ .count $\rightarrow$ $numItemsets$

$numItemsets$ : integer

説明

$obj$ に格納された項の数(アイテム集合の数)を返す。

例

例1: 基本例

> require 'zdd'
> a=ZDD::itemset("a")
> b=ZDD::itemset("b")
> f=a+b+a*b
> f.show
 a b + a + b
> puts f.count
3

> g=a+b+a*b+1
> g.show
 a b + a + b + 1
> puts g.count
4

> c=ZDD::constant(0)
> puts c.count
0

> d=ZDD::constant(1)
> puts d.count
1

関連