diff options
author | 2020-02-03 15:20:02 -0500 | |
---|---|---|
committer | 2020-06-07 19:44:44 -0400 | |
commit | 8e461ef60f59a2cb57ddca31a0b785c1b046e63a (patch) | |
tree | ff27d80e7fc391a155fe70c0bd46d6da028c4b37 /Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/init.partialmodel | |
parent | VAMPIRE: Further Post-submission updates (diff) | |
download | VIATRA-Generator-8e461ef60f59a2cb57ddca31a0b785c1b046e63a.tar.gz VIATRA-Generator-8e461ef60f59a2cb57ddca31a0b785c1b046e63a.tar.zst VIATRA-Generator-8e461ef60f59a2cb57ddca31a0b785c1b046e63a.zip |
VAMPIRE: last commit
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.partialmodel | 7 |
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> |