問題タブ [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 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
1 に答える
53 参照

event-b - イベントbで公理との関係を設定する方法

それで、私は Rodin event-b プロジェクトを持っており、既知の静的関係を定義したいと考えています。例として、{a,b,c} という集合があり、{(a,1),(a,2),(b,3)} に等しい関係定数を指定したいとします。文脈公理。(マルチライン化することもできますが、可能であれば単一化することをお勧めします)

これについてどうすればいいですか？


12345678910