3.48 termsEQ : 重み比較による項選択(等価比較)

書式

$obj$.termsEQ($zdd1$) $\rightarrow $ $zdd2$

説明

$obj$に含まれる項のうち、$zdd1$で与えられた定数と同じ重みを持つ項(重み+アイテム集合)を選択する。 $zdd1$にはconstantメソッドにより生成されたZDD定数オブジェクト、もしくはrubyの整数で指定する。

本パッケージで扱える項選択メソッドは以下の通り。

例1: 基本例

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

# 3の重みを持つ項を選択する。
> f.termsEQ(3).show
 3 b

# 3以上の重みを持つ項を選択する。
> f.termsGE(3).show
 5 a + 3 b

# 3でない重みを持つ項を選択する。
> f.termsNE(3).show
 5 a + c

# 条件に合う項がなければ0
> f.termsGT(10).show
 0

関連

termsGE : 重み比較による項選択(以上比較)

termsGT : 重み比較による項選択(大なり比較)

termsLE : 重み比較による項選択(以下比較)

termsLT : 重み比較による項選択(小なり比較)

termsNE : 重み比較による項選択(不等比較)