onground リソースが更新されたときに，チャンネル c3 と c4 の両方の通知が行き，velocity リソースの c3 からの更新と c4 からの更新が競合してしまう（状態遷移の制約2に違反する）ので，onground を最後に更新し，onground の値は ref で参照するように，JumpGame.model のアーキテクチャモデルを設計変更した．

Fork: 1

y-ota / AlgebraicDataflowArchitectureModel

Browse code onground リソースが更新されたときに，チャンネル c3 と c4 の両方の通知が行き，velocity リソースの c3 からの更新と c4 からの更新が競合してしまう（状態遷移の制約2に違反する）ので，onground を最後に更新し，onground の値は ref で参照するように，JumpGame.model のアーキテクチャモデルを設計変更した． master
1 parent a17fb63 commit 7fbbd89568d3047d4d1c22293e60048f7c71a127 Naoya Nitta authored on 31 Aug 2021

Browse code

onground リソースが更新されたときに，チャンネル c3 と c4 の両方の通知が行き，velocity リソースの c3 からの更新と

c4 からの更新が競合してしまう（状態遷移の制約2に違反する）ので，onground を最後に更新し，onground の値は ref
で参照するように，JumpGame.model のアーキテクチャモデルを設計変更した．

master

1 parent a17fb63 commit 7fbbd89568d3047d4d1c22293e60048f7c71a127

Naoya Nitta authored on 31 Aug 2021

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/models/JumpGame.model

Show line notes below