diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-11 20:56:57 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-11 20:56:57 +0200 |
commit | 90965ed13b119b98298a26a39377cc4120620f5f (patch) | |
tree | 3c8293755d286fcb6acda0894dfd70d790127be5 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu | |
parent | Fine Tune PLEDGE Case Study Project and Main Method (diff) | |
download | VIATRA-Generator-90965ed13b119b98298a26a39377cc4120620f5f.tar.gz VIATRA-Generator-90965ed13b119b98298a26a39377cc4120620f5f.tar.zst VIATRA-Generator-90965ed13b119b98298a26a39377cc4120620f5f.zip |
fix for inverse references
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend index f2efc87a..1e7f1d2b 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/rules/RefinementRuleProvider.xtend | |||
@@ -184,7 +184,7 @@ class RefinementRuleProvider { | |||
184 | if(containmentReferences.contains(relation)) { | 184 | if(containmentReferences.contains(relation)) { |
185 | val targetTypeInterpretation = getTypeInterpretation(i, relation, 1) | 185 | val targetTypeInterpretation = getTypeInterpretation(i, relation, 1) |
186 | if(!(targetTypeInterpretation as PartialComplexTypeInterpretation).interpretationOf.isIsAbstract) { | 186 | if(!(targetTypeInterpretation as PartialComplexTypeInterpretation).interpretationOf.isIsAbstract) { |
187 | val inverseAnnotation = p.assertions.filter(InverseRelationAssertion).filter[it.inverseA === relation || it.inverseB === relation] | 187 | val inverseAnnotation = p.annotations.filter(InverseRelationAssertion).filter[it.inverseA === relation || it.inverseB === relation] |
188 | if(!inverseAnnotation.empty) { | 188 | if(!inverseAnnotation.empty) { |
189 | val onlyInverseAnnotation = if(inverseAnnotation.head.inverseA===relation) { | 189 | val onlyInverseAnnotation = if(inverseAnnotation.head.inverseA===relation) { |
190 | inverseAnnotation.head.inverseB | 190 | inverseAnnotation.head.inverseB |