に含まれる全てのアイテム集合の重みの符合を変える。
> require 'zdd' > a=ZDD::itemset("a") > b=ZDD::itemset("b") > x=3*a+2*b > x.show 3 a + 2 b > (-x).show - 3 a - 2 b
: プラス単項演算子