diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug')
3 files changed, 407 insertions, 407 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/errors.txt b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/errors.txt index b7eed629..637be9c5 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/errors.txt +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/errors.txt | |||
@@ -1,16 +1,16 @@ | |||
1 | Error occured (NullPointerException): | 1 | Error occured (NullPointerException): |
2 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.PConstraintTransformer.hasValueExpression(PConstraintTransformer.java:487) | 2 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.PConstraintTransformer.hasValueExpression(PConstraintTransformer.java:487) |
3 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.PConstraintTransformer._transformConstraint(PConstraintTransformer.java:614) | 3 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.PConstraintTransformer._transformConstraint(PConstraintTransformer.java:614) |
4 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.PConstraintTransformer.transformConstraint(PConstraintTransformer.java:689) | 4 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.PConstraintTransformer.transformConstraint(PConstraintTransformer.java:689) |
5 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.RelationDefinitionIndexer.transformPattern(RelationDefinitionIndexer.java:169) | 5 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.RelationDefinitionIndexer.transformPattern(RelationDefinitionIndexer.java:169) |
6 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.RelationDefinitionIndexer.generateRelationDefinitions(RelationDefinitionIndexer.java:51) | 6 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.RelationDefinitionIndexer.generateRelationDefinitions(RelationDefinitionIndexer.java:51) |
7 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.PatternGenerator.transformBaseProperties(PatternGenerator.java:747) | 7 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.PatternGenerator.transformBaseProperties(PatternGenerator.java:747) |
8 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.PatternProvider.generateQueries(PatternProvider.java:59) | 8 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.patterns.PatternProvider.generateQueries(PatternProvider.java:59) |
9 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.ModelGenerationMethodProvider.createModelGenerationMethod(ModelGenerationMethodProvider.java:57) | 9 | hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.ModelGenerationMethodProvider.createModelGenerationMethod(ModelGenerationMethodProvider.java:57) |
10 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner.solve(ViatraReasoner.java:96) | 10 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner.solve(ViatraReasoner.java:96) |
11 | hu.bme.mit.inf.dslreasoner.application.execution.GenerationTaskExecutor.executeGenerationTask(GenerationTaskExecutor.java:316) | 11 | hu.bme.mit.inf.dslreasoner.application.execution.GenerationTaskExecutor.executeGenerationTask(GenerationTaskExecutor.java:316) |
12 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor._execute(ScriptExecutor.java:129) | 12 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor._execute(ScriptExecutor.java:129) |
13 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.execute(ScriptExecutor.java:338) | 13 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.execute(ScriptExecutor.java:338) |
14 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.executeScript(ScriptExecutor.java:110) | 14 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.executeScript(ScriptExecutor.java:110) |
15 | hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor.executeScript(StandaloneScriptExecutor.java:149) | 15 | hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor.executeScript(StandaloneScriptExecutor.java:149) |
16 | run.FamilyTreeGen.main(FamilyTreeGen.java:7) | 16 | run.FamilyTreeGen.main(FamilyTreeGen.java:7) |
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem index 327ce8b0..d15360ce 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem | |||
@@ -1,340 +1,340 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | 1 | <?xml version="1.0" encoding="ASCII"?> |
2 | <language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation"> | 2 | <language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation"> |
3 | <types xsi:type="language_1:TypeDeclaration" name="FamilyTree class"/> | 3 | <types xsi:type="language_1:TypeDeclaration" name="FamilyTree class"/> |
4 | <types xsi:type="language_1:TypeDeclaration" name="Member class"/> | 4 | <types xsi:type="language_1:TypeDeclaration" name="Member class"/> |
5 | <assertions name="upperMultiplicity parents Member" annotations="//@annotations.0"> | 5 | <assertions name="upperMultiplicity parents Member" annotations="//@annotations.0"> |
6 | <value xsi:type="language_1:Forall"> | 6 | <value xsi:type="language_1:Forall"> |
7 | <quantifiedVariables name="src"> | 7 | <quantifiedVariables name="src"> |
8 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 8 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
9 | </quantifiedVariables> | 9 | </quantifiedVariables> |
10 | <quantifiedVariables name="trg 1"> | 10 | <quantifiedVariables name="trg 1"> |
11 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 11 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
12 | </quantifiedVariables> | 12 | </quantifiedVariables> |
13 | <quantifiedVariables name="trg 2"> | 13 | <quantifiedVariables name="trg 2"> |
14 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 14 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
15 | </quantifiedVariables> | 15 | </quantifiedVariables> |
16 | <quantifiedVariables name="trg 3"> | 16 | <quantifiedVariables name="trg 3"> |
17 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 17 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
18 | </quantifiedVariables> | 18 | </quantifiedVariables> |
19 | <expression xsi:type="language_1:Impl"> | 19 | <expression xsi:type="language_1:Impl"> |
20 | <leftOperand xsi:type="language_1:And"> | 20 | <leftOperand xsi:type="language_1:And"> |
21 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | 21 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> |
22 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | 22 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> |
23 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/> | 23 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/> |
24 | </operands> | 24 | </operands> |
25 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | 25 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> |
26 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | 26 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> |
27 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/> | 27 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/> |
28 | </operands> | 28 | </operands> |
29 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | 29 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> |
30 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | 30 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> |
31 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.3"/> | 31 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.3"/> |
32 | </operands> | 32 | </operands> |
33 | </leftOperand> | 33 | </leftOperand> |
34 | <rightOperand xsi:type="language_1:Not"> | 34 | <rightOperand xsi:type="language_1:Not"> |
35 | <operand xsi:type="language_1:Distinct"> | 35 | <operand xsi:type="language_1:Distinct"> |
36 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/> | 36 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/> |
37 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/> | 37 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/> |
38 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.3"/> | 38 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.3"/> |
39 | </operand> | 39 | </operand> |
40 | </rightOperand> | 40 | </rightOperand> |
41 | </expression> | 41 | </expression> |
42 | </value> | 42 | </value> |
43 | </assertions> | 43 | </assertions> |
44 | <assertions name="oppositeReference children Member" annotations="//@annotations.1"> | 44 | <assertions name="oppositeReference children Member" annotations="//@annotations.1"> |
45 | <value xsi:type="language_1:Forall"> | 45 | <value xsi:type="language_1:Forall"> |
46 | <quantifiedVariables name="src"> | 46 | <quantifiedVariables name="src"> |
47 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 47 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
48 | </quantifiedVariables> | 48 | </quantifiedVariables> |
49 | <quantifiedVariables name="trg"> | 49 | <quantifiedVariables name="trg"> |
50 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 50 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
51 | </quantifiedVariables> | 51 | </quantifiedVariables> |
52 | <expression xsi:type="language_1:Iff"> | 52 | <expression xsi:type="language_1:Iff"> |
53 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> | 53 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> |
54 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | 54 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> |
55 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | 55 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> |
56 | </leftOperand> | 56 | </leftOperand> |
57 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | 57 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> |
58 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | 58 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> |
59 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | 59 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> |
60 | </rightOperand> | 60 | </rightOperand> |
61 | </expression> | 61 | </expression> |
62 | </value> | 62 | </value> |
63 | </assertions> | 63 | </assertions> |
64 | <assertions name="upperMultiplicity name Member" annotations="//@annotations.2"> | 64 | <assertions name="upperMultiplicity name Member" annotations="//@annotations.2"> |
65 | <value xsi:type="language_1:Forall"> | 65 | <value xsi:type="language_1:Forall"> |
66 | <quantifiedVariables name="src"> | 66 | <quantifiedVariables name="src"> |
67 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 67 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
68 | </quantifiedVariables> | 68 | </quantifiedVariables> |
69 | <quantifiedVariables name="trg 1"> | 69 | <quantifiedVariables name="trg 1"> |
70 | <range xsi:type="language_1:StringTypeReference"/> | 70 | <range xsi:type="language_1:StringTypeReference"/> |
71 | </quantifiedVariables> | 71 | </quantifiedVariables> |
72 | <quantifiedVariables name="trg 2"> | 72 | <quantifiedVariables name="trg 2"> |
73 | <range xsi:type="language_1:StringTypeReference"/> | 73 | <range xsi:type="language_1:StringTypeReference"/> |
74 | </quantifiedVariables> | 74 | </quantifiedVariables> |
75 | <expression xsi:type="language_1:Impl"> | 75 | <expression xsi:type="language_1:Impl"> |
76 | <leftOperand xsi:type="language_1:And"> | 76 | <leftOperand xsi:type="language_1:And"> |
77 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | 77 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> |
78 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | 78 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> |
79 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> | 79 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> |
80 | </operands> | 80 | </operands> |
81 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | 81 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> |
82 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | 82 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> |
83 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> | 83 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> |
84 | </operands> | 84 | </operands> |
85 | </leftOperand> | 85 | </leftOperand> |
86 | <rightOperand xsi:type="language_1:Not"> | 86 | <rightOperand xsi:type="language_1:Not"> |
87 | <operand xsi:type="language_1:Distinct"> | 87 | <operand xsi:type="language_1:Distinct"> |
88 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> | 88 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> |
89 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> | 89 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> |
90 | </operand> | 90 | </operand> |
91 | </rightOperand> | 91 | </rightOperand> |
92 | </expression> | 92 | </expression> |
93 | </value> | 93 | </value> |
94 | </assertions> | 94 | </assertions> |
95 | <assertions name="upperMultiplicity age Member" annotations="//@annotations.3"> | 95 | <assertions name="upperMultiplicity age Member" annotations="//@annotations.3"> |
96 | <value xsi:type="language_1:Forall"> | 96 | <value xsi:type="language_1:Forall"> |
97 | <quantifiedVariables name="src"> | 97 | <quantifiedVariables name="src"> |
98 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 98 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
99 | </quantifiedVariables> | 99 | </quantifiedVariables> |
100 | <quantifiedVariables name="trg 1"> | 100 | <quantifiedVariables name="trg 1"> |
101 | <range xsi:type="language_1:IntTypeReference"/> | 101 | <range xsi:type="language_1:IntTypeReference"/> |
102 | </quantifiedVariables> | 102 | </quantifiedVariables> |
103 | <quantifiedVariables name="trg 2"> | 103 | <quantifiedVariables name="trg 2"> |
104 | <range xsi:type="language_1:IntTypeReference"/> | 104 | <range xsi:type="language_1:IntTypeReference"/> |
105 | </quantifiedVariables> | 105 | </quantifiedVariables> |
106 | <expression xsi:type="language_1:Impl"> | 106 | <expression xsi:type="language_1:Impl"> |
107 | <leftOperand xsi:type="language_1:And"> | 107 | <leftOperand xsi:type="language_1:And"> |
108 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | 108 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> |
109 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | 109 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> |
110 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | 110 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> |
111 | </operands> | 111 | </operands> |
112 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | 112 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> |
113 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | 113 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> |
114 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> | 114 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> |
115 | </operands> | 115 | </operands> |
116 | </leftOperand> | 116 | </leftOperand> |
117 | <rightOperand xsi:type="language_1:Not"> | 117 | <rightOperand xsi:type="language_1:Not"> |
118 | <operand xsi:type="language_1:Distinct"> | 118 | <operand xsi:type="language_1:Distinct"> |
119 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | 119 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> |
120 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> | 120 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> |
121 | </operand> | 121 | </operand> |
122 | </rightOperand> | 122 | </rightOperand> |
123 | </expression> | 123 | </expression> |
124 | </value> | 124 | </value> |
125 | </assertions> | 125 | </assertions> |
126 | <assertions name="errorpattern queries memberIsItsOwnParent" annotations="//@annotations.8"> | 126 | <assertions name="errorpattern queries memberIsItsOwnParent" annotations="//@annotations.8"> |
127 | <value xsi:type="language_1:Forall"> | 127 | <value xsi:type="language_1:Forall"> |
128 | <quantifiedVariables name="p0"> | 128 | <quantifiedVariables name="p0"> |
129 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 129 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
130 | </quantifiedVariables> | 130 | </quantifiedVariables> |
131 | <expression xsi:type="language_1:Not"> | 131 | <expression xsi:type="language_1:Not"> |
132 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> | 132 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> |
133 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | 133 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> |
134 | </operand> | 134 | </operand> |
135 | </expression> | 135 | </expression> |
136 | </value> | 136 | </value> |
137 | </assertions> | 137 | </assertions> |
138 | <assertions name="errorpattern queries twoMembersHaveNoParent" annotations="//@annotations.9"> | 138 | <assertions name="errorpattern queries twoMembersHaveNoParent" annotations="//@annotations.9"> |
139 | <value xsi:type="language_1:Forall"> | 139 | <value xsi:type="language_1:Forall"> |
140 | <quantifiedVariables name="p0"> | 140 | <quantifiedVariables name="p0"> |
141 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 141 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
142 | </quantifiedVariables> | 142 | </quantifiedVariables> |
143 | <quantifiedVariables name="p1"> | 143 | <quantifiedVariables name="p1"> |
144 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 144 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
145 | </quantifiedVariables> | 145 | </quantifiedVariables> |
146 | <expression xsi:type="language_1:Not"> | 146 | <expression xsi:type="language_1:Not"> |
147 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | 147 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> |
148 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> | 148 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> |
149 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/> | 149 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/> |
150 | </operand> | 150 | </operand> |
151 | </expression> | 151 | </expression> |
152 | </value> | 152 | </value> |
153 | </assertions> | 153 | </assertions> |
154 | <assertions name="errorpattern queries parentTooYoung" annotations="//@annotations.10"> | 154 | <assertions name="errorpattern queries parentTooYoung" annotations="//@annotations.10"> |
155 | <value xsi:type="language_1:Forall"> | 155 | <value xsi:type="language_1:Forall"> |
156 | <quantifiedVariables name="p0"> | 156 | <quantifiedVariables name="p0"> |
157 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 157 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
158 | </quantifiedVariables> | 158 | </quantifiedVariables> |
159 | <quantifiedVariables name="p1"> | 159 | <quantifiedVariables name="p1"> |
160 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 160 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
161 | </quantifiedVariables> | 161 | </quantifiedVariables> |
162 | <expression xsi:type="language_1:Not"> | 162 | <expression xsi:type="language_1:Not"> |
163 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> | 163 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> |
164 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/> | 164 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/> |
165 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/> | 165 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/> |
166 | </operand> | 166 | </operand> |
167 | </expression> | 167 | </expression> |
168 | </value> | 168 | </value> |
169 | </assertions> | 169 | </assertions> |
170 | <relations xsi:type="language_1:RelationDeclaration" name="members reference FamilyTree"> | 170 | <relations xsi:type="language_1:RelationDeclaration" name="members reference FamilyTree"> |
171 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | 171 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
172 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 172 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
173 | </relations> | 173 | </relations> |
174 | <relations xsi:type="language_1:RelationDeclaration" name="children reference Member"> | 174 | <relations xsi:type="language_1:RelationDeclaration" name="children reference Member"> |
175 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 175 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
176 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 176 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
177 | </relations> | 177 | </relations> |
178 | <relations xsi:type="language_1:RelationDeclaration" name="parents reference Member"> | 178 | <relations xsi:type="language_1:RelationDeclaration" name="parents reference Member"> |
179 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 179 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
180 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 180 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
181 | </relations> | 181 | </relations> |
182 | <relations xsi:type="language_1:RelationDeclaration" name="name attribute Member"> | 182 | <relations xsi:type="language_1:RelationDeclaration" name="name attribute Member"> |
183 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 183 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
184 | <parameters xsi:type="language_1:StringTypeReference"/> | 184 | <parameters xsi:type="language_1:StringTypeReference"/> |
185 | </relations> | 185 | </relations> |
186 | <relations xsi:type="language_1:RelationDeclaration" name="age attribute Member"> | 186 | <relations xsi:type="language_1:RelationDeclaration" name="age attribute Member"> |
187 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 187 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
188 | <parameters xsi:type="language_1:IntTypeReference"/> | 188 | <parameters xsi:type="language_1:IntTypeReference"/> |
189 | </relations> | 189 | </relations> |
190 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries memberIsItsOwnParent" annotations="//@annotations.4"> | 190 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries memberIsItsOwnParent" annotations="//@annotations.4"> |
191 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 191 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
192 | <variables name="parameter m"> | 192 | <variables name="parameter m"> |
193 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 193 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
194 | </variables> | 194 | </variables> |
195 | <value xsi:type="language_1:Or"> | 195 | <value xsi:type="language_1:Or"> |
196 | <operands xsi:type="language_1:Exists"> | 196 | <operands xsi:type="language_1:Exists"> |
197 | <quantifiedVariables name="variable 0"> | 197 | <quantifiedVariables name="variable 0"> |
198 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | 198 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
199 | </quantifiedVariables> | 199 | </quantifiedVariables> |
200 | <expression xsi:type="language_1:And"> | 200 | <expression xsi:type="language_1:And"> |
201 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | 201 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> |
202 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@value/@operands.0/@quantifiedVariables.0"/> | 202 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@value/@operands.0/@quantifiedVariables.0"/> |
203 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/> | 203 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/> |
204 | </operands> | 204 | </operands> |
205 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | 205 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> |
206 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/> | 206 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/> |
207 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/> | 207 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/> |
208 | </operands> | 208 | </operands> |
209 | </expression> | 209 | </expression> |
210 | </operands> | 210 | </operands> |
211 | </value> | 211 | </value> |
212 | </relations> | 212 | </relations> |
213 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries twoMembersHaveNoParent" annotations="//@annotations.5"> | 213 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries twoMembersHaveNoParent" annotations="//@annotations.5"> |
214 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 214 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
215 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 215 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
216 | <variables name="parameter m1"> | 216 | <variables name="parameter m1"> |
217 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 217 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
218 | </variables> | 218 | </variables> |
219 | <variables name="parameter m2"> | 219 | <variables name="parameter m2"> |
220 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 220 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
221 | </variables> | 221 | </variables> |
222 | <value xsi:type="language_1:Or"> | 222 | <value xsi:type="language_1:Or"> |
223 | <operands xsi:type="language_1:And"> | 223 | <operands xsi:type="language_1:And"> |
224 | <operands xsi:type="language_1:InstanceOf"> | 224 | <operands xsi:type="language_1:InstanceOf"> |
225 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/> | 225 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/> |
226 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 226 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
227 | </operands> | 227 | </operands> |
228 | <operands xsi:type="language_1:InstanceOf"> | 228 | <operands xsi:type="language_1:InstanceOf"> |
229 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/> | 229 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/> |
230 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 230 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
231 | </operands> | 231 | </operands> |
232 | <operands xsi:type="language_1:Not"> | 232 | <operands xsi:type="language_1:Not"> |
233 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | 233 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> |
234 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/> | 234 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/> |
235 | </operand> | 235 | </operand> |
236 | </operands> | 236 | </operands> |
237 | <operands xsi:type="language_1:Not"> | 237 | <operands xsi:type="language_1:Not"> |
238 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> | 238 | <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> |
239 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/> | 239 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/> |
240 | </operand> | 240 | </operand> |
241 | </operands> | 241 | </operands> |
242 | <operands xsi:type="language_1:Distinct"> | 242 | <operands xsi:type="language_1:Distinct"> |
243 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/> | 243 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/> |
244 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/> | 244 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/> |
245 | </operands> | 245 | </operands> |
246 | </operands> | 246 | </operands> |
247 | </value> | 247 | </value> |
248 | </relations> | 248 | </relations> |
249 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries memberHasParent" annotations="//@annotations.6"> | 249 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries memberHasParent" annotations="//@annotations.6"> |
250 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 250 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
251 | <variables name="parameter m"> | 251 | <variables name="parameter m"> |
252 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 252 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
253 | </variables> | 253 | </variables> |
254 | <value xsi:type="language_1:Or"> | 254 | <value xsi:type="language_1:Or"> |
255 | <operands xsi:type="language_1:Exists"> | 255 | <operands xsi:type="language_1:Exists"> |
256 | <quantifiedVariables name="variable 0"> | 256 | <quantifiedVariables name="variable 0"> |
257 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 257 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
258 | </quantifiedVariables> | 258 | </quantifiedVariables> |
259 | <expression xsi:type="language_1:And"> | 259 | <expression xsi:type="language_1:And"> |
260 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | 260 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> |
261 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/> | 261 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/> |
262 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/> | 262 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/> |
263 | </operands> | 263 | </operands> |
264 | <operands xsi:type="language_1:InstanceOf"> | 264 | <operands xsi:type="language_1:InstanceOf"> |
265 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/> | 265 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/> |
266 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 266 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
267 | </operands> | 267 | </operands> |
268 | </expression> | 268 | </expression> |
269 | </operands> | 269 | </operands> |
270 | </value> | 270 | </value> |
271 | </relations> | 271 | </relations> |
272 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries parentTooYoung" annotations="//@annotations.7"> | 272 | <relations xsi:type="language_1:RelationDefinition" name="pattern queries parentTooYoung" annotations="//@annotations.7"> |
273 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 273 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
274 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 274 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
275 | <variables name="parameter m"> | 275 | <variables name="parameter m"> |
276 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 276 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
277 | </variables> | 277 | </variables> |
278 | <variables name="parameter p"> | 278 | <variables name="parameter p"> |
279 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 279 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
280 | </variables> | 280 | </variables> |
281 | <value xsi:type="language_1:Or"> | 281 | <value xsi:type="language_1:Or"> |
282 | <operands xsi:type="language_1:Exists"> | 282 | <operands xsi:type="language_1:Exists"> |
283 | <quantifiedVariables name="variable 0"> | 283 | <quantifiedVariables name="variable 0"> |
284 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | 284 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
285 | </quantifiedVariables> | 285 | </quantifiedVariables> |
286 | <quantifiedVariables name="variable mAge"> | 286 | <quantifiedVariables name="variable mAge"> |
287 | <range xsi:type="language_1:IntTypeReference"/> | 287 | <range xsi:type="language_1:IntTypeReference"/> |
288 | </quantifiedVariables> | 288 | </quantifiedVariables> |
289 | <quantifiedVariables name="variable pAge"> | 289 | <quantifiedVariables name="variable pAge"> |
290 | <range xsi:type="language_1:IntTypeReference"/> | 290 | <range xsi:type="language_1:IntTypeReference"/> |
291 | </quantifiedVariables> | 291 | </quantifiedVariables> |
292 | <expression xsi:type="language_1:And"> | 292 | <expression xsi:type="language_1:And"> |
293 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | 293 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> |
294 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/> | 294 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/> |
295 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> | 295 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> |
296 | </operands> | 296 | </operands> |
297 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | 297 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> |
298 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> | 298 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> |
299 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/> | 299 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/> |
300 | </operands> | 300 | </operands> |
301 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | 301 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> |
302 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> | 302 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/> |
303 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/> | 303 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/> |
304 | </operands> | 304 | </operands> |
305 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | 305 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> |
306 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/> | 306 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/> |
307 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/> | 307 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/> |
308 | </operands> | 308 | </operands> |
309 | <operands xsi:type="language_1:LessOrEqualThan"> | 309 | <operands xsi:type="language_1:LessOrEqualThan"> |
310 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/> | 310 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/> |
311 | <rightOperand xsi:type="language_1:Plus"> | 311 | <rightOperand xsi:type="language_1:Plus"> |
312 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/> | 312 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/> |
313 | <rightOperand xsi:type="language_1:IntLiteral" value="12"/> | 313 | <rightOperand xsi:type="language_1:IntLiteral" value="12"/> |
314 | </rightOperand> | 314 | </rightOperand> |
315 | </operands> | 315 | </operands> |
316 | </expression> | 316 | </expression> |
317 | </operands> | 317 | </operands> |
318 | </value> | 318 | </value> |
319 | </relations> | 319 | </relations> |
320 | <containmentHierarchies typesOrderedInHierarchy="//@types.1 //@types.0" containmentRelations="//@relations.0"/> | 320 | <containmentHierarchies typesOrderedInHierarchy="//@types.0 //@types.1" containmentRelations="//@relations.0"/> |
321 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.2" upper="2"/> | 321 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.2" upper="2"/> |
322 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.1" inverseA="//@relations.1" inverseB="//@relations.2"/> | 322 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.1" inverseA="//@relations.1" inverseB="//@relations.2"/> |
323 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.3" upper="1"/> | 323 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.3" upper="1"/> |
324 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.3" relation="//@relations.4" upper="1"/> | 324 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.3" relation="//@relations.4" upper="1"/> |
325 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.5" patternFullyQualifiedName="queries.memberIsItsOwnParent"> | 325 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.5" patternFullyQualifiedName="queries.memberIsItsOwnParent"> |
326 | <variableTrace targetLogicVariable="//@relations.5/@value/@operands.0/@quantifiedVariables.0"/> | 326 | <variableTrace targetLogicVariable="//@relations.5/@value/@operands.0/@quantifiedVariables.0"/> |
327 | </annotations> | 327 | </annotations> |
328 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.6" patternFullyQualifiedName="queries.twoMembersHaveNoParent"/> | 328 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.6" patternFullyQualifiedName="queries.twoMembersHaveNoParent"/> |
329 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.7" patternFullyQualifiedName="queries.memberHasParent"> | 329 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.7" patternFullyQualifiedName="queries.memberHasParent"> |
330 | <variableTrace targetLogicVariable="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/> | 330 | <variableTrace targetLogicVariable="//@relations.7/@value/@operands.0/@quantifiedVariables.0"/> |
331 | </annotations> | 331 | </annotations> |
332 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.8" patternFullyQualifiedName="queries.parentTooYoung"> | 332 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.8" patternFullyQualifiedName="queries.parentTooYoung"> |
333 | <variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/> | 333 | <variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/> |
334 | <variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/> | 334 | <variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.1"/> |
335 | <variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/> | 335 | <variableTrace targetLogicVariable="//@relations.8/@value/@operands.0/@quantifiedVariables.2"/> |
336 | </annotations> | 336 | </annotations> |
337 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.4" query="//@annotations.4"/> | 337 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.4" query="//@annotations.4"/> |
338 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.5" query="//@annotations.5"/> | 338 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.5" query="//@annotations.5"/> |
339 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.6" query="//@annotations.7"/> | 339 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.6" query="//@annotations.7"/> |
340 | </language:LogicProblem> | 340 | </language:LogicProblem> |
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 index 949d6b64..df908518 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/init.partialmodel +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/init.partialmodel | |||
@@ -1,51 +1,51 @@ | |||
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="6" maxNewElements="6"> |
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"/> |
6 | <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.0/@parameters.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"/> | 7 | <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.0/@parameters.1"/> |
8 | </partialrelationinterpretation> | 8 | </partialrelationinterpretation> |
9 | <partialrelationinterpretation> | 9 | <partialrelationinterpretation> |
10 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.1"/> | 10 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.1"/> |
11 | <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.1/@parameters.0"/> | 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"/> | 12 | <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.1/@parameters.1"/> |
13 | </partialrelationinterpretation> | 13 | </partialrelationinterpretation> |
14 | <partialrelationinterpretation> | 14 | <partialrelationinterpretation> |
15 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.2"/> | 15 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.2"/> |
16 | <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.2/@parameters.0"/> | 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"/> | 17 | <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.2/@parameters.1"/> |
18 | </partialrelationinterpretation> | 18 | </partialrelationinterpretation> |
19 | <partialrelationinterpretation> | 19 | <partialrelationinterpretation> |
20 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.3"/> | 20 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.3"/> |
21 | <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.3/@parameters.0"/> | 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"/> | 22 | <param2 xsi:type="language:StringTypeReference" href="outputs/debug/generation.logicproblem#//@relations.3/@parameters.1"/> |
23 | </partialrelationinterpretation> | 23 | </partialrelationinterpretation> |
24 | <partialrelationinterpretation> | 24 | <partialrelationinterpretation> |
25 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.4"/> | 25 | <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.4"/> |
26 | <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.4/@parameters.0"/> | 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"/> | 27 | <param2 xsi:type="language:IntTypeReference" href="outputs/debug/generation.logicproblem#//@relations.4/@parameters.1"/> |
28 | </partialrelationinterpretation> | 28 | </partialrelationinterpretation> |
29 | <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/> | 29 | <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/> |
30 | <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/> | 30 | <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/> |
31 | <newElements xsi:type="partialinterpretation:IntegerElement" name="1" valueSet="true" value="1"/> | 31 | <newElements xsi:type="partialinterpretation:IntegerElement" name="1" valueSet="true" value="1"/> |
32 | <newElements xsi:type="partialinterpretation:IntegerElement" name="2" valueSet="true" value="2"/> | 32 | <newElements xsi:type="partialinterpretation:IntegerElement" name="2" valueSet="true" value="2"/> |
33 | <newElements xsi:type="partialinterpretation:IntegerElement" name="3" valueSet="true" value="3"/> | 33 | <newElements xsi:type="partialinterpretation:IntegerElement" name="3" valueSet="true" value="3"/> |
34 | <newElements xsi:type="partialinterpretation:IntegerElement" name="4" valueSet="true" value="4"/> | 34 | <newElements xsi:type="partialinterpretation:IntegerElement" name="4" valueSet="true" value="4"/> |
35 | <newElements xsi:type="partialinterpretation:IntegerElement" name="5" valueSet="true" value="5"/> | 35 | <newElements xsi:type="partialinterpretation:IntegerElement" name="5" valueSet="true" value="5"/> |
36 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/> | 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"/> | 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"/> | 38 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@openWorldElements.0"/> |
39 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.1"/> | 39 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.1"/> |
40 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.0"> | 40 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.0"> |
41 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.0"/> | 41 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.0"/> |
42 | </partialtypeinterpratation> | 42 | </partialtypeinterpratation> |
43 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1"> | 43 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1"> |
44 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.1"/> | 44 | <interpretationOf href="outputs/debug/generation.logicproblem#//@types.1"/> |
45 | </partialtypeinterpratation> | 45 | </partialtypeinterpratation> |
46 | <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/> | 46 | <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/> |
47 | <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/> | 47 | <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/> |
48 | <openWorldElements name="New Objects"/> | 48 | <openWorldElements name="New Objects"/> |
49 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.4"/> | 49 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.4"/> |
50 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.5"/> | 50 | <scopes targetTypeInterpretation="//@partialtypeinterpratation.5"/> |
51 | </partialinterpretation:PartialInterpretation> | 51 | </partialinterpretation:PartialInterpretation> |