diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/init.partialmodel')
| -rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/init.partialmodel | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/init.partialmodel b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/init.partialmodel deleted file mode 100644 index df908518..00000000 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/init.partialmodel +++ /dev/null | |||
| @@ -1,51 +0,0 @@ | |||
| 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"> | ||
| 3 | <problem href="outputs/debug/generation.logicproblem#/"/> | ||
| 4 | <partialrelationinterpretation> | ||
| 5 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.0"/> | ||
| 6 | <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.0/@parameters.0"/> | ||
| 7 | <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.0/@parameters.1"/> | ||
| 8 | </partialrelationinterpretation> | ||
| 9 | <partialrelationinterpretation> | ||
| 10 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.1"/> | ||
| 11 | <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.1/@parameters.0"/> | ||
| 12 | <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.1/@parameters.1"/> | ||
| 13 | </partialrelationinterpretation> | ||
| 14 | <partialrelationinterpretation> | ||
| 15 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.2"/> | ||
| 16 | <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.2/@parameters.0"/> | ||
| 17 | <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.2/@parameters.1"/> | ||
| 18 | </partialrelationinterpretation> | ||
| 19 | <partialrelationinterpretation> | ||
| 20 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.3"/> | ||
| 21 | <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.3/@parameters.0"/> | ||
| 22 | <param2 xsi:type="language:StringTypeReference" href="outputs/debug/generation.logicproblem#//@relations.3/@parameters.1"/> | ||
| 23 | </partialrelationinterpretation> | ||
| 24 | <partialrelationinterpretation> | ||
| 25 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.4"/> | ||
| 26 | <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.4/@parameters.0"/> | ||
| 27 | <param2 xsi:type="language:IntTypeReference" href="outputs/debug/generation.logicproblem#//@relations.4/@parameters.1"/> | ||
| 28 | </partialrelationinterpretation> | ||
| 29 | <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/> | ||
| 30 | <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/> | ||
| 31 | <newElements xsi:type="partialinterpretation:IntegerElement" name="1" valueSet="true" value="1"/> | ||
| 32 | <newElements xsi:type="partialinterpretation:IntegerElement" name="2" valueSet="true" value="2"/> | ||
| 33 | <newElements xsi:type="partialinterpretation:IntegerElement" name="3" valueSet="true" value="3"/> | ||
| 34 | <newElements xsi:type="partialinterpretation:IntegerElement" name="4" valueSet="true" value="4"/> | ||
| 35 | <newElements xsi:type="partialinterpretation:IntegerElement" name="5" valueSet="true" value="5"/> | ||
| 36 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/> | ||
| 37 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation" elements="//@newElements.2 //@newElements.3 //@newElements.4 //@newElements.5 //@newElements.6"/> | ||
| 38 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@openWorldElements.0"/> | ||
| 39 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.1"/> | ||
| 40 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.0"> | ||
| 41 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.0"/> | ||
| 42 | </partialtypeinterpratation> | ||
| 43 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1"> | ||
| 44 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.1"/> | ||
| 45 | </partialtypeinterpratation> | ||
| 46 | <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/> | ||
| 47 | <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/> | ||
| 48 | <openWorldElements name="New Objects"/> | ||
| 49 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.4"/> | ||
| 50 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.5"/> | ||
| 51 | </partialinterpretation:PartialInterpretation> | ||