ZDD : ZDD演算子・メソッド一覧 : same? : 式の等価比較

3.44 same? : 式の等価比較

書式

$obj$ .same?( $zdd$ ) $\rightarrow$ $bool$ $\rightarrow$ $bool$

$obj$ === $zdd$ $\rightarrow$ $bool$

説明

2つのZDDオブジェクト $obj$ と $zdd$ を比較し、同じならtrue、異なるならfalseを返す。 "="が二つの演算子(==演算子)は別に定義されており、式内の項の等価比較を行うものであり、本演算子とは全く異なることに注意する。

例

例1: 基本例

> require 'zdd'
> require 'zdd'
> a=ZDD::itemset("a")
> b=ZDD::itemset("b")
> c=ZDD::itemset("c")
> puts a.same?(b)
false
> puts a.same?(a)
true
> puts (a+b).same?(a+c)
false
> puts (a+b).same?(a+b)
true
> puts (a-a).same?(0)
true
> puts (2*a/a)===2
true

関連

diff? : 式の不等価比較