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