diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-08-28 18:58:37 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-08-28 18:58:37 +0200 |
commit | 4fe7fce97aedbd516109ef81afc33e00112b7b68 (patch) | |
tree | 7eaa7c4e9b31b2a1488e49de48721b4dbad31fae /Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/Modes3Queries.java | |
parent | MoDeS3 unit propagation WIP (diff) | |
download | VIATRA-Generator-4fe7fce97aedbd516109ef81afc33e00112b7b68.tar.gz VIATRA-Generator-4fe7fce97aedbd516109ef81afc33e00112b7b68.tar.zst VIATRA-Generator-4fe7fce97aedbd516109ef81afc33e00112b7b68.zip |
Must unit propagation
Diffstat (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/Modes3Queries.java')
-rw-r--r-- | Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/Modes3Queries.java | 72 |
1 files changed, 25 insertions, 47 deletions
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/Modes3Queries.java b/Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/Modes3Queries.java index 01ec77a1..6e244430 100644 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/Modes3Queries.java +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/Modes3Queries.java | |||
@@ -7,16 +7,14 @@ import modes3.queries.Adjacent; | |||
7 | import modes3.queries.ConnectedTo; | 7 | import modes3.queries.ConnectedTo; |
8 | import modes3.queries.ConnectedToNotSymmetric; | 8 | import modes3.queries.ConnectedToNotSymmetric; |
9 | import modes3.queries.ConnectedToReflexive; | 9 | import modes3.queries.ConnectedToReflexive; |
10 | import modes3.queries.ExtraInputOfTurnout; | 10 | import modes3.queries.InputsOfTurnout; |
11 | import modes3.queries.NoExtraInputOfTurnout; | ||
12 | import modes3.queries.Output; | 11 | import modes3.queries.Output; |
13 | import modes3.queries.OutputReflexive; | 12 | import modes3.queries.OutputReflexive; |
14 | import modes3.queries.Reachable; | 13 | import modes3.queries.Reachable; |
15 | import modes3.queries.TooManyExtraInputsOfTurnout; | 14 | import modes3.queries.TooFewInputsOfTurnout; |
16 | import modes3.queries.TooManyInputsOfSegment; | 15 | import modes3.queries.TooManyInputsOfSegment; |
17 | import modes3.queries.Turnout; | 16 | import modes3.queries.TooManyInputsOfTurnout; |
18 | import modes3.queries.TurnoutConnectedToBothOutputs; | 17 | import modes3.queries.TurnoutConnectedToBothOutputs; |
19 | import modes3.queries.TurnoutInSegments; | ||
20 | import modes3.queries.TurnoutOutput; | 18 | import modes3.queries.TurnoutOutput; |
21 | import modes3.queries.TurnoutOutputsAreSame; | 19 | import modes3.queries.TurnoutOutputsAreSame; |
22 | import modes3.queries.Unreachable; | 20 | import modes3.queries.Unreachable; |
@@ -31,21 +29,19 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | |||
31 | * in order to achieve better performance than one-by-one on-demand matcher initialization. | 29 | * in order to achieve better performance than one-by-one on-demand matcher initialization. |
32 | * | 30 | * |
33 | * <p> From package modes3.queries, the group contains the definition of the following patterns: <ul> | 31 | * <p> From package modes3.queries, the group contains the definition of the following patterns: <ul> |
34 | * <li>turnoutInSegments</li> | ||
35 | * <li>connectedTo</li> | 32 | * <li>connectedTo</li> |
36 | * <li>connectedToNotSymmetric</li> | 33 | * <li>connectedToNotSymmetric</li> |
37 | * <li>connectedToReflexive</li> | 34 | * <li>connectedToReflexive</li> |
38 | * <li>turnoutOutput</li> | 35 | * <li>turnoutOutput</li> |
39 | * <li>outputReflexive</li> | 36 | * <li>outputReflexive</li> |
40 | * <li>turnoutOutputsAreSame</li> | 37 | * <li>turnoutOutputsAreSame</li> |
41 | * <li>turnout</li> | ||
42 | * <li>output</li> | 38 | * <li>output</li> |
43 | * <li>tooManyInputsOfSegment</li> | 39 | * <li>tooManyInputsOfSegment</li> |
44 | * <li>turnoutConnectedToBothOutputs</li> | 40 | * <li>turnoutConnectedToBothOutputs</li> |
45 | * <li>extraInputOfTurnout</li> | ||
46 | * <li>noExtraInputOfTurnout</li> | ||
47 | * <li>tooManyExtraInputsOfTurnout</li> | ||
48 | * <li>adjacent</li> | 41 | * <li>adjacent</li> |
42 | * <li>tooManyInputsOfTurnout</li> | ||
43 | * <li>inputsOfTurnout</li> | ||
44 | * <li>tooFewInputsOfTurnout</li> | ||
49 | * <li>reachable</li> | 45 | * <li>reachable</li> |
50 | * <li>unreachable</li> | 46 | * <li>unreachable</li> |
51 | * </ul> | 47 | * </ul> |
@@ -72,33 +68,23 @@ public final class Modes3Queries extends BaseGeneratedPatternGroup { | |||
72 | private static Modes3Queries INSTANCE; | 68 | private static Modes3Queries INSTANCE; |
73 | 69 | ||
74 | private Modes3Queries() { | 70 | private Modes3Queries() { |
75 | querySpecifications.add(TurnoutInSegments.instance()); | ||
76 | querySpecifications.add(ConnectedTo.instance()); | 71 | querySpecifications.add(ConnectedTo.instance()); |
77 | querySpecifications.add(ConnectedToNotSymmetric.instance()); | 72 | querySpecifications.add(ConnectedToNotSymmetric.instance()); |
78 | querySpecifications.add(ConnectedToReflexive.instance()); | 73 | querySpecifications.add(ConnectedToReflexive.instance()); |
79 | querySpecifications.add(TurnoutOutput.instance()); | 74 | querySpecifications.add(TurnoutOutput.instance()); |
80 | querySpecifications.add(OutputReflexive.instance()); | 75 | querySpecifications.add(OutputReflexive.instance()); |
81 | querySpecifications.add(TurnoutOutputsAreSame.instance()); | 76 | querySpecifications.add(TurnoutOutputsAreSame.instance()); |
82 | querySpecifications.add(Turnout.instance()); | ||
83 | querySpecifications.add(Output.instance()); | 77 | querySpecifications.add(Output.instance()); |
84 | querySpecifications.add(TooManyInputsOfSegment.instance()); | 78 | querySpecifications.add(TooManyInputsOfSegment.instance()); |
85 | querySpecifications.add(TurnoutConnectedToBothOutputs.instance()); | 79 | querySpecifications.add(TurnoutConnectedToBothOutputs.instance()); |
86 | querySpecifications.add(ExtraInputOfTurnout.instance()); | ||
87 | querySpecifications.add(NoExtraInputOfTurnout.instance()); | ||
88 | querySpecifications.add(TooManyExtraInputsOfTurnout.instance()); | ||
89 | querySpecifications.add(Adjacent.instance()); | 80 | querySpecifications.add(Adjacent.instance()); |
81 | querySpecifications.add(TooManyInputsOfTurnout.instance()); | ||
82 | querySpecifications.add(InputsOfTurnout.instance()); | ||
83 | querySpecifications.add(TooFewInputsOfTurnout.instance()); | ||
90 | querySpecifications.add(Reachable.instance()); | 84 | querySpecifications.add(Reachable.instance()); |
91 | querySpecifications.add(Unreachable.instance()); | 85 | querySpecifications.add(Unreachable.instance()); |
92 | } | 86 | } |
93 | 87 | ||
94 | public TurnoutInSegments getTurnoutInSegments() { | ||
95 | return TurnoutInSegments.instance(); | ||
96 | } | ||
97 | |||
98 | public TurnoutInSegments.Matcher getTurnoutInSegments(final ViatraQueryEngine engine) { | ||
99 | return TurnoutInSegments.Matcher.on(engine); | ||
100 | } | ||
101 | |||
102 | public ConnectedTo getConnectedTo() { | 88 | public ConnectedTo getConnectedTo() { |
103 | return ConnectedTo.instance(); | 89 | return ConnectedTo.instance(); |
104 | } | 90 | } |
@@ -147,14 +133,6 @@ public final class Modes3Queries extends BaseGeneratedPatternGroup { | |||
147 | return TurnoutOutputsAreSame.Matcher.on(engine); | 133 | return TurnoutOutputsAreSame.Matcher.on(engine); |
148 | } | 134 | } |
149 | 135 | ||
150 | public Turnout getTurnout() { | ||
151 | return Turnout.instance(); | ||
152 | } | ||
153 | |||
154 | public Turnout.Matcher getTurnout(final ViatraQueryEngine engine) { | ||
155 | return Turnout.Matcher.on(engine); | ||
156 | } | ||
157 | |||
158 | public Output getOutput() { | 136 | public Output getOutput() { |
159 | return Output.instance(); | 137 | return Output.instance(); |
160 | } | 138 | } |
@@ -179,36 +157,36 @@ public final class Modes3Queries extends BaseGeneratedPatternGroup { | |||
179 | return TurnoutConnectedToBothOutputs.Matcher.on(engine); | 157 | return TurnoutConnectedToBothOutputs.Matcher.on(engine); |
180 | } | 158 | } |
181 | 159 | ||
182 | public ExtraInputOfTurnout getExtraInputOfTurnout() { | 160 | public Adjacent getAdjacent() { |
183 | return ExtraInputOfTurnout.instance(); | 161 | return Adjacent.instance(); |
184 | } | 162 | } |
185 | 163 | ||
186 | public ExtraInputOfTurnout.Matcher getExtraInputOfTurnout(final ViatraQueryEngine engine) { | 164 | public Adjacent.Matcher getAdjacent(final ViatraQueryEngine engine) { |
187 | return ExtraInputOfTurnout.Matcher.on(engine); | 165 | return Adjacent.Matcher.on(engine); |
188 | } | 166 | } |
189 | 167 | ||
190 | public NoExtraInputOfTurnout getNoExtraInputOfTurnout() { | 168 | public TooManyInputsOfTurnout getTooManyInputsOfTurnout() { |
191 | return NoExtraInputOfTurnout.instance(); | 169 | return TooManyInputsOfTurnout.instance(); |
192 | } | 170 | } |
193 | 171 | ||
194 | public NoExtraInputOfTurnout.Matcher getNoExtraInputOfTurnout(final ViatraQueryEngine engine) { | 172 | public TooManyInputsOfTurnout.Matcher getTooManyInputsOfTurnout(final ViatraQueryEngine engine) { |
195 | return NoExtraInputOfTurnout.Matcher.on(engine); | 173 | return TooManyInputsOfTurnout.Matcher.on(engine); |
196 | } | 174 | } |
197 | 175 | ||
198 | public TooManyExtraInputsOfTurnout getTooManyExtraInputsOfTurnout() { | 176 | public InputsOfTurnout getInputsOfTurnout() { |
199 | return TooManyExtraInputsOfTurnout.instance(); | 177 | return InputsOfTurnout.instance(); |
200 | } | 178 | } |
201 | 179 | ||
202 | public TooManyExtraInputsOfTurnout.Matcher getTooManyExtraInputsOfTurnout(final ViatraQueryEngine engine) { | 180 | public InputsOfTurnout.Matcher getInputsOfTurnout(final ViatraQueryEngine engine) { |
203 | return TooManyExtraInputsOfTurnout.Matcher.on(engine); | 181 | return InputsOfTurnout.Matcher.on(engine); |
204 | } | 182 | } |
205 | 183 | ||
206 | public Adjacent getAdjacent() { | 184 | public TooFewInputsOfTurnout getTooFewInputsOfTurnout() { |
207 | return Adjacent.instance(); | 185 | return TooFewInputsOfTurnout.instance(); |
208 | } | 186 | } |
209 | 187 | ||
210 | public Adjacent.Matcher getAdjacent(final ViatraQueryEngine engine) { | 188 | public TooFewInputsOfTurnout.Matcher getTooFewInputsOfTurnout(final ViatraQueryEngine engine) { |
211 | return Adjacent.Matcher.on(engine); | 189 | return TooFewInputsOfTurnout.Matcher.on(engine); |
212 | } | 190 | } |
213 | 191 | ||
214 | public Reachable getReachable() { | 192 | public Reachable getReachable() { |