AlgebraicDataflowArchitectureModel / AlgebraicDataflowArchitectureModel / src / models / algebra /
..
Constant.java 多相性を持った関数を定義できるようにした. 10 months 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 シミュレータ機能の修正 3 months ago
Term.java シミュレーション機能で,UI画面を表示するウィンドウを表示するようにした. 3 months ago
Type.java Jsonオブジェクトの生成文をインスタンスの生成文に置き換えるのに失敗している場合があったので修正. 1 year ago
UnificationFailed.java 代数処理系を別パッケージに分けた。 4 years ago
ValueUndefined.java 代数処理系を別パッケージに分けた。 4 years ago
Variable.java ・作成したモデルからプロトタイプを生成するときに,プルダウンメニューの更新を行うようにした. 2 years ago