代数処理系を追加
1 parent 099e779 commit 3331323c26f3ab070cae625772659b24b84c8431
n-nittta authored on 9 Mar 2020
Showing 44 changed files
View
AlgebraicDataflowArchitectureModel/.settings/org.eclipse.jdt.core.prefs
View
AlgebraicDataflowArchitectureModel/models/POS.model 0 → 100644
View
AlgebraicDataflowArchitectureModel/models/POS2.model 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelGenerator.java
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelMember.java
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Constant.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Expression.java
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/FutureWorkException.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/IdentifierTemplate.java
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/InvalidMessage.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ParameterizedIdentifierIsFutureWork.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Position.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransition.java
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Symbol.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Term.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/UnificationFailed.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ValueUndefined.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Variable.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataFlowModel.java
View
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataflowChannelGenerator.java
View
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/ResolvingMultipleDefinitionIsFutureWork.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/ResourceDependency.java
View
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/ResourceNode.java
View
AlgebraicDataflowArchitectureModel/src/parser/ExpectedChannel.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/parser/ExpectedChannelName.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/parser/ExpectedEquals.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/parser/ExpectedInOrOutKeyword.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/parser/ExpectedLeftCurlyBracket.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/parser/ExpectedRHSExpression.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/parser/ExpectedRightBracket.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/parser/ExpectedStateTransition.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/parser/ParseException.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/parser/Parser.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/parser/WrongLHSExpression.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/parser/WrongRHSExpression.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/tests/DataConstraintModelTest.java
View
AlgebraicDataflowArchitectureModel/src/tests/DataFlowModelTest.java
View
AlgebraicDataflowArchitectureModel/src/tests/InverseTest.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/tests/ParseTest.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/tests/SimplifiedDataFlowModelTest.java
View
AlgebraicDataflowArchitectureModel/src/tests/TermTest.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/tests/UpdateCodeGenerationTest.java 0 → 100644
View
AlgebraicDataflowArchitectureModel/src/tests/UpdateConflictCheckTest.java