diff options
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.logicproblem | 171 |
1 files changed, 171 insertions, 0 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 new file mode 100644 index 00000000..b744bf95 --- /dev/null +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/generation.logicproblem | |||
@@ -0,0 +1,171 @@ | |||
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"> | ||
3 | <types xsi:type="language_1:TypeDeclaration" name="Pseudostate class" subtypes="//@types.5 //@types.6 //@types.10 //@types.11" supertypes="//@types.1" isAbstract="true"/> | ||
4 | <types xsi:type="language_1:TypeDeclaration" name="Vertex class" subtypes="//@types.0 //@types.8" isAbstract="true"/> | ||
5 | <types xsi:type="language_1:TypeDeclaration" name="Region class"/> | ||
6 | <types xsi:type="language_1:TypeDeclaration" name="Transition class"/> | ||
7 | <types xsi:type="language_1:TypeDeclaration" name="Statechart class" subtypes="//@types.13 //@types.14" supertypes="//@types.9" isAbstract="true"/> | ||
8 | <types xsi:type="language_1:TypeDeclaration" name="Entry class" supertypes="//@types.0"/> | ||
9 | <types xsi:type="language_1:TypeDeclaration" name="Synchronization class" supertypes="//@types.0"/> | ||
10 | <types xsi:type="language_1:TypeDeclaration" name="State class" supertypes="//@types.8 //@types.9 //@types.16"/> | ||
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"> | ||
22 | <quantifiedVariables name="src"> | ||
23 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
24 | </quantifiedVariables> | ||
25 | <expression xsi:type="language_1:Exists"> | ||
26 | <quantifiedVariables name="trg 1"> | ||
27 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
28 | </quantifiedVariables> | ||
29 | <expression xsi:type="language_1:And"> | ||
30 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
31 | <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"/> | ||
33 | </operands> | ||
34 | </expression> | ||
35 | </expression> | ||
36 | </value> | ||
37 | </assertions> | ||
38 | <assertions name="upperMultiplicity target Transition" annotations="//@annotations.1"> | ||
39 | <value xsi:type="language_1:Forall"> | ||
40 | <quantifiedVariables name="src"> | ||
41 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
42 | </quantifiedVariables> | ||
43 | <quantifiedVariables name="trg 1"> | ||
44 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
45 | </quantifiedVariables> | ||
46 | <quantifiedVariables name="trg 2"> | ||
47 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
48 | </quantifiedVariables> | ||
49 | <expression xsi:type="language_1:Impl"> | ||
50 | <leftOperand xsi:type="language_1:And"> | ||
51 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
52 | <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"/> | ||
54 | </operands> | ||
55 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
56 | <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"/> | ||
58 | </operands> | ||
59 | </leftOperand> | ||
60 | <rightOperand xsi:type="language_1:Not"> | ||
61 | <operand xsi:type="language_1:Distinct"> | ||
62 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | ||
63 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/> | ||
64 | </operand> | ||
65 | </rightOperand> | ||
66 | </expression> | ||
67 | </value> | ||
68 | </assertions> | ||
69 | <assertions name="upperMultiplicity source Transition" annotations="//@annotations.2"> | ||
70 | <value xsi:type="language_1:Forall"> | ||
71 | <quantifiedVariables name="src"> | ||
72 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
73 | </quantifiedVariables> | ||
74 | <quantifiedVariables name="trg 1"> | ||
75 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
76 | </quantifiedVariables> | ||
77 | <quantifiedVariables name="trg 2"> | ||
78 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
79 | </quantifiedVariables> | ||
80 | <expression xsi:type="language_1:Impl"> | ||
81 | <leftOperand xsi:type="language_1:And"> | ||
82 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
83 | <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"/> | ||
85 | </operands> | ||
86 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
87 | <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"/> | ||
89 | </operands> | ||
90 | </leftOperand> | ||
91 | <rightOperand xsi:type="language_1:Not"> | ||
92 | <operand xsi:type="language_1:Distinct"> | ||
93 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> | ||
94 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> | ||
95 | </operand> | ||
96 | </rightOperand> | ||
97 | </expression> | ||
98 | </value> | ||
99 | </assertions> | ||
100 | <assertions name="oppositeReference incomingTransitions Vertex" annotations="//@annotations.3"> | ||
101 | <value xsi:type="language_1:Forall"> | ||
102 | <quantifiedVariables name="src"> | ||
103 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
104 | </quantifiedVariables> | ||
105 | <quantifiedVariables name="trg"> | ||
106 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
107 | </quantifiedVariables> | ||
108 | <expression xsi:type="language_1:Iff"> | ||
109 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
110 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | ||
111 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | ||
112 | </leftOperand> | ||
113 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
114 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | ||
115 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | ||
116 | </rightOperand> | ||
117 | </expression> | ||
118 | </value> | ||
119 | </assertions> | ||
120 | <assertions name="oppositeReference outgoingTransitions Vertex" annotations="//@annotations.4"> | ||
121 | <value xsi:type="language_1:Forall"> | ||
122 | <quantifiedVariables name="src"> | ||
123 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
124 | </quantifiedVariables> | ||
125 | <quantifiedVariables name="trg"> | ||
126 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
127 | </quantifiedVariables> | ||
128 | <expression xsi:type="language_1:Iff"> | ||
129 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> | ||
130 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | ||
131 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> | ||
132 | </leftOperand> | ||
133 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
134 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> | ||
135 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | ||
136 | </rightOperand> | ||
137 | </expression> | ||
138 | </value> | ||
139 | </assertions> | ||
140 | <relations xsi:type="language_1:RelationDeclaration" name="incomingTransitions reference Vertex"> | ||
141 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
142 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
143 | </relations> | ||
144 | <relations xsi:type="language_1:RelationDeclaration" name="outgoingTransitions reference Vertex"> | ||
145 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
146 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
147 | </relations> | ||
148 | <relations xsi:type="language_1:RelationDeclaration" name="vertices reference Region"> | ||
149 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
150 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
151 | </relations> | ||
152 | <relations xsi:type="language_1:RelationDeclaration" name="target reference Transition"> | ||
153 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
154 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
155 | </relations> | ||
156 | <relations xsi:type="language_1:RelationDeclaration" name="source reference Transition"> | ||
157 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
158 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
159 | </relations> | ||
160 | <relations xsi:type="language_1:RelationDeclaration" name="regions reference CompositeElement"> | ||
161 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> | ||
162 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
163 | </relations> | ||
164 | <elements name="o 1" definedInType="//@types.13 //@types.15"/> | ||
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"/> | ||
166 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.3" lower="1"/> | ||
167 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.3" upper="1"/> | ||
168 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.4" upper="1"/> | ||
169 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.3" inverseA="//@relations.0" inverseB="//@relations.3"/> | ||
170 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.4" inverseA="//@relations.1" inverseB="//@relations.4"/> | ||
171 | </language:LogicProblem> | ||