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