ZDD : ZDD演算子・メソッド一覧 : maxweight : 重みの最大値

3.34 maxweight : 重みの最大値

書式

$obj$ .maxweight $\rightarrow$ $zdd$

説明

ZDDオブジェクト $obj$ に含まれる項(定数項も含む)のうち、最大の重みをZDD定数オブジェクトで返す。

例

例1: 基本例

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

# 最大値は定数項も含めて求められる。
> x=5*a+3*b+c+10
> x.show
 5 a + 3 b + c + 10
> x.maxweight.show
 10

# 最大の重みを持つ項を選択する。
> x=5*a+3*b+5*c+2
> x.show
 5 a + 3 b + 5 c + 2
> x.termsEQ(x.maxweight).show
 5 a + 5 c

関連

minweight : 重みの最小値

totalweight : 重みの合計