aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/init.partialmodel
diff options
context:
space:
mode:
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/init.partialmodel')
-rw-r--r--Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/init.partialmodel170
1 files changed, 170 insertions, 0 deletions
diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/init.partialmodel b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/init.partialmodel
new file mode 100644
index 00000000..6589a3ca
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/init.partialmodel
@@ -0,0 +1,170 @@
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="16" maxNewElements="32">
3 <problem href="outputs/debug/generation.logicproblem#/"/>
4 <partialrelationinterpretation>
5 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.0"/>
6 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
7 <param1 href="outputs/debug/generation.logicproblem#//@elements.9"/>
8 <param2 href="outputs/debug/generation.logicproblem#//@elements.10"/>
9 </relationlinks>
10 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.0/@parameters.0"/>
11 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.0/@parameters.1"/>
12 </partialrelationinterpretation>
13 <partialrelationinterpretation>
14 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.1"/>
15 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.1/@parameters.0"/>
16 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.1/@parameters.1"/>
17 </partialrelationinterpretation>
18 <partialrelationinterpretation>
19 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.2"/>
20 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
21 <param1 href="outputs/debug/generation.logicproblem#//@elements.10"/>
22 <param2 href="outputs/debug/generation.logicproblem#//@elements.11"/>
23 </relationlinks>
24 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
25 <param1 href="outputs/debug/generation.logicproblem#//@elements.10"/>
26 <param2 href="outputs/debug/generation.logicproblem#//@elements.12"/>
27 </relationlinks>
28 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.2/@parameters.0"/>
29 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.2/@parameters.1"/>
30 </partialrelationinterpretation>
31 <partialrelationinterpretation>
32 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.3"/>
33 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.3/@parameters.0"/>
34 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.3/@parameters.1"/>
35 </partialrelationinterpretation>
36 <partialrelationinterpretation>
37 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.4"/>
38 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.4/@parameters.0"/>
39 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.4/@parameters.1"/>
40 </partialrelationinterpretation>
41 <partialrelationinterpretation>
42 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.5"/>
43 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.5/@parameters.0"/>
44 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.5/@parameters.1"/>
45 </partialrelationinterpretation>
46 <partialrelationinterpretation>
47 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.6"/>
48 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.6/@parameters.0"/>
49 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.6/@parameters.1"/>
50 </partialrelationinterpretation>
51 <partialrelationinterpretation>
52 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.7"/>
53 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.7/@parameters.0"/>
54 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.7/@parameters.1"/>
55 </partialrelationinterpretation>
56 <partialrelationinterpretation>
57 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.8"/>
58 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
59 <param1 href="outputs/debug/generation.logicproblem#//@elements.11"/>
60 <param2 href="outputs/debug/generation.logicproblem#//@elements.1"/>
61 </relationlinks>
62 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
63 <param1 href="outputs/debug/generation.logicproblem#//@elements.12"/>
64 <param2 href="outputs/debug/generation.logicproblem#//@elements.2"/>
65 </relationlinks>
66 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.8/@parameters.0"/>
67 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.8/@parameters.1"/>
68 </partialrelationinterpretation>
69 <partialrelationinterpretation>
70 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.9"/>
71 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
72 <param1 href="outputs/debug/generation.logicproblem#//@elements.11"/>
73 <param2 href="outputs/debug/generation.logicproblem#//@elements.4"/>
74 </relationlinks>
75 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
76 <param1 href="outputs/debug/generation.logicproblem#//@elements.12"/>
77 <param2 href="outputs/debug/generation.logicproblem#//@elements.5"/>
78 </relationlinks>
79 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.9/@parameters.0"/>
80 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.9/@parameters.1"/>
81 </partialrelationinterpretation>
82 <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/>
83 <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/>
84 <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/>
85 <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation" elements="//@openWorldElements.0"/>
86 <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@openWorldElements.1"/>
87 <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.2"/>
88 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.0">
89 <elements href="outputs/debug/generation.logicproblem#//@elements.9"/>
90 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.0"/>
91 </partialtypeinterpratation>
92 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1" supertypeInterpretation="//@partialtypeinterpratation.4">
93 <elements href="outputs/debug/generation.logicproblem#//@elements.9"/>
94 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.1"/>
95 </partialtypeinterpratation>
96 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2">
97 <elements href="outputs/debug/generation.logicproblem#//@elements.10"/>
98 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.2"/>
99 </partialtypeinterpratation>
100 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.3" supertypeInterpretation="//@partialtypeinterpratation.6">
101 <elements href="outputs/debug/generation.logicproblem#//@elements.10"/>
102 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.3"/>
103 </partialtypeinterpratation>
104 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.6 //@partialtypeinterpratation.19">
105 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.4"/>
106 </partialtypeinterpratation>
107 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5">
108 <elements href="outputs/debug/generation.logicproblem#//@elements.11"/>
109 <elements href="outputs/debug/generation.logicproblem#//@elements.12"/>
110 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.5"/>
111 </partialtypeinterpratation>
112 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.6">
113 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.6"/>
114 </partialtypeinterpratation>
115 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7">
116 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.7"/>
117 </partialtypeinterpratation>
118 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8" supertypeInterpretation="//@partialtypeinterpratation.11">
119 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.8"/>
120 </partialtypeinterpratation>
121 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.9" supertypeInterpretation="//@partialtypeinterpratation.16 //@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.19">
122 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.9"/>
123 </partialtypeinterpratation>
124 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.10" supertypeInterpretation="//@partialtypeinterpratation.16 //@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.19">
125 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.10"/>
126 </partialtypeinterpratation>
127 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.19">
128 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.11"/>
129 </partialtypeinterpratation>
130 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.19">
131 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.12"/>
132 </partialtypeinterpratation>
133 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.13" supertypeInterpretation="//@partialtypeinterpratation.4">
134 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.17"/>
135 </partialtypeinterpratation>
136 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.14" supertypeInterpretation="//@partialtypeinterpratation.5 //@partialtypeinterpratation.4 //@partialtypeinterpratation.17">
137 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.19"/>
138 </partialtypeinterpratation>
139 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.15" supertypeInterpretation="//@partialtypeinterpratation.6">
140 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.21"/>
141 </partialtypeinterpratation>
142 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.16" supertypeInterpretation="//@partialtypeinterpratation.7 //@partialtypeinterpratation.6 //@partialtypeinterpratation.19">
143 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.23"/>
144 </partialtypeinterpratation>
145 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.17" supertypeInterpretation="//@partialtypeinterpratation.9">
146 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.25"/>
147 </partialtypeinterpratation>
148 <openWorldElements xsi:type="partialinterpretation:IntegerElement" name="New Integers"/>
149 <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/>
150 <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/>
151 <openWorldElements name="New Objects"/>
152 <scopes targetTypeInterpretation="//@partialtypeinterpratation.4"/>
153 <scopes targetTypeInterpretation="//@partialtypeinterpratation.5"/>
154 <scopes targetTypeInterpretation="//@partialtypeinterpratation.6"/>
155 <scopes targetTypeInterpretation="//@partialtypeinterpratation.7"/>
156 <scopes targetTypeInterpretation="//@partialtypeinterpratation.8"/>
157 <scopes targetTypeInterpretation="//@partialtypeinterpratation.9"/>
158 <scopes targetTypeInterpretation="//@partialtypeinterpratation.10"/>
159 <scopes targetTypeInterpretation="//@partialtypeinterpratation.11"/>
160 <scopes targetTypeInterpretation="//@partialtypeinterpratation.12"/>
161 <scopes targetTypeInterpretation="//@partialtypeinterpratation.13"/>
162 <scopes targetTypeInterpretation="//@partialtypeinterpratation.14"/>
163 <scopes targetTypeInterpretation="//@partialtypeinterpratation.15"/>
164 <scopes targetTypeInterpretation="//@partialtypeinterpratation.16"/>
165 <scopes targetTypeInterpretation="//@partialtypeinterpratation.17"/>
166 <scopes targetTypeInterpretation="//@partialtypeinterpratation.18"/>
167 <scopes targetTypeInterpretation="//@partialtypeinterpratation.19"/>
168 <scopes targetTypeInterpretation="//@partialtypeinterpratation.20"/>
169 <scopes targetTypeInterpretation="//@partialtypeinterpratation.21"/>
170</partialinterpretation:PartialInterpretation>
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-15 00:47:28 +0000