・StateTransition#deriveMessageConstraintFor()
内の処理で、変数に変数を代入する場合を考慮していなかった。
・単一化で代数系上の変数とプログラム上の変数を単一化しようとする場合があったので。プログラム上の変数を Variable ではなく、 Field
と Parameter で表すようにした。
・項中のパラメータ(Parameter)の一覧を取得したかったので、 Expression#getSubterms(Class<T>)
を作った。また、 Expression#getVariables() は、このメソッドを呼ぶようにした。
・力学演算を行うモデルを追加した。
1 parent 1fb72ad commit 47900448c95327be487927fd4ca03085977e7e59
n-nittta authored on 11 Mar 2020
Showing 12 changed files
View
AlgebraicDataflowArchitectureModel/models/Kinetics.model 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/algebra/Constant.java
View
AlgebraicDataflowArchitectureModel/src/models/algebra/Expression.java
View
AlgebraicDataflowArchitectureModel/src/models/algebra/Field.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/algebra/Parameter.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java
View
AlgebraicDataflowArchitectureModel/src/models/algebra/Term.java
View
AlgebraicDataflowArchitectureModel/src/models/algebra/Variable.java
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransition.java
View
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataflowChannelGenerator.java
View
AlgebraicDataflowArchitectureModel/src/tests/ParseTest.java
View
AlgebraicDataflowArchitectureModel/src/tests/UpdateCodeGenerationTest.java