ZDD : ZDD演算子・メソッド一覧 : totalweight : 重みの合計

3.58 totalweight : 重みの合計

書式

$obj$ .totalweight $\rightarrow$ $total$

$total$ : integer

説明

$obj$ に含まれる項(定数項も含む)の重みの合計をruby整数 $total$ で返す。

例

例1: 基本例

> require 'zdd'
> a=ZDD::itemset("a")
> b=ZDD::itemset("b")
> c=ZDD::itemset("c")
> f=5*a + 3*b + c
> f.show
 5 a + 3 b + c
> puts f.totalweight
9

> g=f - 10
> g.show
 5 a + 3 b + c - 10
> puts g.totalweight
-1

関連

minweight : 重みの最小値

maxweight : 重みの最大値