diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/init.partialmodel')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/init.partialmodel | 47 |
1 files changed, 5 insertions, 42 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/init.partialmodel b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/init.partialmodel index ead2b44e..6c0e5571 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/init.partialmodel +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/init.partialmodel | |||
@@ -37,53 +37,25 @@ | |||
37 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation" elements="//@openWorldElements.0"/> | 37 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation" elements="//@openWorldElements.0"/> |
38 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@openWorldElements.1"/> | 38 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@openWorldElements.1"/> |
39 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.2"/> | 39 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.2"/> |
40 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.0" supertypeInterpretation="//@partialtypeinterpratation.5"> | 40 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.0"> |
41 | <interpretationOf href="generation.logicproblem#//@types.0"/> | 41 | <interpretationOf href="generation.logicproblem#//@types.0"/> |
42 | </partialtypeinterpratation> | 42 | </partialtypeinterpratation> |
43 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1"> | 43 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1"> |
44 | <interpretationOf href="generation.logicproblem#//@types.1"/> | 44 | <interpretationOf href="generation.logicproblem#//@types.1"/> |
45 | </partialtypeinterpratation> | 45 | </partialtypeinterpratation> |
46 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2"> | 46 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2" supertypeInterpretation="//@partialtypeinterpratation.5"> |
47 | <interpretationOf href="generation.logicproblem#//@types.2"/> | 47 | <interpretationOf href="generation.logicproblem#//@types.2"/> |
48 | </partialtypeinterpratation> | 48 | </partialtypeinterpratation> |
49 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.3"> | 49 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.3" supertypeInterpretation="//@partialtypeinterpratation.5"> |
50 | <interpretationOf href="generation.logicproblem#//@types.3"/> | 50 | <interpretationOf href="generation.logicproblem#//@types.3"/> |
51 | </partialtypeinterpratation> | 51 | </partialtypeinterpratation> |
52 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.13"> | 52 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4"> |
53 | <elements href="generation.logicproblem#//@elements.0"/> | 53 | <elements href="generation.logicproblem#//@elements.0"/> |
54 | <interpretationOf href="generation.logicproblem#//@types.4"/> | 54 | <interpretationOf href="generation.logicproblem#//@types.4"/> |
55 | </partialtypeinterpratation> | 55 | </partialtypeinterpratation> |
56 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5" supertypeInterpretation="//@partialtypeinterpratation.4 //@partialtypeinterpratation.5"> | 56 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5" supertypeInterpretation="//@partialtypeinterpratation.8"> |
57 | <interpretationOf href="generation.logicproblem#//@types.5"/> | ||
58 | </partialtypeinterpratation> | ||
59 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.6" supertypeInterpretation="//@partialtypeinterpratation.4 //@partialtypeinterpratation.5"> | ||
60 | <interpretationOf href="generation.logicproblem#//@types.6"/> | 57 | <interpretationOf href="generation.logicproblem#//@types.6"/> |
61 | </partialtypeinterpratation> | 58 | </partialtypeinterpratation> |
62 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7" supertypeInterpretation="//@partialtypeinterpratation.12 //@partialtypeinterpratation.5 //@partialtypeinterpratation.13 //@partialtypeinterpratation.18"> | ||
63 | <interpretationOf href="generation.logicproblem#//@types.7"/> | ||
64 | </partialtypeinterpratation> | ||
65 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8" supertypeInterpretation="//@partialtypeinterpratation.5"> | ||
66 | <interpretationOf href="generation.logicproblem#//@types.8"/> | ||
67 | </partialtypeinterpratation> | ||
68 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.9"> | ||
69 | <elements href="generation.logicproblem#//@elements.0"/> | ||
70 | <interpretationOf href="generation.logicproblem#//@types.9"/> | ||
71 | </partialtypeinterpratation> | ||
72 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.10" supertypeInterpretation="//@partialtypeinterpratation.4 //@partialtypeinterpratation.5"> | ||
73 | <interpretationOf href="generation.logicproblem#//@types.10"/> | ||
74 | </partialtypeinterpratation> | ||
75 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.4 //@partialtypeinterpratation.5"> | ||
76 | <interpretationOf href="generation.logicproblem#//@types.11"/> | ||
77 | </partialtypeinterpratation> | ||
78 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.12 //@partialtypeinterpratation.5"> | ||
79 | <interpretationOf href="generation.logicproblem#//@types.12"/> | ||
80 | </partialtypeinterpratation> | ||
81 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.13" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.13 //@partialtypeinterpratation.18"> | ||
82 | <interpretationOf href="generation.logicproblem#//@types.14"/> | ||
83 | </partialtypeinterpratation> | ||
84 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.14" supertypeInterpretation="//@partialtypeinterpratation.13"> | ||
85 | <interpretationOf href="generation.logicproblem#//@types.16"/> | ||
86 | </partialtypeinterpratation> | ||
87 | <openWorldElements xsi:type="partialinterpretation:IntegerElement" name="New Integers"/> | 59 | <openWorldElements xsi:type="partialinterpretation:IntegerElement" name="New Integers"/> |
88 | <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/> | 60 | <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/> |
89 | <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/> | 61 | <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/> |
@@ -94,13 +66,4 @@ | |||
94 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.7"/> | 66 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.7"/> |
95 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.8"/> | 67 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.8"/> |
96 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.9"/> | 68 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.9"/> |
97 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.10"/> | ||
98 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.11"/> | ||
99 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.12"/> | ||
100 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.13"/> | ||
101 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.14"/> | ||
102 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.15"/> | ||
103 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.16"/> | ||
104 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.17"/> | ||
105 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.18"/> | ||
106 | </partialinterpretation:PartialInterpretation> | 69 | </partialinterpretation:PartialInterpretation> |