diff options
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.partialmodel | 64 |
1 files changed, 25 insertions, 39 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 index 326d09ce..9f14379f 100644 --- 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 | |||
@@ -1,5 +1,5 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | 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" maxNewElements="10"> | 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="outputs/debug/generation.logicproblem#/"/> | 3 | <problem href="outputs/debug/generation.logicproblem#/"/> |
4 | <partialrelationinterpretation> | 4 | <partialrelationinterpretation> |
5 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.0"/> | 5 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.0"/> |
@@ -38,16 +38,6 @@ | |||
38 | <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.4/@parameters.0"/> | 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"/> | 39 | <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.4/@parameters.1"/> |
40 | </partialrelationinterpretation> | 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 | <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/> | 41 | <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/> |
52 | <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/> | 42 | <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/> |
53 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/> | 43 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/> |
@@ -70,7 +60,7 @@ | |||
70 | <elements href="outputs/debug/generation.logicproblem#//@elements.1"/> | 60 | <elements href="outputs/debug/generation.logicproblem#//@elements.1"/> |
71 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.3"/> | 61 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.3"/> |
72 | </partialtypeinterpratation> | 62 | </partialtypeinterpratation> |
73 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.6 //@partialtypeinterpratation.22"> | 63 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.6 //@partialtypeinterpratation.21"> |
74 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.4"/> | 64 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.4"/> |
75 | </partialtypeinterpratation> | 65 | </partialtypeinterpratation> |
76 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5"> | 66 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5"> |
@@ -81,55 +71,52 @@ | |||
81 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.6"> | 71 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.6"> |
82 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.6"/> | 72 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.6"/> |
83 | </partialtypeinterpratation> | 73 | </partialtypeinterpratation> |
84 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7"> | 74 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7" supertypeInterpretation="//@partialtypeinterpratation.10"> |
85 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.7"/> | 75 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.7"/> |
86 | </partialtypeinterpratation> | 76 | </partialtypeinterpratation> |
87 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8" supertypeInterpretation="//@partialtypeinterpratation.11"> | 77 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8" supertypeInterpretation="//@partialtypeinterpratation.15 //@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.21"> |
88 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.8"/> | 78 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.8"/> |
89 | </partialtypeinterpratation> | 79 | </partialtypeinterpratation> |
90 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.9" supertypeInterpretation="//@partialtypeinterpratation.16 //@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.22"> | 80 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.9" supertypeInterpretation="//@partialtypeinterpratation.15 //@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.21"> |
91 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.9"/> | 81 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.9"/> |
92 | </partialtypeinterpratation> | 82 | </partialtypeinterpratation> |
93 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.10" supertypeInterpretation="//@partialtypeinterpratation.16 //@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.22"> | 83 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.10" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.21"> |
94 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.10"/> | 84 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.10"/> |
95 | </partialtypeinterpratation> | 85 | </partialtypeinterpratation> |
96 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.22"> | 86 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.21"> |
97 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.11"/> | 87 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.11"/> |
98 | </partialtypeinterpratation> | 88 | </partialtypeinterpratation> |
99 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.6 //@partialtypeinterpratation.22"> | 89 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.23"> |
100 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.12"/> | 90 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.12"/> |
101 | </partialtypeinterpratation> | 91 | </partialtypeinterpratation> |
102 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.13" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.24"> | 92 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.13" supertypeInterpretation="//@partialtypeinterpratation.9"> |
93 | <elements href="outputs/debug/generation.logicproblem#//@elements.2"/> | ||
103 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.13"/> | 94 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.13"/> |
104 | </partialtypeinterpratation> | 95 | </partialtypeinterpratation> |
105 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.14" supertypeInterpretation="//@partialtypeinterpratation.9"> | 96 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.14" supertypeInterpretation="//@partialtypeinterpratation.9"> |
106 | <elements href="outputs/debug/generation.logicproblem#//@elements.2"/> | ||
107 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.14"/> | ||
108 | </partialtypeinterpratation> | ||
109 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.15" supertypeInterpretation="//@partialtypeinterpratation.9"> | ||
110 | <elements href="outputs/debug/generation.logicproblem#//@elements.3"/> | 97 | <elements href="outputs/debug/generation.logicproblem#//@elements.3"/> |
111 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.15"/> | 98 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.14"/> |
112 | </partialtypeinterpratation> | 99 | </partialtypeinterpratation> |
113 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.16" supertypeInterpretation="//@partialtypeinterpratation.4"> | 100 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.15" supertypeInterpretation="//@partialtypeinterpratation.4"> |
114 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.17"/> | 101 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.16"/> |
115 | </partialtypeinterpratation> | 102 | </partialtypeinterpratation> |
116 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.17" supertypeInterpretation="//@partialtypeinterpratation.5 //@partialtypeinterpratation.4 //@partialtypeinterpratation.20"> | 103 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.16" supertypeInterpretation="//@partialtypeinterpratation.5 //@partialtypeinterpratation.4 //@partialtypeinterpratation.19"> |
117 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.19"/> | 104 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.18"/> |
118 | </partialtypeinterpratation> | 105 | </partialtypeinterpratation> |
119 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.18" supertypeInterpretation="//@partialtypeinterpratation.6"> | 106 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.17" supertypeInterpretation="//@partialtypeinterpratation.6"> |
120 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.21"/> | 107 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.20"/> |
121 | </partialtypeinterpratation> | 108 | </partialtypeinterpratation> |
122 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.19" supertypeInterpretation="//@partialtypeinterpratation.7 //@partialtypeinterpratation.6 //@partialtypeinterpratation.22"> | 109 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.18" supertypeInterpretation="//@partialtypeinterpratation.7 //@partialtypeinterpratation.6 //@partialtypeinterpratation.21"> |
123 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.23"/> | 110 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.22"/> |
124 | </partialtypeinterpratation> | 111 | </partialtypeinterpratation> |
125 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.20" supertypeInterpretation="//@partialtypeinterpratation.9"> | 112 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.19" supertypeInterpretation="//@partialtypeinterpratation.9"> |
126 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.25"/> | 113 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.24"/> |
127 | </partialtypeinterpratation> | 114 | </partialtypeinterpratation> |
128 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.21" supertypeInterpretation="//@partialtypeinterpratation.18 //@partialtypeinterpratation.9 //@partialtypeinterpratation.24"> | 115 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.20" supertypeInterpretation="//@partialtypeinterpratation.17 //@partialtypeinterpratation.9 //@partialtypeinterpratation.23"> |
129 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.27"/> | 116 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.26"/> |
130 | </partialtypeinterpratation> | 117 | </partialtypeinterpratation> |
131 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.22" supertypeInterpretation="//@partialtypeinterpratation.19 //@partialtypeinterpratation.9 //@partialtypeinterpratation.24"> | 118 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.21" supertypeInterpretation="//@partialtypeinterpratation.18 //@partialtypeinterpratation.9 //@partialtypeinterpratation.23"> |
132 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.29"/> | 119 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.28"/> |
133 | </partialtypeinterpratation> | 120 | </partialtypeinterpratation> |
134 | <openWorldElements xsi:type="partialinterpretation:IntegerElement" name="New Integers"/> | 121 | <openWorldElements xsi:type="partialinterpretation:IntegerElement" name="New Integers"/> |
135 | <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/> | 122 | <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/> |
@@ -157,5 +144,4 @@ | |||
157 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.23"/> | 144 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.23"/> |
158 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.24"/> | 145 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.24"/> |
159 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.25"/> | 146 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.25"/> |
160 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.26"/> | ||
161 | </partialinterpretation:PartialInterpretation> | 147 | </partialinterpretation:PartialInterpretation> |