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.logicproblem171
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>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-17 19:02:49 +0000