プロセスとスレッドセットの演算子

プロセスセットとスレッドセットで次の演算子を使用できます。

セット演算子

演算子

説明

動作

+

結合

2 つのセット S1 および S2 から要素が S1S2 のいずれかにあるセットを返します。

-

差分

2 つのセット S1 および S2 から要素が S1 にあって S2 にないセットを返します。

単項 -

否定

単一セット S から [*]S の差分を返します。

次の例は、これらの 3 つの演算子の使用例を示しています。

(idb) set $set1 = [:10, 15:18, 20:]  
(idb) set $set2 = [10:16, 19]  
(idb) set $set3 = $set1 + $set2  
(idb) print $set3 
[*]
(idb) print $set3 - $set2  
[:9, 17:18, 20:]
(idb) print -$set2  
[:9, 17:18, 20:]

このヘルプトピックについてのフィードバックを送信