AlgebraicDataflowArchitectureModel/.settings/org.eclipse.jdt.core.prefs |
---|
AlgebraicDataflowArchitectureModel/models/Kinetics.model 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/models/POS.model 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/models/POS2.model 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/Constant.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/Expression.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/Field.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/FutureWorkException.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/InvalidMessage.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/Parameter.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/ParameterizedIdentifierIsFutureWork.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/Position.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/Symbol.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/Term.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/Type.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/UnificationFailed.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/ValueUndefined.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/algebra/Variable.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelGenerator.java |
---|
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/ChannelMember.java |
---|
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/DataConstraintModel.java |
---|
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/Expression.java 100644 → 0 |
---|
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/IdentifierTemplate.java |
---|
AlgebraicDataflowArchitectureModel/src/models/dataConstraintModel/StateTransition.java |
---|
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataFlowModel.java |
---|
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/DataflowChannelGenerator.java |
---|
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/ResolvingMultipleDefinitionIsFutureWork.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/ResourceDependency.java |
---|
AlgebraicDataflowArchitectureModel/src/models/dataFlowModel/ResourceNode.java |
---|
AlgebraicDataflowArchitectureModel/src/parser/ExpectedChannel.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/parser/ExpectedChannelName.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/parser/ExpectedEquals.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/parser/ExpectedInOrOutKeyword.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/parser/ExpectedLeftCurlyBracket.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/parser/ExpectedRHSExpression.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/parser/ExpectedRightBracket.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/parser/ExpectedStateTransition.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/parser/ParseException.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/parser/Parser.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/parser/WrongLHSExpression.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/parser/WrongRHSExpression.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/tests/DataConstraintModelTest.java |
---|
AlgebraicDataflowArchitectureModel/src/tests/DataFlowModelTest.java |
---|
AlgebraicDataflowArchitectureModel/src/tests/InverseTest.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/tests/ParseTest.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/tests/SimplifiedDataFlowModelTest.java |
---|
AlgebraicDataflowArchitectureModel/src/tests/TermTest.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/tests/UpdateCodeGenerationTest.java 0 → 100644 |
---|
AlgebraicDataflowArchitectureModel/src/tests/UpdateConflictCheckTest.java |
---|