ZDD : ZDD演算子・メソッド一覧 : <= : 以下比較演算

3.9 <= : 以下比較演算

書式

$zdd1$ $<$ = $zdd2$ $\rightarrow$ $zdd$

説明

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

例

例1: 基本例

==の例を参照のこと。

関連

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