ZDD : ZDD演算子・メソッド一覧 : $>$ = : 以上比較演算

3.12 $>$ = : 以上比較演算

書式

ZDD Object $zdd1$ $>$ = $zdd2$

説明

zdd1に含まれるアイテム集合とzdd2に含まれるアイテム集合を比較し、重みがzdd2以上のアイテム集合を選択する。

例

例1: 基本例

==の例を参照のこと。

関連

==, $<$ , $<=$ , $>$ , $>=$ , ne? : 各種比較演算