diff --git a/AlgebraicDataflowArchitectureModel/models/JumpGame.model b/AlgebraicDataflowArchitectureModel/models/JumpGame.model index 36ce9b7..1a4c6b0 100644 --- a/AlgebraicDataflowArchitectureModel/models/JumpGame.model +++ b/AlgebraicDataflowArchitectureModel/models/JumpGame.model @@ -1,3 +1,16 @@ +init { + force := pair(0.0, 0.0) + time := 0.0 + move := pair(0.0, 0.0) + mass := 1.0 + ground := true + acceleration := pair(0.0, 0.0) + velocity := pair(0.0, 0.0) + onground := true + position := pair(0.0, 0.0) + clear := false + gameover := false +} channel CIO { out force(f:Pair, gravity(y:Double)) == pair(0.0, y) out time(t:Double, gravity(y)) == t + 0.01