ZDD : ZDD演算子・メソッド一覧 : cost : アイテム集合のコスト合計

3.14 cost : アイテム集合のコスト合計

書式

$obj$ .cost $\rightarrow$ $cost$

$cost$ : float

説明

アイテムに設定されたコスト(symbol関数を参照のこと)を $obj$ の各アイテムに代入したときの式の値を返す。

例

例1: 基本例

> require 'zdd'
# シンボルa, b, cに値1.0, 0.5, 1.8をそれぞれ与える。
> ZDD::symbol("a",1.0)
> ZDD::symbol("b",0.5)
> ZDD::symbol("c",2.0)

> a=ZDD::itemset("a")
> b=ZDD::itemset("b")
> c=ZDD::itemset("c")

# 式は1つのシンボルaから構成されa=1.0
> puts a.cost
1.0

# 式"a b"にa=1.0,b=0.5を代入すると1.0*0.5=0.5
> f=a*b
> f.show
 a b
> puts f.cost
0.5

# 式"a b + 2 a + c + 3"にa=1.0,b=0.5,c=2.0を代入すると 1.0*0.5+2*1.0+2.0+3=7.5
> f=a*b + 2*a + c + 3
> f.show
 a b + 2 a + c + 3
> puts f.cost
7.5

関連

symbol : アイテムの宣言

maxcover : コスト最大のアイテム集合の選択

maxcost : コスト最大のアイテム集合のコスト

mincover : コスト最小のアイテム集合の選択

mincost : コスト最小のアイテム集合のコスト