modelファイル中で、リソース状態の型を指定できるようにした。 out payment(p:Int, purchase(x)) == x のように。

Fork: 1

y-ota / AlgebraicDataflowArchitectureModel

forked from nitta-lab/AlgebraicDataflowArchitectureModel

Browse code modelファイル中で、リソース状態の型を指定できるようにした。 out payment(p:Int, purchase(x)) == x のように。 fix master ohta ota
1 parent c834691 commit 4199ee68d3e3a1bb7c31132b5830ebf39a49d4cf n-nittta authored on 30 Apr 2020

Patch

Unified Split

Showing 7 changed files

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

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

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

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

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

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java

Ignore Space Show notes View AlgebraicDataflowArchitectureModel/src/parser/Parser.java

Show line notes below