ZDD : ZDD演算子・メソッド一覧 : termsEQ : 重み比較による項選択(等価比較)

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

書式

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

説明

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

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

zdd1.termsEQ(zdd2) : 等価比較
zdd1.termsGE(zdd2) : 以上比較
zdd1.termsGT(zdd2) : 大なり比較
zdd1.termsLE(zdd2) : 以下比較
zdd1.termsLT(zdd2) : 小なり比較
zdd1.termsNE(zdd2) : 不等比較

例

例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 : 重み比較による項選択(不等比較)