aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/init.partialmodel
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-02-15 12:42:15 -0500
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-02-15 12:42:15 -0500
commitf1d9a50a3be2bfabc6091d51e120ca63ac1ab2d4 (patch)
tree90b96d89d5e6f7f4e6c15b06d34851753350e35d /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/init.partialmodel
parentFix FAM Test. Begin Grammar Fix. (diff)
downloadVIATRA-Generator-f1d9a50a3be2bfabc6091d51e120ca63ac1ab2d4.tar.gz
VIATRA-Generator-f1d9a50a3be2bfabc6091d51e120ca63ac1ab2d4.tar.zst
VIATRA-Generator-f1d9a50a3be2bfabc6091d51e120ca63ac1ab2d4.zip
Set up #19
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.partialmodel106
1 files changed, 106 insertions, 0 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
new file mode 100644
index 00000000..ead2b44e
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/init.partialmodel
@@ -0,0 +1,106 @@
1<?xml version="1.0" encoding="ASCII"?>
2<partialinterpretation:PartialInterpretation xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partialinterpretation="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" minNewElements="4" maxNewElements="4">
3 <problem href="generation.logicproblem#/"/>
4 <partialrelationinterpretation>
5 <interpretationOf href="generation.logicproblem#//@relations.0"/>
6 <param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.0/@parameters.0"/>
7 <param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.0/@parameters.1"/>
8 </partialrelationinterpretation>
9 <partialrelationinterpretation>
10 <interpretationOf href="generation.logicproblem#//@relations.1"/>
11 <param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.1/@parameters.0"/>
12 <param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.1/@parameters.1"/>
13 </partialrelationinterpretation>
14 <partialrelationinterpretation>
15 <interpretationOf href="generation.logicproblem#//@relations.2"/>
16 <param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.2/@parameters.0"/>
17 <param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.2/@parameters.1"/>
18 </partialrelationinterpretation>
19 <partialrelationinterpretation>
20 <interpretationOf href="generation.logicproblem#//@relations.3"/>
21 <param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.3/@parameters.0"/>
22 <param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.3/@parameters.1"/>
23 </partialrelationinterpretation>
24 <partialrelationinterpretation>
25 <interpretationOf href="generation.logicproblem#//@relations.4"/>
26 <param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.4/@parameters.0"/>
27 <param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.4/@parameters.1"/>
28 </partialrelationinterpretation>
29 <partialrelationinterpretation>
30 <interpretationOf href="generation.logicproblem#//@relations.5"/>
31 <param1 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.5/@parameters.0"/>
32 <param2 xsi:type="language:ComplexTypeReference" href="generation.logicproblem#//@relations.5/@parameters.1"/>
33 </partialrelationinterpretation>
34 <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/>
35 <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/>
36 <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/>
37 <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation" elements="//@openWorldElements.0"/>
38 <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@openWorldElements.1"/>
39 <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.2"/>
40 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.0" supertypeInterpretation="//@partialtypeinterpratation.5">
41 <interpretationOf href="generation.logicproblem#//@types.0"/>
42 </partialtypeinterpratation>
43 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1">
44 <interpretationOf href="generation.logicproblem#//@types.1"/>
45 </partialtypeinterpratation>
46 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2">
47 <interpretationOf href="generation.logicproblem#//@types.2"/>
48 </partialtypeinterpratation>
49 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.3">
50 <interpretationOf href="generation.logicproblem#//@types.3"/>
51 </partialtypeinterpratation>
52 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.13">
53 <elements href="generation.logicproblem#//@elements.0"/>
54 <interpretationOf href="generation.logicproblem#//@types.4"/>
55 </partialtypeinterpratation>
56 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5" supertypeInterpretation="//@partialtypeinterpratation.4 //@partialtypeinterpratation.5">
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"/>
61 </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"/>
88 <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/>
89 <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/>
90 <openWorldElements name="New Objects"/>
91 <scopes targetTypeInterpretation="//@partialtypeinterpratation.4"/>
92 <scopes targetTypeInterpretation="//@partialtypeinterpratation.5"/>
93 <scopes targetTypeInterpretation="//@partialtypeinterpratation.6"/>
94 <scopes targetTypeInterpretation="//@partialtypeinterpratation.7"/>
95 <scopes targetTypeInterpretation="//@partialtypeinterpratation.8"/>
96 <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>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-25 08:10:00 +0000