Fork: 1

nitta-lab / AlgebraicDataflowArchitectureModel

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

Merged y-ota merged 1 commit into nitta-lab:master from nitta-lab:methodBodyGen on 1 May 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