ZDD : Overview of ZDD Operators and Methods : diff? : Not equal to comparison operator

3.19 diff? : Not equal to comparison operator

Format

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

Description

Compare between two ZDD objects $obj$ and $zdd$ , return false if they are the same, and return true if the two objects are different.

Example

Example 1: Basic Example

> 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

See Also

same? : Equal to comparison operator