0
如果我有一組特定的sig，例如我制定了一套closed_Switches。我能得到一組open_switches（或所有未關閉的開關）的如下universal set in alloy
some x:Switch | x = (univ - closed_switches) => "and then imply something on x"
採用合金剛開始，這是處理這個問題的正確途徑。
A
回答
2
如果你指的是集所有打開開關，然後使用含有該表達
Switch - closed_switches
，你可以給一個名字：
let open_switches = Switch - closed_switches | ...stuff about open_switches...
如果你想和一個開放式開關工作然後像這樣：
some x : Switch - closed_switches | ...stuff about x...
相關問題
- 1. shouldAutorotateToInterfaceOrientation not working in universal app
- 2. Boost hana find set in set
- 3. set in linux Bash
- 4. lower_bound in set（C++）
- 5. @SET（SQL）in PHP
- 6. android set imagebutton in tablerow
- 7. NOT IN SQL QUERY SET
- 8. Set in enum for C＃
- 9. cassandra stateful set in kubernetes
- 10. $ set和$ save in angularfire
- 11. mongodb set null in update
- 12. Universal App Resource resw values in different views
- 13. Android RecyclerView - in Adapter set ImageView height
- 14. CouchDB set-difference/not-in condition
- 15. Codeigniter IFNULL in set（）mysql activerecord
- 16. {get; set;} for arrayList in c＃WindowsForms
- 17. ImageResizer Polymorphic/Set Source in Pipeline？
- 18. Get＆Set for Enum in C++
- 19. SELECT IN for a large set
- 20. qt set line spacing.height in QGraphicsTextItem
- 21. 在Alloy
- 22. Alloy assert check
- 23. Count_something = len（[x for x in blah if x in foo]）or len（set（blah）＆set（foo））too obscure？
- 24. Appcelerator alloy views slide
- 25. 使用Alloy Models
- 26. [Alloy]沒有發現實例
- 27. Retriving Values form databse to set Item Title in menu.xml
- 28. iOS Core Location Set Pin to user location in viewDidLoad
- 29. 的Android SQLiteStatement和UPDATE SET ... WHERE IN（1,2,3）
- 30. 「set !: not a identifier in：...」plt scheme error