ZDD : ZDD演算子・メソッド一覧 : permitsym : アイテム数によるアイテム集合の選択

3.42 permitsym : アイテム数によるアイテム集合の選択

書式

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

説明

ZDDオブジェクト $obj$ を構成するアイテム集合のうち、 $zdd1$ で示された個数以下のアイテムを含むアイテム集合を選択し、そのZDDオブジェクト $zdd2$ を返す。

例

例1: 基本例

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

# アイテムが1つ以下のアイテム集合を選択
> x.permitsym(1).show
 5 a + 3 b + 2

# アイテムが2つ以下のアイテム集合を選択
> x.permitsym(2).show
 5 a + b c + 3 b + 2

# アイテムのないアイテム集合(すなわち空アイテム集合)を選択
> x.permitsym(0).show
 2

関連