aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/init.partialmodel
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/init.partialmodel')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/init.partialmodel7
1 files changed, 1 insertions, 6 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/init.partialmodel b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/init.partialmodel
index 3f2640d6..55020b90 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/init.partialmodel
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/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="6" maxNewElements="6"> 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="7" maxNewElements="7">
3 <problem href="generation.logicproblem#/"/> 3 <problem href="generation.logicproblem#/"/>
4 <partialrelationinterpretation> 4 <partialrelationinterpretation>
5 <interpretationOf href="generation.logicproblem#//@relations.0"/> 5 <interpretationOf href="generation.logicproblem#//@relations.0"/>
@@ -86,7 +86,6 @@
86 <interpretationOf href="generation.logicproblem#//@types.0"/> 86 <interpretationOf href="generation.logicproblem#//@types.0"/>
87 </partialtypeinterpratation> 87 </partialtypeinterpratation>
88 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1"> 88 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1">
89 <elements href="generation.logicproblem#//@elements.3"/>
90 <interpretationOf href="generation.logicproblem#//@types.1"/> 89 <interpretationOf href="generation.logicproblem#//@types.1"/>
91 </partialtypeinterpratation> 90 </partialtypeinterpratation>
92 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2" supertypeInterpretation="//@partialtypeinterpratation.4"> 91 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2" supertypeInterpretation="//@partialtypeinterpratation.4">
@@ -110,9 +109,6 @@
110 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8"> 109 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8">
111 <interpretationOf href="generation.logicproblem#//@types.8"/> 110 <interpretationOf href="generation.logicproblem#//@types.8"/>
112 </partialtypeinterpratation> 111 </partialtypeinterpratation>
113 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.9" supertypeInterpretation="//@partialtypeinterpratation.5">
114 <interpretationOf href="generation.logicproblem#//@types.11"/>
115 </partialtypeinterpratation>
116 <openWorldElements xsi:type="partialinterpretation:IntegerElement" name="New Integers"/> 112 <openWorldElements xsi:type="partialinterpretation:IntegerElement" name="New Integers"/>
117 <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/> 113 <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/>
118 <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/> 114 <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/>
@@ -126,5 +122,4 @@
126 <scopes targetTypeInterpretation="//@partialtypeinterpratation.10"/> 122 <scopes targetTypeInterpretation="//@partialtypeinterpratation.10"/>
127 <scopes targetTypeInterpretation="//@partialtypeinterpratation.11"/> 123 <scopes targetTypeInterpretation="//@partialtypeinterpratation.11"/>
128 <scopes targetTypeInterpretation="//@partialtypeinterpratation.12"/> 124 <scopes targetTypeInterpretation="//@partialtypeinterpratation.12"/>
129 <scopes targetTypeInterpretation="//@partialtypeinterpratation.13"/>
130</partialinterpretation:PartialInterpretation> 125</partialinterpretation:PartialInterpretation>