ZDD : ZDD演算子・メソッド一覧 : to_i : ZDD定数オブジェクトをRuby整数に変換

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

書式

$obj$ .to_i() $\rightarrow$ $constant$

$constant$ : integer

説明

ZDD定数オブジェクト $obj$ (空のアイテム集合の重み)をruby整数 $constant$ に変換する。重みオブジェクトでないZDDオブジェクトに適用した場合はnilを返す。

例

例1: 基本例

> require 'zdd'
> c=ZDD::constant(10)
> c.show           # ZDD定数オブジェクト
 10
> puts c.to_i      # ruby整数
10

# ZDD定数オブジェクトでなければnilとなる。
> a=ZDD::itemset("a")
> p a.to_i
nil

関連

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

to_a : アイテム集合配列への変換