s

修正中

バグを確認

・入出力チャンネルにしか出現しないリソースを ResourceDependencyGraph にノードとして出力していなかったのを修正。 ...

・フィールドの参照に "this." を付けるように修正。（引数と名前が被る可能性があるため。）
・入力イベント処理メソッド内部のフィールドの更新処理を正しく生成していなかったのを修正。
・モデルファイルを何も読み込んでいないのにコード生成しようとしてヌルポが発生していたのを修正。

修正ミスがあった。

POSとトポロジーが変わるように変更した。

Game.modelの質量の値を初期化し、キャッシュに保存されるように修正。

・メッセージの引数に指定した型を、メッセージのシンボルのシグニチャに反映させるようにした。 ...

・Listの実装型をArrayListにした。
・型情報をきちんとパースするように修正した。（コロンの直後にスペースがあると処理できなかった。）
・consのシグニチャを設定した。

modelファイル中で、リソース状態の型を指定できるようにした。 ...

out payment(p:Int, purchase(x)) == x
のように。

・入出力チャンネルが複数あるようなモデル（同じリソースに対して同一チャンネル内でout側遷移が複数定義されているようなモデル）の修正（CustomerOffice.model）、作成（Game.model）。 ...

・異常系があるようなモデル（上記に加え、非決定的なout側遷移を持つ、単一リソースが複数チャンネルのout側に接続することを許すようなモデル）の作成（Game.model）

loyalty --> points

・顧客リストモデルを追加。 ...

・if関数とeq関数の追加。
・数式の文字列出力と実装出力を分けるようにする。

・StateTransition#deriveMessageConstraintFor() ...

内の処理で、変数に変数を代入する場合を考慮していなかった。
・単一化で代数系上の変数とプログラム上の変数を単一化しようとする場合があったので。プログラム上の変数を Variable ではなく、 Field
と Parameter で表すようにした。
・項中のパラメータ（Parameter）の一覧を取得したかったので、 Expression#getSubterms(Class<T>)
を作った。また、 Expression#getVariables() は、このメソッドを呼ぶようにした。
・力学演算を行うモデルを追加した。

代数処理系を追加