0

特定の sig のセットがある場合、たとえば、closed_Switches のセットを作成します。次のように open_switches (または閉じられていないすべてのスイッチ) のセットを取得できますか?

some x:Switch |  x = (univ - closed_switches)  =>  "and then imply something on x"

合金を使い始めたばかりですが、これはこの問題に取り組む正しい方法ですか。

4

1 に答える 1

2

すべての開いているスイッチのセットを意味する場合は、次を含む式を使用します

Switch - closed_switches

名前を付けることができます：

let open_switches = Switch - closed_switches | ...stuff about open_switches...

開いている 1 つのスイッチで作業したい場合は、次のようにします。

some x : Switch - closed_switches | ...stuff about x...
于 2013-02-06T06:17:22.327 に答える