Fork: 1
y-ota / AlgebraicDataflowArchitectureModel
forked from nitta-lab/AlgebraicDataflowArchitectureModel
Download ZIP 106 commits
Transfer to URL with SHA
AlgebraicDataflowArchitectureModel / AlgebraicDataflowArchitectureModel / src / models / dataConstraintModel /
latest commit f85f7a8b67
n-nittta authored on 1 May 2020
..
ChannelGenerator.java JGraphXを用いてアプリケーションを作成した。 5 years ago
ChannelMember.java 代数処理系を別パッケージに分けた。 5 years ago
ChannelSelector.java 代数処理系を別パッケージに分けた。 5 years ago
DataConstraintModel.java ・メッセージの引数に指定した型を、メッセージのシンボルのシグニチャに反映させるようにした。 5 years ago
GroupSelector.java 代数処理系を別パッケージに分けた。 5 years ago
IdentifierTemplate.java 保存必要性アルゴリズム完成 5 years ago
Selector.java 代数処理系を別パッケージに分けた。 5 years ago
StateTransition.java ・StateTransition#deriveMessageConstraintFor() 5 years ago