0

如果我有一组特定的信号，例如我制定了一组 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...

如果您想使用一个打开的开关，那么类似：

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