问题标签 [event-b]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
11 问题
0
投票
1
回答
53
浏览
event-b - 如何在事件 b 中使用公理填充关系
所以，我有一个罗丹 event-b 项目，想定义一个已知的静态关系。例如，假设我有一个集合 {a,b,c} 并想指定关系常数，它等于 {(a,1),(a,2),(b,3)} 在上下文公理。（可以是多行的，但如果可行的话最好是单行的）
我该怎么办？