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.partialmodel17
1 files changed, 6 insertions, 11 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 f7827e03..6589a3ca 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" minNewElements="8" maxNewElements="16"> 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#/"/> 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"/>
@@ -55,11 +55,6 @@
55 </partialrelationinterpretation> 55 </partialrelationinterpretation>
56 <partialrelationinterpretation> 56 <partialrelationinterpretation>
57 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.8"/> 57 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.8"/>
58 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.8/@parameters.0"/>
59 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.8/@parameters.1"/>
60 </partialrelationinterpretation>
61 <partialrelationinterpretation>
62 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.9"/>
63 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink"> 58 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
64 <param1 href="outputs/debug/generation.logicproblem#//@elements.11"/> 59 <param1 href="outputs/debug/generation.logicproblem#//@elements.11"/>
65 <param2 href="outputs/debug/generation.logicproblem#//@elements.1"/> 60 <param2 href="outputs/debug/generation.logicproblem#//@elements.1"/>
@@ -68,11 +63,11 @@
68 <param1 href="outputs/debug/generation.logicproblem#//@elements.12"/> 63 <param1 href="outputs/debug/generation.logicproblem#//@elements.12"/>
69 <param2 href="outputs/debug/generation.logicproblem#//@elements.2"/> 64 <param2 href="outputs/debug/generation.logicproblem#//@elements.2"/>
70 </relationlinks> 65 </relationlinks>
71 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.9/@parameters.0"/> 66 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.8/@parameters.0"/>
72 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.9/@parameters.1"/> 67 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.8/@parameters.1"/>
73 </partialrelationinterpretation> 68 </partialrelationinterpretation>
74 <partialrelationinterpretation> 69 <partialrelationinterpretation>
75 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.10"/> 70 <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.9"/>
76 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink"> 71 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink">
77 <param1 href="outputs/debug/generation.logicproblem#//@elements.11"/> 72 <param1 href="outputs/debug/generation.logicproblem#//@elements.11"/>
78 <param2 href="outputs/debug/generation.logicproblem#//@elements.4"/> 73 <param2 href="outputs/debug/generation.logicproblem#//@elements.4"/>
@@ -81,8 +76,8 @@
81 <param1 href="outputs/debug/generation.logicproblem#//@elements.12"/> 76 <param1 href="outputs/debug/generation.logicproblem#//@elements.12"/>
82 <param2 href="outputs/debug/generation.logicproblem#//@elements.5"/> 77 <param2 href="outputs/debug/generation.logicproblem#//@elements.5"/>
83 </relationlinks> 78 </relationlinks>
84 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.10/@parameters.0"/> 79 <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.9/@parameters.0"/>
85 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.10/@parameters.1"/> 80 <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.9/@parameters.1"/>
86 </partialrelationinterpretation> 81 </partialrelationinterpretation>
87 <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/> 82 <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/>
88 <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/> 83 <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/>