AlgebraicDataflowArchitectureModel / AlgebraicDataflowArchitectureModel / src / models / algebra /
Naoya Nitta authored 11 days ago
..
Constant.java 文字列リテラルの扱い方を整理した. 11 days 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 シミュレータ機能の追加によって一部のソースコード生成ができなくなっていた不具合を修正. 22 days ago
Term.java dynamicResourceCreation ブランチの修正の反映. 1 month ago
Type.java 文字列リテラルの扱い方を整理した. 11 days ago
UnificationFailed.java 代数処理系を別パッケージに分けた。 4 years ago
ValueUndefined.java 代数処理系を別パッケージに分けた。 4 years ago
Variable.java ・作成したモデルからプロトタイプを生成するときに,プルダウンメニューの更新を行うようにした. 2 years ago