Fork: 1
nitta-lab / AlgebraicDataflowArchitectureModel
Download ZIP 185 commits
Transfer to URL with SHA
AlgebraicDataflowArchitectureModel / AlgebraicDataflowArchitectureModel / src / models / algebra /
latest commit 474e089e27
n-nitta authored on 2 Sep 2021
..
Constant.java Twitter.model から実行可能（コンパイル可能）なプロトタイプが生成できなかった不具合（以下のもの）を修正． 3 years ago
Expression.java ・GENERATIVE 型のシンボル（プログラムで生成可能な可変シンボル）が定義できるようにする． 3 years ago
Field.java ・GENERATIVE 型のシンボル（プログラムで生成可能な可変シンボル）が定義できるようにする． 3 years ago
FutureWorkException.java 代数処理系を別パッケージに分けた。 4 years ago
InvalidMessage.java 代数処理系を別パッケージに分けた。 4 years ago
Parameter.java ・StateTransition#deriveMessageConstraintFor() 4 years ago
ParameterizedIdentifierIsFutureWork.java 代数処理系を別パッケージに分けた。 4 years ago
Position.java Twitter.model から実行可能（コンパイル可能）なプロトタイプが生成できなかった不具合（以下のもの）を修正． 3 years ago
Symbol.java ・GENERATIVE 型のシンボル（プログラムで生成可能な可変シンボル）が定義できるようにする． 3 years ago
Term.java Twitter.model から実行可能（コンパイル可能）なプロトタイプが生成できなかった不具合（以下のもの）を修正． 3 years ago
Type.java 複数の親を持てるように型階層を拡張し，それに合わせて型推論できるように修正． 3 years ago
UnificationFailed.java 代数処理系を別パッケージに分けた。 4 years ago
ValueUndefined.java 代数処理系を別パッケージに分けた。 4 years ago
Variable.java ・StateTransition#deriveMessageConstraintFor() 4 years ago