ZDD : ZDD演算子・メソッド一覧 : constant : ZDD定数オブジェクトの生成

3.13 constant : ZDD定数オブジェクトの生成

書式

ZDD::constant( $weight$ ) $\rightarrow$ $zdd$

$weight$ : integer

説明

$weight$ で指定した整数をZDDの重みオブジェクト $zdd$ (空のアイテム集合の重み)に変換する。

例

例1: 基本例

> require 'zdd'
> c=ZDD::constant(10)
> c.show
 10
# ZDD重みオブジェクトとruby文字列との演算では、
# ruby文字列はアイテム集合と見なされ自動でZDDオブジェクトにキャストされる。
> (c*"a").show
 10 a

# ZDD重みオブジェクトとruby整数との演算では、ruby整数はZDD重みオブジェクトと見なされる。
> (0*c).show
 0

# ZDD重みオブジェクトをruby整数に変換し、ruby整数として演算する。
> puts c.to_i*10
100

# 以下のように、0の重みを定義しておくと、そのオブジェクトとの演算においては、
# RubyStringを自動的にキャストしてくれるので便利である。
> a=ZDD::constant(0)
> a+="x"
> a+="x z"
> a+="z"
> a.show
 x z + x + z

関連

to_i : ZDD定数オブジェクトをRuby整数に変換

itemset : アイテム集合のZDDオブジェクトの作成