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.partialmodel161
1 files changed, 161 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..e458c179
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.satellite/outputs/debug/init.partialmodel
@@ -0,0 +1,161 @@
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="5" maxNewElements="10">
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.6"/>
8 <param2 href="outputs/debug/generation.logicproblem#//@elements.7"/>
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.7"/>
22 <param2 href="outputs/debug/generation.logicproblem#//@elements.8"/>
23 </relationlinks>
24 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
25 <param1 href="outputs/debug/generation.logicproblem#//@elements.7"/>
26 <param2 href="outputs/debug/generation.logicproblem#//@elements.9"/>
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 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
54 <param1 href="outputs/debug/generation.logicproblem#//@elements.8"/>
55 <param2 href="outputs/debug/generation.logicproblem#//@elements.1"/>
56 </relationlinks>
57 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
58 <param1 href="outputs/debug/generation.logicproblem#//@elements.9"/>
59 <param2 href="outputs/debug/generation.logicproblem#//@elements.2"/>
60 </relationlinks>
61 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.7/@parameters.0"/>
62 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.7/@parameters.1"/>
63 </partialrelationinterpretation>
64 <partialrelationinterpretation>
65 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.8"/>
66 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
67 <param1 href="outputs/debug/generation.logicproblem#//@elements.8"/>
68 <param2 href="outputs/debug/generation.logicproblem#//@elements.4"/>
69 </relationlinks>
70 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
71 <param1 href="outputs/debug/generation.logicproblem#//@elements.9"/>
72 <param2 href="outputs/debug/generation.logicproblem#//@elements.5"/>
73 </relationlinks>
74 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.8/@parameters.0"/>
75 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.8/@parameters.1"/>
76 </partialrelationinterpretation>
77 <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/>
78 <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/>
79 <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/>
80 <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation" elements="//@openWorldElements.0"/>
81 <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@openWorldElements.1"/>
82 <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.2"/>
83 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.0">
84 <elements href="outputs/debug/generation.logicproblem#//@elements.6"/>
85 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.0"/>
86 </partialtypeinterpratation>
87 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1" supertypeInterpretation="//@partialtypeinterpratation.4">
88 <elements href="outputs/debug/generation.logicproblem#//@elements.6"/>
89 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.1"/>
90 </partialtypeinterpratation>
91 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2">
92 <elements href="outputs/debug/generation.logicproblem#//@elements.7"/>
93 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.2"/>
94 </partialtypeinterpratation>
95 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.3" supertypeInterpretation="//@partialtypeinterpratation.6">
96 <elements href="outputs/debug/generation.logicproblem#//@elements.7"/>
97 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.3"/>
98 </partialtypeinterpratation>
99 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.6 //@partialtypeinterpratation.18">
100 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.4"/>
101 </partialtypeinterpratation>
102 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.18">
103 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.5"/>
104 </partialtypeinterpratation>
105 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.6" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.18">
106 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.6"/>
107 </partialtypeinterpratation>
108 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.18">
109 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.7"/>
110 </partialtypeinterpratation>
111 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8">
112 <elements href="outputs/debug/generation.logicproblem#//@elements.8"/>
113 <elements href="outputs/debug/generation.logicproblem#//@elements.9"/>
114 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.8"/>
115 </partialtypeinterpratation>
116 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.9">
117 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.9"/>
118 </partialtypeinterpratation>
119 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.10">
120 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.10"/>
121 </partialtypeinterpratation>
122 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.14">
123 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.11"/>
124 </partialtypeinterpratation>
125 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.4">
126 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.15"/>
127 </partialtypeinterpratation>
128 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.13" supertypeInterpretation="//@partialtypeinterpratation.5 //@partialtypeinterpratation.4 //@partialtypeinterpratation.16">
129 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.17"/>
130 </partialtypeinterpratation>
131 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.14" supertypeInterpretation="//@partialtypeinterpratation.6">
132 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.19"/>
133 </partialtypeinterpratation>
134 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.15" supertypeInterpretation="//@partialtypeinterpratation.7 //@partialtypeinterpratation.6 //@partialtypeinterpratation.18">
135 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.21"/>
136 </partialtypeinterpratation>
137 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.16" supertypeInterpretation="//@partialtypeinterpratation.12">
138 <interpretationOf href="outputs/debug/generation.logicproblem#//@types.23"/>
139 </partialtypeinterpratation>
140 <openWorldElements xsi:type="partialinterpretation:IntegerElement" name="New Integers"/>
141 <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/>
142 <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/>
143 <openWorldElements name="New Objects"/>
144 <scopes targetTypeInterpretation="//@partialtypeinterpratation.4"/>
145 <scopes targetTypeInterpretation="//@partialtypeinterpratation.5"/>
146 <scopes targetTypeInterpretation="//@partialtypeinterpratation.6"/>
147 <scopes targetTypeInterpretation="//@partialtypeinterpratation.7"/>
148 <scopes targetTypeInterpretation="//@partialtypeinterpratation.8"/>
149 <scopes targetTypeInterpretation="//@partialtypeinterpratation.9"/>
150 <scopes targetTypeInterpretation="//@partialtypeinterpratation.10"/>
151 <scopes targetTypeInterpretation="//@partialtypeinterpratation.11"/>
152 <scopes targetTypeInterpretation="//@partialtypeinterpratation.12"/>
153 <scopes targetTypeInterpretation="//@partialtypeinterpratation.13"/>
154 <scopes targetTypeInterpretation="//@partialtypeinterpratation.14"/>
155 <scopes targetTypeInterpretation="//@partialtypeinterpratation.15"/>
156 <scopes targetTypeInterpretation="//@partialtypeinterpratation.16"/>
157 <scopes targetTypeInterpretation="//@partialtypeinterpratation.17"/>
158 <scopes targetTypeInterpretation="//@partialtypeinterpratation.18"/>
159 <scopes targetTypeInterpretation="//@partialtypeinterpratation.19"/>
160 <scopes targetTypeInterpretation="//@partialtypeinterpratation.20"/>
161</partialinterpretation:PartialInterpretation>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-17 07:59:25 +0000