ZDD : ZDD演算子・メソッド一覧 : termsGT : 重み比較による項選択(大なり比較)

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

書式

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

説明

$obj$ に含まれる項のうち、 $zdd1$ で与えられた定数より大きい重みを持つ項(重み+アイテム集合)を選択する。

例

例1: 基本例

termsEQメソッドの例を参照のこと。

関連

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

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

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

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

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