diff options
| author |  Kristóf Marussy <kris7topher@gmail.com> | 2019-06-08 18:44:41 -0400 |
|---|---|---|
| committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-06-08 18:44:41 -0400 |
| commit | 885899d6de5d2e2a630ca8fb33d1e08450008caa (patch) | |
| tree | cb7b3294c4875e8ecdafaae6d2bfdad708eaa091 /Framework | |
| parent | MDEOptimiser tuning for CPS (diff) | |
| parent | Default state coder range set to Width, as it should be (diff) | |
| download | VIATRA-Generator-885899d6de5d2e2a630ca8fb33d1e08450008caa.tar.gz VIATRA-Generator-885899d6de5d2e2a630ca8fb33d1e08450008caa.tar.zst VIATRA-Generator-885899d6de5d2e2a630ca8fb33d1e08450008caa.zip | |
Merge remote-tracking branch 'origin/master' into kris
Diffstat (limited to 'Framework')
| -rw-r--r-- | Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend index 179690dd..50f088d4 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend +++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/src/hu/bme/mit/inf/dslreasoner/ecore2logic/EReferenceMapper.xtend | |||
| @@ -32,7 +32,7 @@ class EReferenceMapper_RelationsOverTypes implements EReferenceMapper{ | |||
| 32 | val extension Ecore2logicannotationsFactory builder2 = Ecore2logicannotationsFactory.eINSTANCE | 32 | val extension Ecore2logicannotationsFactory builder2 = Ecore2logicannotationsFactory.eINSTANCE |
| 33 | val extension EClassMapper classMapper; | 33 | val extension EClassMapper classMapper; |
| 34 | 34 | ||
| 35 | public new(EClassMapper classMapper) { | 35 | new(EClassMapper classMapper) { |
| 36 | this.classMapper = classMapper | 36 | this.classMapper = classMapper |
| 37 | } | 37 | } |
| 38 | 38 | ||
| @@ -117,7 +117,7 @@ class EReferenceMapper_RelationsOverTypes implements EReferenceMapper{ | |||
| 117 | def createInverseReferenceConstraints(Ecore2Logic_Trace trace, LogicProblem problem, Iterable<EReference> references) { | 117 | def createInverseReferenceConstraints(Ecore2Logic_Trace trace, LogicProblem problem, Iterable<EReference> references) { |
| 118 | trace.referenceMapperTrace.asTrace.inverseEdges = new HashMap | 118 | trace.referenceMapperTrace.asTrace.inverseEdges = new HashMap |
| 119 | for(reference : references) { | 119 | for(reference : references) { |
| 120 | if(reference.EOpposite!=null) { | 120 | if(reference.EOpposite!==null && references.exists[it === reference.EOpposite]) { |
| 121 | val opposite = reference.EOpposite | 121 | val opposite = reference.EOpposite |
| 122 | if(trace.referenceMapperTrace.asTrace.inverseEdges.containsKey(opposite)) { | 122 | if(trace.referenceMapperTrace.asTrace.inverseEdges.containsKey(opposite)) { |
| 123 | trace.referenceMapperTrace.asTrace.inverseEdges.put(reference,trace.referenceMapperTrace.asTrace.inverseEdges.get(opposite)) | 123 | trace.referenceMapperTrace.asTrace.inverseEdges.put(reference,trace.referenceMapperTrace.asTrace.inverseEdges.get(opposite)) |