aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem
diff options
context:
space:
mode:
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem277
1 files changed, 206 insertions, 71 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem
index b744bf95..991c88fd 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem
@@ -1,33 +1,23 @@
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"> 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="Pseudostate class" subtypes="//@types.5 //@types.6 //@types.10 //@types.11" supertypes="//@types.1" isAbstract="true"/> 3 <types xsi:type="language_1:TypeDeclaration" name="FileSystem class"/>
4 <types xsi:type="language_1:TypeDeclaration" name="Vertex class" subtypes="//@types.0 //@types.8" isAbstract="true"/> 4 <types xsi:type="language_1:TypeDeclaration" name="FSObject class" subtypes="//@types.2 //@types.3" isAbstract="true"/>
5 <types xsi:type="language_1:TypeDeclaration" name="Region class"/> 5 <types xsi:type="language_1:TypeDeclaration" name="Dir class" supertypes="//@types.1"/>
6 <types xsi:type="language_1:TypeDeclaration" name="Transition class"/> 6 <types xsi:type="language_1:TypeDeclaration" name="File class" supertypes="//@types.1"/>
7 <types xsi:type="language_1:TypeDeclaration" name="Statechart class" subtypes="//@types.13 //@types.14" supertypes="//@types.9" isAbstract="true"/> 7 <types xsi:type="language_1:TypeDeclaration" name="Model class" subtypes="//@types.5 //@types.6" isAbstract="true"/>
8 <types xsi:type="language_1:TypeDeclaration" name="Entry class" supertypes="//@types.0"/> 8 <types xsi:type="language_1:TypeDefinition" name="Model class DefinedPart" supertypes="//@types.4" elements="//@elements.0"/>
9 <types xsi:type="language_1:TypeDeclaration" name="Synchronization class" supertypes="//@types.0"/> 9 <types xsi:type="language_1:TypeDeclaration" name="Model class UndefinedPart" supertypes="//@types.4"/>
10 <types xsi:type="language_1:TypeDeclaration" name="State class" supertypes="//@types.8 //@types.9 //@types.16"/> 10 <assertions name="lowerMultiplicity root FileSystem" annotations="//@annotations.0">
11 <types xsi:type="language_1:TypeDeclaration" name="RegularState class" subtypes="//@types.7 //@types.12" supertypes="//@types.1" isAbstract="true"/>
12 <types xsi:type="language_1:TypeDeclaration" name="CompositeElement class" subtypes="//@types.4 //@types.7 //@types.15 //@types.16" isAbstract="true"/>
13 <types xsi:type="language_1:TypeDeclaration" name="Choice class" supertypes="//@types.0"/>
14 <types xsi:type="language_1:TypeDeclaration" name="Exit class" supertypes="//@types.0"/>
15 <types xsi:type="language_1:TypeDeclaration" name="FinalState class" supertypes="//@types.8"/>
16 <types xsi:type="language_1:TypeDefinition" name="Statechart class DefinedPart" supertypes="//@types.4 //@types.15" elements="//@elements.0"/>
17 <types xsi:type="language_1:TypeDeclaration" name="Statechart class UndefinedPart" supertypes="//@types.4 //@types.16"/>
18 <types xsi:type="language_1:TypeDefinition" name="CompositeElement class DefinedPart" subtypes="//@types.13" supertypes="//@types.9" isAbstract="true" elements="//@elements.0"/>
19 <types xsi:type="language_1:TypeDeclaration" name="CompositeElement class UndefinedPart" subtypes="//@types.14 //@types.7" supertypes="//@types.9" isAbstract="true"/>
20 <assertions name="lowerMultiplicity target Transition" annotations="//@annotations.0">
21 <value xsi:type="language_1:Forall"> 11 <value xsi:type="language_1:Forall">
22 <quantifiedVariables name="src"> 12 <quantifiedVariables name="src">
23 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 13 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
24 </quantifiedVariables> 14 </quantifiedVariables>
25 <expression xsi:type="language_1:Exists"> 15 <expression xsi:type="language_1:Exists">
26 <quantifiedVariables name="trg 1"> 16 <quantifiedVariables name="trg 1">
27 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 17 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
28 </quantifiedVariables> 18 </quantifiedVariables>
29 <expression xsi:type="language_1:And"> 19 <expression xsi:type="language_1:And">
30 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> 20 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
31 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> 21 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/>
32 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@expression/@quantifiedVariables.0"/> 22 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@expression/@quantifiedVariables.0"/>
33 </operands> 23 </operands>
@@ -35,24 +25,24 @@
35 </expression> 25 </expression>
36 </value> 26 </value>
37 </assertions> 27 </assertions>
38 <assertions name="upperMultiplicity target Transition" annotations="//@annotations.1"> 28 <assertions name="upperMultiplicity root FileSystem" annotations="//@annotations.1">
39 <value xsi:type="language_1:Forall"> 29 <value xsi:type="language_1:Forall">
40 <quantifiedVariables name="src"> 30 <quantifiedVariables name="src">
41 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 31 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
42 </quantifiedVariables> 32 </quantifiedVariables>
43 <quantifiedVariables name="trg 1"> 33 <quantifiedVariables name="trg 1">
44 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 34 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
45 </quantifiedVariables> 35 </quantifiedVariables>
46 <quantifiedVariables name="trg 2"> 36 <quantifiedVariables name="trg 2">
47 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 37 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
48 </quantifiedVariables> 38 </quantifiedVariables>
49 <expression xsi:type="language_1:Impl"> 39 <expression xsi:type="language_1:Impl">
50 <leftOperand xsi:type="language_1:And"> 40 <leftOperand xsi:type="language_1:And">
51 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> 41 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
52 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> 42 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/>
53 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> 43 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/>
54 </operands> 44 </operands>
55 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> 45 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
56 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> 46 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/>
57 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/> 47 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/>
58 </operands> 48 </operands>
@@ -66,24 +56,24 @@
66 </expression> 56 </expression>
67 </value> 57 </value>
68 </assertions> 58 </assertions>
69 <assertions name="upperMultiplicity source Transition" annotations="//@annotations.2"> 59 <assertions name="upperMultiplicity parent FSObject" annotations="//@annotations.2">
70 <value xsi:type="language_1:Forall"> 60 <value xsi:type="language_1:Forall">
71 <quantifiedVariables name="src"> 61 <quantifiedVariables name="src">
72 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 62 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
73 </quantifiedVariables> 63 </quantifiedVariables>
74 <quantifiedVariables name="trg 1"> 64 <quantifiedVariables name="trg 1">
75 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 65 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
76 </quantifiedVariables> 66 </quantifiedVariables>
77 <quantifiedVariables name="trg 2"> 67 <quantifiedVariables name="trg 2">
78 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 68 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
79 </quantifiedVariables> 69 </quantifiedVariables>
80 <expression xsi:type="language_1:Impl"> 70 <expression xsi:type="language_1:Impl">
81 <leftOperand xsi:type="language_1:And"> 71 <leftOperand xsi:type="language_1:And">
82 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> 72 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
83 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> 73 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/>
84 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> 74 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/>
85 </operands> 75 </operands>
86 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> 76 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
87 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> 77 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/>
88 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> 78 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/>
89 </operands> 79 </operands>
@@ -97,75 +87,220 @@
97 </expression> 87 </expression>
98 </value> 88 </value>
99 </assertions> 89 </assertions>
100 <assertions name="oppositeReference incomingTransitions Vertex" annotations="//@annotations.3"> 90 <assertions name="lowerMultiplicity filesystems Model" annotations="//@annotations.3">
101 <value xsi:type="language_1:Forall"> 91 <value xsi:type="language_1:Forall">
102 <quantifiedVariables name="src"> 92 <quantifiedVariables name="src">
103 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 93 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
104 </quantifiedVariables> 94 </quantifiedVariables>
105 <quantifiedVariables name="trg"> 95 <expression xsi:type="language_1:Exists">
106 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 96 <quantifiedVariables name="trg 1">
97 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
98 </quantifiedVariables>
99 <expression xsi:type="language_1:And">
100 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
101 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
102 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@expression/@quantifiedVariables.0"/>
103 </operands>
104 </expression>
105 </expression>
106 </value>
107 </assertions>
108 <assertions name="upperMultiplicity filesystems Model" annotations="//@annotations.4">
109 <value xsi:type="language_1:Forall">
110 <quantifiedVariables name="src">
111 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
107 </quantifiedVariables> 112 </quantifiedVariables>
108 <expression xsi:type="language_1:Iff"> 113 <quantifiedVariables name="trg 1">
109 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> 114 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
110 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> 115 </quantifiedVariables>
111 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> 116 <quantifiedVariables name="trg 2">
117 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
118 </quantifiedVariables>
119 <expression xsi:type="language_1:Impl">
120 <leftOperand xsi:type="language_1:And">
121 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
122 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/>
123 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/>
124 </operands>
125 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
126 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/>
127 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/>
128 </operands>
112 </leftOperand> 129 </leftOperand>
113 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> 130 <rightOperand xsi:type="language_1:Not">
114 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> 131 <operand xsi:type="language_1:Distinct">
115 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> 132 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/>
133 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/>
134 </operand>
116 </rightOperand> 135 </rightOperand>
117 </expression> 136 </expression>
118 </value> 137 </value>
119 </assertions> 138 </assertions>
120 <assertions name="oppositeReference outgoingTransitions Vertex" annotations="//@annotations.4"> 139 <assertions name="oppositeReference parent FSObject" annotations="//@annotations.5">
121 <value xsi:type="language_1:Forall"> 140 <value xsi:type="language_1:Forall">
122 <quantifiedVariables name="src"> 141 <quantifiedVariables name="src">
123 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 142 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
124 </quantifiedVariables> 143 </quantifiedVariables>
125 <quantifiedVariables name="trg"> 144 <quantifiedVariables name="trg">
126 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 145 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
127 </quantifiedVariables> 146 </quantifiedVariables>
128 <expression xsi:type="language_1:Iff"> 147 <expression xsi:type="language_1:Iff">
129 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> 148 <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
130 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> 149 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/>
131 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> 150 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/>
132 </leftOperand> 151 </leftOperand>
133 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> 152 <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
134 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> 153 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/>
135 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> 154 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/>
136 </rightOperand> 155 </rightOperand>
137 </expression> 156 </expression>
138 </value> 157 </value>
139 </assertions> 158 </assertions>
140 <relations xsi:type="language_1:RelationDeclaration" name="incomingTransitions reference Vertex"> 159 <assertions name="errorpattern ca mcgill ecse dslreasoner standalone test filesystem queries contentInNotLive" annotations="//@annotations.9">
160 <value xsi:type="language_1:Forall">
161 <quantifiedVariables name="p0">
162 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
163 </quantifiedVariables>
164 <quantifiedVariables name="p1">
165 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
166 </quantifiedVariables>
167 <expression xsi:type="language_1:Not">
168 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8">
169 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/>
170 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/>
171 </operand>
172 </expression>
173 </value>
174 </assertions>
175 <relations xsi:type="language_1:RelationDeclaration" name="root reference FileSystem">
176 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
177 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
178 </relations>
179 <relations xsi:type="language_1:RelationDeclaration" name="live reference FileSystem" annotations="//@annotations.10">
180 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
141 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 181 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
142 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>
143 </relations> 182 </relations>
144 <relations xsi:type="language_1:RelationDeclaration" name="outgoingTransitions reference Vertex"> 183 <relations xsi:type="language_1:RelationDeclaration" name="parent reference FSObject">
145 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 184 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
146 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 185 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
147 </relations> 186 </relations>
148 <relations xsi:type="language_1:RelationDeclaration" name="vertices reference Region"> 187 <relations xsi:type="language_1:RelationDeclaration" name="contents reference Dir">
149 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 188 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
150 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 189 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
151 </relations> 190 </relations>
152 <relations xsi:type="language_1:RelationDeclaration" name="target reference Transition"> 191 <relations xsi:type="language_1:RelationDeclaration" name="filesystems reference Model">
153 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 192 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
193 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
194 </relations>
195 <relations xsi:type="language_1:RelationDeclaration" name="otherFSObjects reference Model">
196 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>
154 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 197 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
155 </relations> 198 </relations>
156 <relations xsi:type="language_1:RelationDeclaration" name="source reference Transition"> 199 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill ecse dslreasoner standalone test filesystem queries patternContent" annotations="//@annotations.6">
157 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> 200 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
158 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> 201 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
202 <variables name="parameter o1">
203 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
204 </variables>
205 <variables name="parameter o2">
206 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
207 </variables>
208 <value xsi:type="language_1:Or">
209 <operands xsi:type="language_1:And">
210 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
211 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.0"/>
212 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6/@variables.1"/>
213 </operands>
214 </operands>
215 </value>
159 </relations> 216 </relations>
160 <relations xsi:type="language_1:RelationDeclaration" name="regions reference CompositeElement"> 217 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill ecse dslreasoner standalone test filesystem queries live" annotations="//@annotations.7" defines="//@relations.1">
161 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> 218 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
219 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
220 <variables name="parameter this">
221 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
222 </variables>
223 <variables name="parameter l">
224 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
225 </variables>
226 <value xsi:type="language_1:Or">
227 <operands xsi:type="language_1:And">
228 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
229 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/>
230 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.1"/>
231 </operands>
232 </operands>
233 <operands xsi:type="language_1:Exists">
234 <quantifiedVariables name="variable root">
235 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
236 </quantifiedVariables>
237 <expression xsi:type="language_1:And">
238 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
239 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@variables.0"/>
240 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7/@value/@operands.1/@quantifiedVariables.0"/>
241 </operands>
242 <operands xsi:type="language_1:TransitiveClosure" relation="//@relations.6"/>
243 </expression>
244 </operands>
245 </value>
246 </relations>
247 <relations xsi:type="language_1:RelationDefinition" name="pattern ca mcgill ecse dslreasoner standalone test filesystem queries contentInNotLive" annotations="//@annotations.8">
162 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> 248 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
249 <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
250 <variables name="parameter parent">
251 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>
252 </variables>
253 <variables name="parameter child">
254 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
255 </variables>
256 <value xsi:type="language_1:Or">
257 <operands xsi:type="language_1:Forall">
258 <quantifiedVariables name="variable 0">
259 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
260 </quantifiedVariables>
261 <expression xsi:type="language_1:And">
262 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
263 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
264 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/>
265 </operands>
266 <operands xsi:type="language_1:Not">
267 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
268 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.0/@quantifiedVariables.0"/>
269 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
270 </operand>
271 </operands>
272 </expression>
273 </operands>
274 <operands xsi:type="language_1:Forall">
275 <quantifiedVariables name="variable 0">
276 <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
277 </quantifiedVariables>
278 <expression xsi:type="language_1:And">
279 <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
280 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.0"/>
281 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/>
282 </operands>
283 <operands xsi:type="language_1:Not">
284 <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">
285 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@value/@operands.1/@quantifiedVariables.0"/>
286 <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8/@variables.1"/>
287 </operand>
288 </operands>
289 </expression>
290 </operands>
291 </value>
163 </relations> 292 </relations>
164 <elements name="o 1" definedInType="//@types.13 //@types.15"/> 293 <elements name="o 1" definedInType="//@types.5"/>
165 <containmentHierarchies typesOrderedInHierarchy="//@types.0 //@types.9 //@types.3 //@types.7 //@types.6 //@types.5 //@types.8 //@types.10 //@types.1 //@types.4 //@types.11 //@types.12 //@types.2 //@types.13 //@types.14 //@types.15 //@types.16" containmentRelations="//@relations.1 //@relations.2 //@relations.5"/> 294 <containmentHierarchies typesOrderedInHierarchy="//@types.4 //@types.3 //@types.1 //@types.0 //@types.2 //@types.5 //@types.6" containmentRelations="//@relations.0 //@relations.3 //@relations.4 //@relations.5"/>
166 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.3" lower="1"/> 295 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" lower="1"/>
167 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.3" upper="1"/> 296 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.0" upper="1"/>
168 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.4" upper="1"/> 297 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.2" upper="1"/>
169 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.3" inverseA="//@relations.0" inverseB="//@relations.3"/> 298 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.3" relation="//@relations.4" lower="1"/>
170 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.4" inverseA="//@relations.1" inverseB="//@relations.4"/> 299 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.4" relation="//@relations.4" upper="1"/>
300 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.5" inverseA="//@relations.2" inverseB="//@relations.3"/>
301 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.6" patternFullyQualifiedName="ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.queries.patternContent"/>
302 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.7" patternFullyQualifiedName="ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.queries.live"/>
303 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.8" patternFullyQualifiedName="ca.mcgill.ecse.dslreasoner.standalone.test.filesystem.queries.contentInNotLive"/>
304 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.6" query="//@annotations.8"/>
305 <annotations xsi:type="viatra2logicannotations:DefinedByDerivedFeature" target="//@relations.1" query="//@annotations.7"/>
171</language:LogicProblem> 306</language:LogicProblem>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 18:53:42 +0000