私はEvent-Bでかなり多くの問題を抱えています..
クライアントのグループからクライアント番号ごとに関係を作りたい
私はそのタイプの関係を持っています:
cli(PERSON) = NAT1 (人は有限集合)
イベントでは、人のサブセットがあります
where group <: PERSON
そして、私が直感的に書くものをcli関係に影響を与えたいと思います:
! x . x : group | cli(x) = numcli
私はそれを正しい方法でモデリングしていますか？私が得たい愛情を得る方法はありますか？