複数の親を持てるように型階層を拡張し，それに合わせて型推論できるように修正．

Fork: 1

nitta-lab / AlgebraicDataflowArchitectureModel

Browse code 複数の親を持てるように型階層を拡張し，それに合わせて型推論できるように修正． ASE2022submit FACS2023 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 generatorBugFix4 generatorBugFix5 hieararchicalLayout htmlGUi importVisualModelingUpdates master moveCharacters outputChannelAsAClass refactor simulationLayout simulator simulatorAddFunctions swingInterface test two-stage-modeling update-dtram-parser updateHierarchicalResources
1 parent 866c0ee commit 474e089e2700b101d451a80ef74777a035a7064d n-nitta authored on 2 Sep 2021

Browse code

ASE2022submit FACS2023 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 generatorBugFix4 generatorBugFix5 hieararchicalLayout htmlGUi importVisualModelingUpdates master moveCharacters outputChannelAsAClass refactor simulationLayout simulator simulatorAddFunctions swingInterface test two-stage-modeling update-dtram-parser updateHierarchicalResources

1 parent 866c0ee commit 474e089e2700b101d451a80ef74777a035a7064d

n-nitta authored on 2 Sep 2021

Patch

Unified Split

Showing 2 changed files

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/algorithms/TypeInference.java

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/models/algebra/Type.java

Show line notes below