From dc53ff74f00a9a8c30e797bef95f78a75b0ac069 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sun, 27 Aug 2017 18:19:46 +0200 Subject: outgoing dangling edges from a selected part of a partial model are removed --- .../InstanceModel2PartialInterpretation.xtend | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend index 8e5e0661..1bda1f49 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretation2logic/InstanceModel2PartialInterpretation.xtend @@ -87,7 +87,7 @@ class InstanceModel2PartialInterpretation { } } else { val target = source.eGet(reference) as EObject - if(target !== null) { + if(target !== null && object2DefinedElement.containsKey(target)) { val targetElement = target.lookup(object2DefinedElement) translateLink(interpretation,sourceElement,targetElement) } -- cgit v1.2.3-54-g00ecf