バグを確認

Fork: 1

nitta-lab / AlgebraicDataflowArchitectureModel

Browse code バグを確認 2024_stable ASE2022submit FACS2023 MODELS2025_submit Models2024 SimulatorVisualization bug-pathParam bug-swingNativeReceiver controlFlowModeling dynamicResourceCreation experiment20231128 experiment_2023_1_25 extendForWebServices feature-addTableUI feature-keyboard-shortcuts feature_addLoggerToCFD fix-window-position fixSerializeException fix_connectionAnEdgeAtDependsOnMediator forMultipleOutputResources forWebServices gameEngine gameEngine-DTRAM gameEngine2 hieararchicalLayout htmlGUi importVisualModelingUpdates language-server master ohta ota outputChannelAsAClass refactor simulationLayout simulator swingInterface test two-stage-modeling update-dtram-parser update-parser ...updateHierarchicalResources
1 parent c348f1a commit 5cbfed7aaa9029c142a817157ef29d52e6f94b40 yoichiro authored on 24 May 2020

Browse code

バグを確認

2024_stable ...updateHierarchicalResources

1 parent c348f1a commit 5cbfed7aaa9029c142a817157ef29d52e6f94b40

yoichiro authored on 24 May 2020

Patch

Unified Split

Showing 1 changed file

                Ignore Space
               Show notes
              View
            
          
          2 ■■■■■
          AlgebraicDataflowArchitectureModel/models/Game.model
             channel CIO {
	out force(f:Double, action(x:Double)) == x
	out time(t:Double, action(x)) == t + 0.01
	out force(f, e) == x
	out time(t, e) == t + 0.01
}
 
channel CIO2 {
	out velocity(v:Double, setVel(x:Double)) == x
 channel CIO {
 	out force(f:Double, action(x:Double)) == x
+	out time(t:Double, action(x)) == t + 0.01
 	out force(f, e) == x
+	out time(t, e) == t + 0.01
 }
 channel CIO2 {
 	out velocity(v:Double, setVel(x:Double)) == x

Show line notes below