diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-07-02 23:34:27 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-07-02 23:34:27 +0200 |
| commit | f00ce77fdc3a1417ddfd833f122b64ecef80d7d6 (patch) | |
| tree | 2a26b61a43576f58ed4c35680bd47fa3c15df3d8 /Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java | |
| parent | Multiple model with interpretations (diff) | |
| download | VIATRA-Generator-f00ce77fdc3a1417ddfd833f122b64ecef80d7d6.tar.gz VIATRA-Generator-f00ce77fdc3a1417ddfd833f122b64ecef80d7d6.tar.zst VIATRA-Generator-f00ce77fdc3a1417ddfd833f122b64ecef80d7d6.zip | |
Alloy implementation of multiple model generation
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java')
| -rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java index 4c1eaf02..cb2da160 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/serializer/AlloyLanguageSyntacticSequencer.java | |||
| @@ -73,7 +73,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
| 73 | 73 | ||
| 74 | /** | 74 | /** |
| 75 | * Ambiguous syntax: | 75 | * Ambiguous syntax: |
| 76 | * 'and' | '&&' | 76 | * '&&' | 'and' |
| 77 | * | 77 | * |
| 78 | * This ambiguous syntax occurs at: | 78 | * This ambiguous syntax occurs at: |
| 79 | * {ALSAnd.leftOperand=} (ambiguity) rightOperand=ALSComparison | 79 | * {ALSAnd.leftOperand=} (ambiguity) rightOperand=ALSComparison |
| @@ -168,7 +168,7 @@ public class AlloyLanguageSyntacticSequencer extends AbstractSyntacticSequencer | |||
| 168 | 168 | ||
| 169 | /** | 169 | /** |
| 170 | * Ambiguous syntax: | 170 | * Ambiguous syntax: |
| 171 | * 'iff' | '<=>' | 171 | * '<=>' | 'iff' |
| 172 | * | 172 | * |
| 173 | * This ambiguous syntax occurs at: | 173 | * This ambiguous syntax occurs at: |
| 174 | * {ALSIff.leftOperand=} (ambiguity) rightOperand=ALSImpl | 174 | * {ALSIff.leftOperand=} (ambiguity) rightOperand=ALSImpl |