Fork: 1
y-ota / AlgebraicDataflowArchitectureModel
forked from nitta-lab/AlgebraicDataflowArchitectureModel
Download ZIP 150 commits
Transfer to URL with SHA
AlgebraicDataflowArchitectureModel / AlgebraicDataflowArchitectureModel / src / models / algebra /
latest commit c348f1a816
n-nittta authored on 9 May 2020
..
Constant.java ・顧客リストモデルを追加。 5 years ago
Expression.java ・顧客リストモデルを追加。 5 years ago
Field.java ・入出力チャンネルにしか出現しないリソースを ResourceDependencyGraph にノードとして出力していなかったのを修正。 5 years ago
FutureWorkException.java 代数処理系を別パッケージに分けた。 5 years ago
InvalidMessage.java 代数処理系を別パッケージに分けた。 5 years ago
Parameter.java ・StateTransition#deriveMessageConstraintFor() 5 years ago
ParameterizedIdentifierIsFutureWork.java 代数処理系を別パッケージに分けた。 5 years ago
Position.java 保存必要性アルゴリズム完成 5 years ago
Symbol.java 副作用を持つメソッドの型を追加して、cons()をList#add()に正し変換できるようにした。 5 years ago
Term.java ・メッセージの引数に指定した型を、メッセージのシンボルのシグニチャに反映させるようにした。 5 years ago
Type.java ・ASTNodeからtoString()で実装を出力できるようにした。 5 years ago
UnificationFailed.java 代数処理系を別パッケージに分けた。 5 years ago
ValueUndefined.java 代数処理系を別パッケージに分けた。 5 years ago
Variable.java ・StateTransition#deriveMessageConstraintFor() 5 years ago