diff --git a/src/test/resources/de/hhu/stups/codegenerator/Lambda2Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/Lambda2Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..0c44946464fde106f881bf8b4174af9e062d4e34 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/Lambda2Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + _lambda = Lambda2() + _lambda.calculate() + print(_lambda.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/LambdaAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/LambdaAddition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..429f6fc9926e9fb945e28295770b93c4164f1540 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/LambdaAddition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + _lambda = Lambda() + _lambda.calculate() + print(_lambda.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/LetExpressionAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/LetExpressionAddition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..b8a4dbe6adab3231398c5660702e048ef457cad8 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/LetExpressionAddition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + let = LetExpression() + let.calculate() + print(let.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/LetPredicateAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/LetPredicateAddition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..e74e9947f34991af78d41a3553a5b75e82b534d7 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/LetPredicateAddition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + let = LetPredicate() + let.calculate() + print(let.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/LetSubstitutionAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/LetSubstitutionAddition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..8794b1c8a0d351dacf30355fda219c30f707c714 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/LetSubstitutionAddition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + let = LetSubstitution() + let.calculate() + print(let.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression1Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression1Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..b9b7b39058b89071d9854d3df6762f3c6f5e4e2f --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression1Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + expression = QuantifiedExpression1() + expression.calculate(); + print(expression.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression2Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression2Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..1ad5e83da418333e6e7033a0d709d617fbbb5237 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression2Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + expression = QuantifiedExpression2() + expression.calculate() + print(expression.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression3Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression3Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..215e7a62f6f7b6d299e9bf693c6d8f6eec73058d --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression3Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + expression = QuantifiedExpression3() + expression.calculate() + print(expression.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression4Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression4Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..5393870c1c0b87e3d15385ee801e0fcfdec78974 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression4Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + expression = QuantifiedExpression4() + expression.calculate() + print(expression.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression5Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression5Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..94a951687f18a9abfcdb9215988c2d167ba2d113 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedExpression5Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + expression = QuantifiedExpression5() + expression.calculate() + print(expression.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate2Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate2Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..a0df27b6bdf297122c56fef2dad54f2cd0398cc0 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate2Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + predicate = QuantifiedPredicate2() + predicate.calculate() + print(predicate.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate3Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate3Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..0150066329cb4091a26516121b1593b8b2a0c534 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate3Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + predicate = QuantifiedPredicate3() + predicate.calculate() + print(predicate.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate4Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate4Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..397906bdac635731860aa5a1ddc80c7e4a835cc1 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate4Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + predicate = QuantifiedPredicate4() + predicate.calculate() + print(predicate.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate5Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate5Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..dab9e083f52a92994646a9795537b9fe911ae5c2 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate5Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + predicate = QuantifiedPredicate5() + predicate.calculate() + print(predicate.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate6Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate6Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..f36c633004686fe9e74c4c4739c2b46a4e36fc95 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate6Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + predicate = QuantifiedPredicate6() + predicate.calculate() + print(predicate.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate7Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate7Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..3f8ee32a6198a00be285e1ad7aa6033698ad835a --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicate7Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + predicate = QuantifiedPredicate7() + predicate.calculate() + print(predicate.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicateAddition.stpy b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicateAddition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..0544c27436f1b347b60dd881db6419cac4ced3fc --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/QuantifiedPredicateAddition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + predicate = QuantifiedPredicate() + predicate.calculate() + print(predicate.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension1Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension1Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..2ad0406d762d6eb282ae02d083889235fddbea6d --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension1Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + set = SetComprehension1() + set.calculate() + print(set.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension2Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension2Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..bae1a6d6b86e49eacdf772c990a56df3effdce45 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension2Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + set = SetComprehension2() + set.calculate() + print(set.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension3Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension3Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..f4ae8c491e640a14ed52a35b2bbb631d172931ab --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension3Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + set = SetComprehension3() + set.calculate() + print(set.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension4Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension4Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..db321f4cc0e13fe819320b20df10a0acd21df52c --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension4Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + set = SetComprehension4() + set.calculate() + print(set.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension5Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension5Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..b51652684c72ac203b8ecfbc8b70ef60f55628a9 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension5Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + set = SetComprehension5() + set.calculate() + print(set.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension6Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension6Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..e255117888ba2647e032b3975fae7c58794cc3fd --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension6Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + set = SetComprehension6() + set.calculate() + print(set.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension7Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension7Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..05ca7ee90c9503c30d9264a6c6c25ba0280f07a7 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension7Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + set = SetComprehension7() + set.calculate() + print(set.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension8Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension8Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..b631c3e1703f0c5fd9c7f9661cd86ad357783b89 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension8Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + set = SetComprehension8() + set.calculate() + print(set.getRes()) \ No newline at end of file diff --git a/src/test/resources/de/hhu/stups/codegenerator/SetComprehension9Addition.stpy b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension9Addition.stpy new file mode 100644 index 0000000000000000000000000000000000000000..daf215d0202d737270d27056d0f0b89a2be92fd6 --- /dev/null +++ b/src/test/resources/de/hhu/stups/codegenerator/SetComprehension9Addition.stpy @@ -0,0 +1,4 @@ +if __name__ == '__main__': + set = SetComprehension9() + set.calculate() + print(set.getRes()) \ No newline at end of file