Fork: 1
nitta-lab / AlgebraicDataflowArchitectureModel
Download ZIP 331 commits
Transfer to URL with SHA
AlgebraicDataflowArchitectureModel / AlgebraicDataflowArchitectureModel / src / models / algebra /
latest commit abae5cf985
Naoya Nitta authored on 30 Sep 2023
..
Constant.java MapやJson周りのバグ修正． 1 year ago
Expression.java アーキテクチャモデル内の送信メッセージを逆関数を用いて定義できるように拡張した． 1 year ago
Field.java ・GENERATIVE 型のシンボル（プログラムで生成可能な可変シンボル）が定義できるようにする． 3 years ago
FutureWorkException.java 代数処理系を別パッケージに分けた。 4 years ago
InvalidMessage.java 代数処理系を別パッケージに分けた。 4 years ago
LambdaAbstraction.java アーキテクチャモデル内の送信メッセージを逆関数を用いて定義できるように拡張した． 1 year ago
Parameter.java ・StateTransition#deriveMessageConstraintFor() 4 years ago
ParameterizedIdentifierIsFutureWork.java 代数処理系を別パッケージに分けた。 4 years ago
Position.java チャンネル外部のリソースへの参照を更新できるようにした． 1 year ago
Symbol.java アーキテクチャモデル内の送信メッセージを逆関数を用いて定義できるように拡張した． 1 year ago
Term.java 参照の基づくPULL型転送に対応した． 1 year ago
Type.java 生成部分以外は，JSONに対応した．（型推論も含む．） 1 year ago
UnificationFailed.java 代数処理系を別パッケージに分けた。 4 years ago
ValueUndefined.java 代数処理系を別パッケージに分けた。 4 years ago
Variable.java ・作成したモデルからプロトタイプを生成するときに，プルダウンメニューの更新を行うようにした． 2 years ago