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

3.19 diff? : 式の不等価比較

書式

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

説明

2つのZDDオブジェクト $obj$ と $zdd$ を比較し、同じならfalse、異なるならtrueを返す

例

例1: 基本例

> require 'zdd'
> a=ZDD::itemset("a")
> b=ZDD::itemset("b")
> c=ZDD::itemset("c")
> puts a.diff?(b)
true
> puts a.diff?(a)
false
> puts (a+b).diff?(a+c)
true
> puts (a+b).diff?(a+b)
false

関連

same? : 式の等価比較