diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-11-02 02:02:40 +0100 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-11-02 02:02:40 +0100 |
commit | f06427cd7375551582461f91b3458339a8227f9b (patch) | |
tree | 97bc6ec85f4c384e5080a6611b492caf460b6ce9 /Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/TooManyInputsOfSegment.java | |
parent | Must unit propagation (diff) | |
download | VIATRA-Generator-f06427cd7375551582461f91b3458339a8227f9b.tar.gz VIATRA-Generator-f06427cd7375551582461f91b3458339a8227f9b.tar.zst VIATRA-Generator-f06427cd7375551582461f91b3458339a8227f9b.zip |
Optimizing generator with linear objective functions
Diffstat (limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/TooManyInputsOfSegment.java')
-rw-r--r-- | Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/TooManyInputsOfSegment.java | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/TooManyInputsOfSegment.java b/Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/TooManyInputsOfSegment.java index ff82dda1..d12ec23e 100644 --- a/Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/TooManyInputsOfSegment.java +++ b/Domains/ca.mcgill.rtgmrt.example.modes3/vql-gen/modes3/queries/TooManyInputsOfSegment.java | |||
@@ -46,12 +46,6 @@ import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | |||
46 | * | 46 | * |
47 | * <p>Original source: | 47 | * <p>Original source: |
48 | * <code><pre> | 48 | * <code><pre> |
49 | * //{@literal @}Constraint(message = "noInputOfSegment", severity = "error", key = { S }) | ||
50 | * //pattern noInputOfSegment(S : Segment) { | ||
51 | * // neg find turnout(S); | ||
52 | * // neg find output(_, S); | ||
53 | * //} | ||
54 | * | ||
55 | * {@literal @}Constraint(message = "tooManyInputsOfSegment", severity = "error", key = { S }) | 49 | * {@literal @}Constraint(message = "tooManyInputsOfSegment", severity = "error", key = { S }) |
56 | * pattern tooManyInputsOfSegment(S : SimpleSegment) { | 50 | * pattern tooManyInputsOfSegment(S : SimpleSegment) { |
57 | * find output(I1, S); | 51 | * find output(I1, S); |
@@ -251,12 +245,6 @@ public final class TooManyInputsOfSegment extends BaseGeneratedEMFQuerySpecifica | |||
251 | * | 245 | * |
252 | * <p>Original source: | 246 | * <p>Original source: |
253 | * <code><pre> | 247 | * <code><pre> |
254 | * //{@literal @}Constraint(message = "noInputOfSegment", severity = "error", key = { S }) | ||
255 | * //pattern noInputOfSegment(S : Segment) { | ||
256 | * // neg find turnout(S); | ||
257 | * // neg find output(_, S); | ||
258 | * //} | ||
259 | * | ||
260 | * {@literal @}Constraint(message = "tooManyInputsOfSegment", severity = "error", key = { S }) | 248 | * {@literal @}Constraint(message = "tooManyInputsOfSegment", severity = "error", key = { S }) |
261 | * pattern tooManyInputsOfSegment(S : SimpleSegment) { | 249 | * pattern tooManyInputsOfSegment(S : SimpleSegment) { |
262 | * find output(I1, S); | 250 | * find output(I1, S); |